Symbol: sval_is_ptr
usr/src/tools/smatch/src/smatch.h
1154
int sval_is_ptr(sval_t sval);
usr/src/tools/smatch/src/smatch_sval.c
795
if (sval_is_ptr(sval) && sval.value == valid_ptr_max)