Home
last modified time | relevance | path

Searched refs:sval_cmp_val (Results 1 – 12 of 12) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_64bit_shift.c81 if (sval_cmp_val(shifter, 32) < 0) { in match_shift_assignment()
83 if (sval_cmp_val(sval, UINT_MAX) < 0) in match_shift_assignment()
H A Dcheck_err_ptr_deref.c182 if (sval_is_positive(sval) && sval_cmp_val(sval, 0) != 0) in match_err_ptr_positive_const()
208 if (sval_is_negative(min) && sval_cmp_val(min, -4095) < 0) in match_err_ptr()
210 if (sval_is_positive(max) && sval_cmp_val(max, 0) != 0) in match_err_ptr()
H A Dcheck_get_user_overflow.c131 if (sval_cmp_val(max, 20000) > 0) in check_expr()
138 if (sval_is_negative(sval) && sval_cmp_val(sval, -20000) < 0) in check_expr()
H A Dcheck_return_cast.c42 if (sval_is_positive(sval) || sval_cmp_val(sval, -1) == 0) in match_return()
H A Dcheck_template.c91 if (!get_value(ret_value, &ret_val) || sval_cmp_val(ret_val, 0) >= 0) in match_return()
H A Dcheck_snprintf.c68 if (get_absolute_max(arg, &max) && sval_cmp_val(max, old_buflen) > 0) in match_call()
H A Dcheck_access_ok_math.c42 if (get_absolute_max(expr, &max) && sval_cmp_val(max, 4096) <= 0) in can_overflow()
H A Dcheck_kmalloc_wrong_size.c44 if (sval_cmp_val(sval, data_size) != 0) in check_size_matches()
H A Dcheck_bit_shift.c49 if (sval_cmp_val(expr_value, *shifter_value) != 0) in get_shifter()
H A Dcheck_unwind.c142 if (get_value(ret_value, &sval) && sval_cmp_val(sval, 0) >= 0) in match_return()
H A Dsmatch_sval.c276 int sval_cmp_val(sval_t one, long long val) in sval_cmp_val() function
H A Dsmatch.h1168 int sval_cmp_val(sval_t one, long long val);