Symbol: sval_too_low
usr/src/tools/smatch/src/smatch.h
1171
int sval_too_low(struct symbol *type, sval_t sval);
usr/src/tools/smatch/src/smatch_sval.c
330
if (sval_too_low(type, sval))