usr/src/tools/smatch/src/check_atomic_inc_dec.c

222

if (get_implied_value(amount, &sval) && sval_is_negative(sval)) {

usr/src/tools/smatch/src/check_atomic_inc_dec.c

309

if (!is_whole_rl(rl) && sval_is_negative(rl_min(rl)))

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_get_user_overflow.c

138

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

usr/src/tools/smatch/src/check_kernel.c

222

if (start_arg && get_implied_min(start_arg, &tmp) && !sval_is_negative(tmp))

usr/src/tools/smatch/src/check_locking.c

947

if (rl_type(rl)->type != SYM_PTR && sval_is_negative(rl_min(rl)))

usr/src/tools/smatch/src/check_return_efault.c

112

if (!sval_is_negative(rl_min(rl)))

usr/src/tools/smatch/src/check_signed_integer_overflow_check.c

91

if (!sval_is_negative(right_min))

usr/src/tools/smatch/src/check_string_len.c

148

if (sval_is_negative(sval))

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

1160

int sval_is_negative(sval_t sval);

usr/src/tools/smatch/src/smatch_capped.c

115

if (sval_is_negative(rl_min(left_rl)) ||

usr/src/tools/smatch/src/smatch_capped.c

116

sval_is_negative(rl_min(right_rl)))

usr/src/tools/smatch/src/smatch_comparison.c

1542

if (get_absolute_min(r_right, &min) && sval_is_negative(min))

usr/src/tools/smatch/src/smatch_comparison.c

807

if (sval_is_negative(rl_min(rl))) {

usr/src/tools/smatch/src/smatch_db.c

1662

if (sval_is_negative(estate_min(tmp->state)) &&

usr/src/tools/smatch/src/smatch_db.c

1663

sval_is_negative(estate_max(tmp->state)))

usr/src/tools/smatch/src/smatch_db.c

1704

if (!sval_is_negative(rl_min(rl)))

usr/src/tools/smatch/src/smatch_extra.c

1013

if (type_unsigned(type) && sval_is_negative(rl_min(rl)))

usr/src/tools/smatch/src/smatch_extra.c

1218

!sval_is_negative(rl_min(rl))) {

usr/src/tools/smatch/src/smatch_extra.c

2061

if (sval_is_negative(rl_min(orig_rl)) ||

usr/src/tools/smatch/src/smatch_extra.c

2101

if (sval_is_negative(rl_min(orig_rl)))

usr/src/tools/smatch/src/smatch_helper.c

849

sval_is_negative(rl_min(rl)) &&

usr/src/tools/smatch/src/smatch_math.c

1747

if (sval_is_negative(tmp) && sval_is_min(tmp))

usr/src/tools/smatch/src/smatch_math.c

208

if (sval_is_negative(rl_min(rl))) {

usr/src/tools/smatch/src/smatch_math.c

231

if (!sval_is_negative(rl_max(rl))) {

usr/src/tools/smatch/src/smatch_math.c

398

if (sval_is_negative(rl_min(right_rl)))

usr/src/tools/smatch/src/smatch_math.c

549

!sval_is_negative(rl_min(right_rl))) {

usr/src/tools/smatch/src/smatch_math.c

552

} else if (!sval_is_negative(min)) {

usr/src/tools/smatch/src/smatch_math.c

937

if (sval_is_negative(sval) && sval_is_min(sval))

usr/src/tools/smatch/src/smatch_ranges.c

1444

if (sval_is_negative(rl_min(rl)) &&

usr/src/tools/smatch/src/smatch_ranges.c

1475

if (sval_is_negative(tmp->min) &&

usr/src/tools/smatch/src/smatch_ranges.c

1476

sval_is_negative(tmp->max))

usr/src/tools/smatch/src/smatch_ranges.c

1481

if (sval_is_negative(tmp->min) &&

usr/src/tools/smatch/src/smatch_ranges.c

1620

if (sval_is_negative(max))

usr/src/tools/smatch/src/smatch_ranges.c

1663

if (sval_is_negative(rl_max(rl)))

usr/src/tools/smatch/src/smatch_ranges.c

1667

if (sval_is_negative(tmp->max))

usr/src/tools/smatch/src/smatch_ranges.c

178

if (sval_is_negative(min) && type_unsigned(type)) {

usr/src/tools/smatch/src/smatch_ranges.c

1930

if (!rl_to_sval(right_orig, &shift) || sval_is_negative(shift))

usr/src/tools/smatch/src/smatch_ranges.c

194

if (sval_unsigned(max) && sval_is_negative(sval_cast(type, max))) {

usr/src/tools/smatch/src/smatch_ranges.c

195

if (!sval_is_negative(sval_cast(type, min))) {

usr/src/tools/smatch/src/smatch_ranges.c

1973

if (!rl_to_sval(right_orig, &shift) || sval_is_negative(shift))

usr/src/tools/smatch/src/smatch_strlen.c

285

if (sval_is_negative(max) || sval_is_max(max))

usr/src/tools/smatch/src/smatch_sval.c

159

return !sval_is_negative(sval);

usr/src/tools/smatch/src/smatch_sval.c

262

if (!sval_is_negative(sval))

usr/src/tools/smatch/src/smatch_sval.c

300

if (sval_is_negative(sval) && type_unsigned(type))

usr/src/tools/smatch/src/smatch_sval.c

314

if (sval_is_negative(sval))

usr/src/tools/smatch/src/smatch_sval.c

635

if (sval_is_negative(sval))

usr/src/tools/smatch/src/smatch_sval.c

662

if (sval_is_negative(left) && sval_is_negative(right)) {

usr/src/tools/smatch/src/smatch_sval.c

667

if (sval_is_negative(left) || sval_is_negative(right))

usr/src/tools/smatch/src/smatch_sval.c

690

if (sval_is_negative(left) && sval_is_negative(right))

usr/src/tools/smatch/src/smatch_sval.c

693

if (sval_is_negative(left)) {

usr/src/tools/smatch/src/smatch_sval.c

698

if (sval_is_negative(right)) {