Symbol: estates_equiv
usr/src/tools/smatch/src/smatch_estate.c
39
if (estates_equiv(s1, s2))
usr/src/tools/smatch/src/smatch_extra.c
1700
if (estate_rl(left_true_state) && estates_equiv(left_true_state, left_false_state)) {
usr/src/tools/smatch/src/smatch_extra.c
1705
if (estate_rl(right_true_state) && estates_equiv(right_true_state, right_false_state)) {
usr/src/tools/smatch/src/smatch_extra.h
132
int estates_equiv(struct smatch_state *one, struct smatch_state *two);