Home
last modified time | relevance | path

Searched defs:false_states (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c631 struct stree **false_states, in separate_and_filter()
1098 struct stree *false_states = NULL; in __implied_case_stree() local
H A Dsmatch_function_hooks.c310 struct stree *false_states = NULL; in call_implies_callbacks() local
741 struct stree *false_states; in compare_db_return_states_callbacks() local
H A Dsmatch_states.c921 struct stree *pre, *pre_clone, *true_states, *false_states; in __use_cond_states() local