Searched refs:true_states (Results 1 – 3 of 3) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_function_hooks.c | 309 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 D | smatch_implied.c | 630 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 D | smatch_states.c | 921 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()
|