Home
last modified time | relevance | path

Searched refs:estate_new (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c59 if (estate_new(s1) || estate_new(s2)) in merge_estates()
183 bool estate_new(struct smatch_state *state) in estate_new() function
249 if (estate_new(one) != estate_new(two)) in estates_equiv()
H A Dsmatch_extra.h156 bool estate_new(struct smatch_state *state);