Symbol: estate_set_new
usr/src/tools/smatch/src/smatch_estate.c
60
estate_set_new(tmp);
usr/src/tools/smatch/src/smatch_extra.h
157
void estate_set_new(struct smatch_state *state);