Home
last modified time | relevance | path

Searched refs:size_to_estate (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_strlen.c36 static struct smatch_state *size_to_estate(int size) in size_to_estate() function
48 return size_to_estate(UNKNOWN_SIZE); in unmatched_strlen_state()
53 set_state(sm->owner, sm->name, sm->sym, size_to_estate(UNKNOWN_SIZE)); in set_strlen_undefined()
140 true_state = size_to_estate(sval.value - 1); in match_strlen_condition()
144 true_state = size_to_estate(sval.value); in match_strlen_condition()
147 true_state = size_to_estate(sval.value); in match_strlen_condition()
150 false_state = size_to_estate(sval.value); in match_strlen_condition()
154 false_state = size_to_estate(sval.value - 1); in match_strlen_condition()
158 false_state = size_to_estate(sval.value); in match_strlen_condition()
180 set_state_expr(my_strlen_id, dest, size_to_estate(limit_size.value - 1)); in match_snprintf()
[all …]
H A Dsmatch_buf_size.c73 static struct smatch_state *size_to_estate(int size) in size_to_estate() function
95 return size_to_estate(UNKNOWN_SIZE); in unmatched_size_state()
100 set_state(sm->owner, sm->name, sm->sym, size_to_estate(UNKNOWN_SIZE)); in set_size_undefined()