Home
last modified time | relevance | path

Searched refs:estates_equiv (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c39 if (estates_equiv(s1, s2)) in merge_estates()
235 int estates_equiv(struct smatch_state *one, struct smatch_state *two) in estates_equiv() function
H A Dsmatch_extra.h132 int estates_equiv(struct smatch_state *one, struct smatch_state *two);
H A Dsmatch_extra.c1700 if (estate_rl(left_true_state) && estates_equiv(left_true_state, left_false_state)) { in handle_comparison()
1705 if (estate_rl(right_true_state) && estates_equiv(right_true_state, right_false_state)) { in handle_comparison()