Home
last modified time | relevance | path

Searched refs:sval_cmp (Results 1 – 19 of 19) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_ranges.c90 } else if (sval_cmp(tmp->min, tmp->max) == 0) { in show_rl()
150 if (sval_cmp(min, max) == 0) { in add_range_t()
392 if (sval_cmp(rl_min(right_orig), rl_max(right_orig)) == 0) in filter_by_comparison()
545 if (sval_cmp(min, sval_type_min(type)) != 0) in str_to_rl_helper()
670 if (sval_cmp(tmp->min, tmp->max) > 0) in rl_is_sane()
718 if (sval_cmp(drange->min, valid_ptr_min_sval) == 0 && in is_unknown_ptr()
719 sval_cmp(drange->max, valid_ptr_max_sval) == 0) in is_unknown_ptr()
780 if (sval_cmp(min, max) != 0) in rl_to_sval()
820 if (sval_cmp(min, max) > 0) in alloc_rl()
870 if (sval_cmp(tmp->min, valid_ptr_min_sval) >= 0 && in collapse_pointer_rl()
[all …]
H A Dsmatch_mtag_map.c46 if (sval_cmp(sval, valid_ptr_min_sval) < 0 || in match_assign()
47 sval_cmp(sval, valid_ptr_max_sval) > 0) in match_assign()
H A Dsmatch_common_functions.c56 if (sval_cmp(bound, ulong_max) == 0) in match_strnlen()
58 if (rl_to_sval(*rl, &fixed) && sval_cmp(fixed, bound) >= 0) { in match_strnlen()
H A Dsmatch_sval.c273 return sval_cmp(one_cast, two_cast); in sval_cmp_t()
281 return sval_cmp(one, sval); in sval_cmp_val()
286 if (sval_cmp(one, two) > 0) in sval_min()
293 if (sval_cmp(one, two) < 0) in sval_max()
307 if (sval_cmp(sval, sval_type_min(type)) < 0) in sval_too_low()
686 if (sval_cmp(left, right) < 0) in sval_binop_overflows()
708 if (sval_cmp(left, sval_binop(max, invert_op(op), right)) > 0) in sval_binop_overflows()
H A Dcheck_arm64_tagged.c137 if (sval_cmp(tmp->max, sval) >= 0) in rl_is_larger_or_equal()
148 if (!sval_cmp(tmp->min, sval)) { in rl_range_has_min_value()
H A Dcheck_zero_to_err_ptr.c104 if (sval_cmp(valid_ptr_min_sval, sval) <= 0 && in is_valid_ptr()
105 sval_cmp(valid_ptr_max_sval, sval) >= 0) { in is_valid_ptr()
H A Dcheck_min_t.c42 if (sval_cmp(max_left, max_right) >= 0) in match_assign()
H A Dcheck_err_ptr_deref.c202 if (!sval_is_a_min(tmp_min) && sval_cmp(tmp_min, min) < 0) in match_err_ptr()
205 if (!sval_is_a_max(tmp_max) && sval_cmp(tmp_max, max) > 0) in match_err_ptr()
H A Dcheck_index_overflow.c64 sval_cmp(rl_max(implied_rl), *sval) < 0) in fake_get_hard_max()
86 sval_cmp(rl_max(implied_rl), *sval) < 0) in get_the_max()
H A Dsmatch_parse_call_math.c351 if (sval_cmp(sval, valid_ptr_min_sval) >= 0 && in is_mtag_sval()
352 sval_cmp(sval, valid_ptr_max_sval) <= 0) in is_mtag_sval()
H A Dsmatch_math.c436 if (sval_cmp(tmp, min) > 0) in handle_subtract_rl()
442 if (sval_cmp(tmp, max) < 0) in handle_subtract_rl()
603 if (sval_cmp(tmp->min, tmp->max) != 0) in has_actual_ranges()
1097 if (sval_cmp(min, max) > 0) { in handle_variable()
1782 if (sval_cmp(*sval, sval_type_min(type)) < 0) in get_absolute_min()
1802 if (sval_cmp(sval_type_max(type), *sval) < 0) in get_absolute_max()
H A Dsmatch_extra.c664 if (sval_cmp(estate_min(sm->state), right) < 0) in handle_canonical_while_count_down()
672 if (sval_cmp(start, right) <= 0) in handle_canonical_while_count_down()
732 if (sval_cmp(end, start) < 0) in handle_canonical_for_inc()
783 if (sval_cmp(end, start) > 0) in handle_canonical_for_dec()
900 if (sval_cmp(hmax, max) != 0) in __extra_pre_loop_hook_after()
1015 if (sval_cmp(sval_type_min(type), rl_min(rl)) > 0) in values_fit_type()
1017 if (sval_cmp(sval_type_max(type), rl_max(rl)) < 0) in values_fit_type()
1464 if (sval_cmp(start, limit) > 0) in handle_postop_inc()
2111 sval_cmp(max, rl_max(orig_rl)) == 0 && in handle_AND_op()
H A Dcheck_signed.c58 sval_cmp(max, sval) < 0 && in match_assign()
H A Dsmatch_integer_overflow.c176 if (sval_cmp(res, sval_type_max(type)) > 0) in can_integer_overflow()
H A Dsmatch_estate.c285 if (sval_cmp(min, max) != 0) in estate_get_single_value()
H A Dcheck_kernel.c224 if (sval_cmp(min, max) > 0) in match_next_bit()
H A Dsmatch_comparison.c195 if (sval_cmp(left_max, right_min) < 0) in rl_comparison()
197 if (sval_cmp(left_max, right_min) == 0) in rl_comparison()
199 if (sval_cmp(left_min, right_max) > 0) in rl_comparison()
201 if (sval_cmp(left_min, right_max) == 0) in rl_comparison()
H A Dsmatch_kernel_user_data.c942 if (sval_cmp(rl_max(left), rl_max(rl)) < 0) in var_user_rl()
H A Dsmatch.h1413 static inline int sval_cmp(sval_t one, sval_t two) in sval_cmp() function