Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c266 int estate_is_unknown(struct smatch_state *state) in estate_is_unknown() function
H A Dsmatch_extra.h84 int estate_is_unknown(struct smatch_state *state);
H A Dsmatch_extra.c186 estate_is_unknown(state) && !get_state(SMATCH_EXTRA, name, sym)) in set_extra_mod_helper()
445 if (!orig_state && estate_is_unknown(state)) in set_extra_nomod()