Home
last modified time | relevance | path

Searched refs:sval_is_min (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_ranges.c384 if (!sval_is_min(rl_min(right_orig))) in filter_by_comparison()
702 if (sval_is_min(drange->min) && sval_is_max(drange->max)) in is_whole_rl()
737 if (!sval_is_min(drange->min) || drange->max.value != -1) in is_whole_rl_non_zero()
992 if (!sval_is_min(min) && min.value - 1 == tmp->max.value) { in add_range()
1826 if (sval_is_min(min) && sval_is_max(max)) in handle_sub_rl()
2083 if (!sval_is_min(rl_min(right_orig))) { in split_comparison_rl()
2097 if (!sval_is_min(rl_min(left_orig))) in split_comparison_rl()
2117 if (!sval_is_min(rl_min(right_orig))) in split_comparison_rl()
2137 if (!sval_is_min(rl_min(left_orig))) in split_comparison_rl()
H A Dsmatch_sval.c174 int sval_is_min(sval_t sval) in sval_is_min() function
216 if (sval_is_min(sval)) in sval_is_a_min()
264 return sval_is_min(sval); in sval_is_negative_min()
H A Dsmatch_math.c178 return rl && sval_is_min(rl_min(rl)); in untrusted_type_min()
216 if (sval_is_min(rl_min(neg)) && !sval_is_min(rl_max(neg))) in handle_minus_preop()
446 if (sval_is_min(min) && sval_is_max(max)) in handle_subtract_rl()
937 if (sval_is_negative(sval) && sval_is_min(sval)) in get_fuzzy_min_helper()
1747 if (sval_is_negative(tmp) && sval_is_min(tmp)) in get_fuzzy_min()
H A Dsmatch_extra.c723 if (!sval_is_min(end)) in handle_canonical_for_inc()
1243 if (!sval_is_min(min) && !sval_is_max(min)) in increment_state()
1245 if (!sval_is_min(max) && !sval_is_max(max)) in increment_state()
1261 if (!sval_is_min(min) && !sval_is_max(min)) in decrement_state()
1263 if (!sval_is_min(max) && !sval_is_max(max)) in decrement_state()
H A Dsmatch.h1162 int sval_is_min(sval_t sval);