Symbol: sval_is_a_max
usr/src/tools/smatch/src/check_err_ptr_deref.c
205
if (!sval_is_a_max(tmp_max) && sval_cmp(tmp_max, max) > 0)
usr/src/tools/smatch/src/smatch.h
1165
int sval_is_a_max(sval_t sval);