usr/src/tools/smatch/src/check_64bit_shift.c

81

if (sval_cmp_val(shifter, 32) < 0) {

usr/src/tools/smatch/src/check_64bit_shift.c

83

if (sval_cmp_val(sval, UINT_MAX) < 0)

usr/src/tools/smatch/src/check_access_ok_math.c

42

if (get_absolute_max(expr, &max) && sval_cmp_val(max, 4096) <= 0)

usr/src/tools/smatch/src/check_bit_shift.c

49

if (sval_cmp_val(expr_value, *shifter_value) != 0)

usr/src/tools/smatch/src/check_err_ptr_deref.c

182

if (sval_is_positive(sval) && sval_cmp_val(sval, 0) != 0)

usr/src/tools/smatch/src/check_err_ptr_deref.c

208

if (sval_is_negative(min) && sval_cmp_val(min, -4095) < 0)

usr/src/tools/smatch/src/check_err_ptr_deref.c

210

if (sval_is_positive(max) && sval_cmp_val(max, 0) != 0)

usr/src/tools/smatch/src/check_get_user_overflow.c

131

if (sval_cmp_val(max, 20000) > 0)

usr/src/tools/smatch/src/check_get_user_overflow.c

138

if (sval_is_negative(sval) && sval_cmp_val(sval, -20000) < 0)

usr/src/tools/smatch/src/check_kmalloc_wrong_size.c

44

if (sval_cmp_val(sval, data_size) != 0)

usr/src/tools/smatch/src/check_return_cast.c

42

if (sval_is_positive(sval) || sval_cmp_val(sval, -1) == 0)

usr/src/tools/smatch/src/check_snprintf.c

68

if (get_absolute_max(arg, &max) && sval_cmp_val(max, old_buflen) > 0)

usr/src/tools/smatch/src/check_template.c

91

if (!get_value(ret_value, &ret_val) || sval_cmp_val(ret_val, 0) >= 0)

usr/src/tools/smatch/src/check_unwind.c

142

if (get_value(ret_value, &sval) && sval_cmp_val(sval, 0) >= 0)

usr/src/tools/smatch/src/smatch.h

1168

int sval_cmp_val(sval_t one, long long val);