Home
last modified time | relevance | path

Searched refs:sval_is_max (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_ranges.c376 if (!sval_is_max(rl_max(right_orig))) in filter_by_comparison()
702 if (sval_is_min(drange->min) && sval_is_max(drange->max)) in is_whole_rl()
735 sval_is_max(drange->max)) in is_whole_rl_non_zero()
740 if (drange->min.value != 1 || !sval_is_max(drange->max)) in is_whole_rl_non_zero()
1615 if (sval_is_max(max)) in handle_mod_rl()
1820 if (!sval_is_max(rl_max(left_rl))) { in handle_sub_rl()
1826 if (sval_is_min(min) && sval_is_max(max)) in handle_sub_rl()
2088 if (!sval_is_max(rl_max(left_orig))) in split_comparison_rl()
2093 if (!sval_is_max(rl_max(right_orig))) in split_comparison_rl()
2121 if (!sval_is_max(rl_max(left_orig))) in split_comparison_rl()
[all …]
H A Dsmatch_extra.c674 if (!sval_is_max(start)) in handle_canonical_while_count_down()
775 if (!sval_is_max(end)) in handle_canonical_for_dec()
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()
2150 if (!sval_is_max(rl_max(true_rl)) && in handle_MOD_condition()
2180 if (!sval_is_max(rl_max(orig_rl)) && in handle_MOD_condition()
H A Dsmatch_sval.c202 int sval_is_max(sval_t sval) in sval_is_max() function
233 if (sval_is_max(sval)) in sval_is_a_max()
H A Dsmatch_strlen.c285 if (sval_is_negative(max) || sval_is_max(max)) in get_size_from_strlen()
H A Dsmatch_math.c356 return sval_is_max(rl_max(rl)); in max_is_unknown_max()
440 if (!sval_is_max(rl_max(left_rl))) { in handle_subtract_rl()
446 if (sval_is_min(min) && sval_is_max(max)) in handle_subtract_rl()
940 if (sval_is_max(sval)) in get_fuzzy_min_helper()
H A Dsmatch.h1163 int sval_is_max(sval_t sval);