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

312

if (rl_min(rl).value == 0)

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

950

if (rl_min(rl).value == 0 && rl_max(rl).value == 0)

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

953

if (is_err_ptr(rl_min(rl)) &&

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

963

rl_min(rl).value == INT_MIN)

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

112

if (!sval_is_negative(rl_min(rl)))

usr/src/tools/smatch/src/smatch_buf_size.c

563

bytes = rl_min(rl);

usr/src/tools/smatch/src/smatch_buf_size.c

643

if (rl_min(rl).value != UNKNOWN_SIZE ||

usr/src/tools/smatch/src/smatch_buf_size.c

837

if (rl_min(rl).value == UNKNOWN_SIZE &&

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

28

if (get_implied_strlen(str, rl) && sval_is_positive(rl_min(*rl))) {

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

185

left_min = rl_min(left_rl);

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

187

right_min = rl_min(right_rl);

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

807

if (sval_is_negative(rl_min(rl))) {

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

1704

if (!sval_is_negative(rl_min(rl)))

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

1841

if (rl_min(rl).value == 0 && rl_max(rl).value == 0) {

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

1846

if (rl_min(rl).value >= -4095 && rl_max(rl).value < 0)

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

1929

if (rl_min(rl).value == 0 && rl_max(rl).value == 1)

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

1961

if (rl_min(estate_rl(sm->state)).value != 0 ||

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

2110

if (rl_min(rl).value >= -4095 &&

usr/src/tools/smatch/src/smatch_estate.c

197

return rl_min(estate_rl(state));

usr/src/tools/smatch/src/smatch_estate.c

283

min = rl_min(estate_rl(state));

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

1015

if (sval_cmp(sval_type_min(type), rl_min(rl)) > 0)

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

1218

!sval_is_negative(rl_min(rl))) {

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

1221

add_range(&rl, rl_min(rl), zero);

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

2157

if (sval_is_positive(rl_min(orig_rl)) &&

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

2158

(rl_max(orig_rl).value - rl_min(orig_rl).value) / right.value < 5) {

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

2162

add = rl_min(orig_rl);

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

2173

if (rl_min(orig_rl).uvalue != 0 &&

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

2174

rl_min(orig_rl).uvalue < right.uvalue) {

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

2549

rl_min(new).value == 0 &&

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

86

sval_t rl_min(struct range_list *rl);

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

849

sval_is_negative(rl_min(rl)) &&

usr/src/tools/smatch/src/smatch_kernel_user_data.c

683

sval_t min = rl_min(rl);

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

1657

*sval = rl_min(rl);

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

1746

tmp = rl_min(rl);

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

1778

*sval = rl_min(rl);

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

178

return rl && sval_is_min(rl_min(rl));

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

208

if (sval_is_negative(rl_min(rl))) {

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

216

if (sval_is_min(rl_min(neg)) && !sval_is_min(rl_max(neg)))

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

434

!sval_binop_overflows(rl_min(left_rl), '-', rl_max(right_rl))) {

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

435

tmp = sval_binop(rl_min(left_rl), '-', rl_max(right_rl));

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

441

tmp = sval_binop(rl_max(left_rl), '-', rl_min(right_rl));

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

540

min = rl_min(left_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

551

max = sval_binop(max, SPECIAL_RIGHTSHIFT, rl_min(right_rl));

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

683

if (sval_binop_overflows(rl_min(left_rl), expr->op, rl_min(right_rl)))

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

688

min = sval_binop(rl_min(left_rl), expr->op, rl_min(right_rl));

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

1444

if (sval_is_negative(rl_min(rl)) &&

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

1445

sval_cmp(rl_min(rl), sval_type_min(type)) < 0)

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

1637

if (sval_is_positive(rl_min(rl)))

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

1690

right_min = rl_min(right);

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

1700

min = sval_binop(rl_min(left), '/', right_max);

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

1747

if (rl_min(left).value != 0 || rl_max(right).value != 0) {

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

1762

if (sval_binop_overflows(rl_min(left), op, rl_min(right)))

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

1764

min = sval_binop(rl_min(left), op, rl_min(right));

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

1798

min_ll = rl_min(left_rl);

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

1805

if (!sval_binop_overflows(rl_min(left_rl), '-', rl_max(right_rl))) {

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

1806

tmp = sval_binop(rl_min(left_rl), '-', rl_max(right_rl));

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

1821

tmp = sval_binop(rl_max(left_rl), '-', rl_min(right_rl));

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

1834

return sval_fls_mask(rl_min(rl));

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

1876

zero = max = rl_min(left);

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

1914

zero = rl_min(rl);

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

2083

if (!sval_is_min(rl_min(right_orig))) {

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

2084

left_false = remove_range(left_orig, min, sub_one(rl_min(right_orig)));

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

2087

right_true = remove_range(right_orig, min, rl_min(left_orig));

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

2095

left_false = remove_range(left_orig, min, rl_min(right_orig));

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

2097

if (!sval_is_min(rl_min(left_orig)))

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

2098

right_true = remove_range(right_orig, min, sub_one(rl_min(left_orig)));

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

2101

if (sval_cmp(rl_min(left_orig), rl_min(right_orig)) == 0)

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

2102

left_false = remove_range(left_false, rl_min(left_orig), rl_min(left_orig));

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

2110

if (sval_cmp(rl_min(right_orig), rl_max(right_orig)) == 0)

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

2111

left_false = remove_range(left_orig, rl_min(right_orig), rl_min(right_orig));

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

2112

if (sval_cmp(rl_min(left_orig), rl_max(left_orig)) == 0)

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

2113

right_false = remove_range(right_orig, rl_min(left_orig), rl_min(left_orig));

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

2117

if (!sval_is_min(rl_min(right_orig)))

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

2118

left_true = remove_range(left_orig, min, sub_one(rl_min(right_orig)));

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

2123

right_false = remove_range(right_orig, min, rl_min(left_orig));

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

2125

if (sval_cmp(rl_min(left_orig), rl_min(right_orig)) == 0)

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

2126

right_false = remove_range(right_false, rl_min(left_orig), rl_min(left_orig));

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

2132

left_true = remove_range(left_orig, min, rl_min(right_orig));

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

2137

if (!sval_is_min(rl_min(left_orig)))

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

2138

right_false = remove_range(right_orig, min, sub_one(rl_min(left_orig)));

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

2144

if (sval_cmp(rl_min(right_orig), rl_max(right_orig)) == 0)

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

2145

left_true = remove_range(left_orig, rl_min(right_orig), rl_min(right_orig));

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

2146

if (sval_cmp(rl_min(left_orig), rl_max(left_orig)) == 0)

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

2147

right_true = remove_range(right_orig, rl_min(left_orig), rl_min(left_orig));

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

384

if (!sval_is_min(rl_min(right_orig)))

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

385

ret_rl = remove_range(left_orig, min, sub_one(rl_min(right_orig)));

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

389

ret_rl = remove_range(left_orig, min, rl_min(right_orig));

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

392

if (sval_cmp(rl_min(right_orig), rl_max(right_orig)) == 0)

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

393

ret_rl = remove_range(left_orig, rl_min(right_orig), rl_min(right_orig));

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

778

min = rl_min(rl);

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

790

return rl_min(rl).type;