Symbol: estate_copy_fuzzy_max
usr/src/tools/smatch/src/smatch_extra.c
685
estate_copy_fuzzy_max(estate, sm->state);
usr/src/tools/smatch/src/smatch_extra.c
692
estate_copy_fuzzy_max(estate, sm->state);
usr/src/tools/smatch/src/smatch_extra.h
146
void estate_copy_fuzzy_max(struct smatch_state *new, struct smatch_state *old);