Symbol: is_valid_ptr
usr/src/tools/smatch/src/check_zero_to_err_ptr.c
155
if (is_valid_ptr(estate_min(tmp->state)) &&
usr/src/tools/smatch/src/check_zero_to_err_ptr.c
156
is_valid_ptr(estate_max(tmp->state))) {