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

1162

int sval_is_min(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

723

if (!sval_is_min(end))

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

178

return rl && sval_is_min(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

446

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

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

1826

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

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

2097

if (!sval_is_min(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

2137

if (!sval_is_min(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

702

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

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

737

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

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

992

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

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

216

if (sval_is_min(sval))

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

264

return sval_is_min(sval);