Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c630 struct stree **true_states, in separate_and_filter()
1097 struct stree *true_states = NULL; in __implied_case_stree() local
H A Dsmatch_function_hooks.c309 struct stree *true_states = NULL; in call_implies_callbacks() local
740 struct stree *true_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