Symbol: estate_is_empty
usr/src/tools/smatch/src/smatch_extra.h
134
int estate_is_empty(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_math.c
1058
} else if (estate_is_empty(state)) {
usr/src/tools/smatch/src/smatch_param_limit.c
154
if (estate_is_whole(state) || estate_is_empty(state))