Symbol: estate_new
usr/src/tools/smatch/src/smatch_estate.c
249
if (estate_new(one) != estate_new(two))
usr/src/tools/smatch/src/smatch_estate.c
59
if (estate_new(s1) || estate_new(s2))
usr/src/tools/smatch/src/smatch_extra.h
156
bool estate_new(struct smatch_state *state);