Searched refs:estate_new (Results 1 – 2 of 2) sorted by relevance
59 if (estate_new(s1) || estate_new(s2)) in merge_estates()183 bool estate_new(struct smatch_state *state) in estate_new() function249 if (estate_new(one) != estate_new(two)) in estates_equiv()
156 bool estate_new(struct smatch_state *state);