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

1163

int sval_is_max(sval_t sval);

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

1243

if (!sval_is_min(min) && !sval_is_max(min))

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

1245

if (!sval_is_min(max) && !sval_is_max(max))

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

1261

if (!sval_is_min(min) && !sval_is_max(min))

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

1263

if (!sval_is_min(max) && !sval_is_max(max))

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

2150

if (!sval_is_max(rl_max(true_rl)) &&

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

2180

if (!sval_is_max(rl_max(orig_rl)) &&

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

674

if (!sval_is_max(start))

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

775

if (!sval_is_max(end))

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

356

return sval_is_max(rl_max(rl));

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

440

if (!sval_is_max(rl_max(left_rl))) {

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

446

if (sval_is_min(min) && sval_is_max(max))

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

940

if (sval_is_max(sval))

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

1615

if (sval_is_max(max))

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

1820

if (!sval_is_max(rl_max(left_rl))) {

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

1826

if (sval_is_min(min) && sval_is_max(max))

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

2088

if (!sval_is_max(rl_max(left_orig)))

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

2093

if (!sval_is_max(rl_max(right_orig)))

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

2121

if (!sval_is_max(rl_max(left_orig)))

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

2133

if (!sval_is_max(rl_max(right_orig)))

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

376

if (!sval_is_max(rl_max(right_orig)))

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

702

if (sval_is_min(drange->min) && sval_is_max(drange->max))

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

735

sval_is_max(drange->max))

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

740

if (drange->min.value != 1 || !sval_is_max(drange->max))

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

938

if (!sval_is_max(max) && max.value + 1 == tmp->min.value) {

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

961

if (!sval_is_max(max) && max.value + 1 == tmp->min.value) {

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

233

if (sval_is_max(sval))