Symbol: sval_is_a_min
usr/src/tools/smatch/src/check_err_ptr_deref.c
202
if (!sval_is_a_min(tmp_min) && sval_cmp(tmp_min, min) < 0)
usr/src/tools/smatch/src/smatch.h
1164
int sval_is_a_min(sval_t sval);