Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_function_hooks.c309 struct stree *true_states = NULL; in call_implies_callbacks() local
333 merge_fake_stree(&true_states, tmp_stree); in call_implies_callbacks()
349 *implied_true = true_states; in call_implies_callbacks()
740 struct stree *true_states; in compare_db_return_states_callbacks() local
784 true_states = db_info.stree; in compare_db_return_states_callbacks()
785 if (!true_states && db_info.has_states) { in compare_db_return_states_callbacks()
788 true_states = __pop_fake_cur_stree(); in compare_db_return_states_callbacks()
825 FOR_EACH_SM(true_states, sm) { in compare_db_return_states_callbacks()
832 free_stree(&true_states); in compare_db_return_states_callbacks()
H A Dsmatch_implied.c630 struct stree **true_states, in separate_and_filter() argument
653 *true_states = filter_stack(sm, pre_stree, false_stack, true_stack); in separate_and_filter()
1097 struct stree *true_states = NULL; in __implied_case_stree() local
1112 separate_and_filter(sm, SPECIAL_EQUAL, rl, *raw_stree, &true_states, &false_states, NULL); in __implied_case_stree()
1121 overwrite_stree(extra_states, &true_states); in __implied_case_stree()
1122 overwrite_stree(true_states, &ret); in __implied_case_stree()
1124 free_stree(&true_states); in __implied_case_stree()
H A Dsmatch_states.c921 struct stree *pre, *pre_clone, *true_states, *false_states; in __use_cond_states() local
926 true_states = pop_stree(&cond_true_stack); in __use_cond_states()
927 overwrite_stree(true_states, &pre); in __use_cond_states()
928 free_stree(&true_states); in __use_cond_states()