Symbol: sval_too_high
usr/src/tools/smatch/src/smatch.h
1172
int sval_too_high(struct symbol *type, sval_t sval);
usr/src/tools/smatch/src/smatch_ranges.c
180
if (sval_too_high(type, max)) {
usr/src/tools/smatch/src/smatch_sval.c
332
if (sval_too_high(type, sval))