usr/src/tools/smatch/src/smatch_buf_size.c

100

set_state(sm->owner, sm->name, sm->sym, size_to_estate(UNKNOWN_SIZE));

usr/src/tools/smatch/src/smatch_buf_size.c

95

return size_to_estate(UNKNOWN_SIZE);

usr/src/tools/smatch/src/smatch_strlen.c

140

true_state = size_to_estate(sval.value - 1);

usr/src/tools/smatch/src/smatch_strlen.c

144

true_state = size_to_estate(sval.value);

usr/src/tools/smatch/src/smatch_strlen.c

147

true_state = size_to_estate(sval.value);

usr/src/tools/smatch/src/smatch_strlen.c

150

false_state = size_to_estate(sval.value);

usr/src/tools/smatch/src/smatch_strlen.c

154

false_state = size_to_estate(sval.value - 1);

usr/src/tools/smatch/src/smatch_strlen.c

158

false_state = size_to_estate(sval.value);

usr/src/tools/smatch/src/smatch_strlen.c

180

set_state_expr(my_strlen_id, dest, size_to_estate(limit_size.value - 1));

usr/src/tools/smatch/src/smatch_strlen.c

204

set_state_expr(my_strlen_id, dest, size_to_estate(limit.value - 1));

usr/src/tools/smatch/src/smatch_strlen.c

220

set_state_expr(my_strlen_id, dest, size_to_estate(src_len - 1));

usr/src/tools/smatch/src/smatch_strlen.c

48

return size_to_estate(UNKNOWN_SIZE);

usr/src/tools/smatch/src/smatch_strlen.c

53

set_state(sm->owner, sm->name, sm->sym, size_to_estate(UNKNOWN_SIZE));