Searched refs:sval_is_min (Results 1 – 5 of 5) sorted by relevance
384 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()
174 int sval_is_min(sval_t sval) in sval_is_min() function216 if (sval_is_min(sval)) in sval_is_a_min()264 return sval_is_min(sval); in sval_is_negative_min()
178 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()
723 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()
1162 int sval_is_min(sval_t sval);