Searched refs:tmp_stree (Results 1 – 2 of 2) sorted by relevance
255 struct stree *tmp_stree; in assign_ranged_funcs() local287 tmp_stree = __pop_fake_cur_stree(); in assign_ranged_funcs()288 merge_fake_stree(&final_states, tmp_stree); in assign_ranged_funcs()289 free_stree(&tmp_stree); in assign_ranged_funcs()311 struct stree *tmp_stree; in call_implies_callbacks() local332 tmp_stree = __pop_fake_cur_stree(); in call_implies_callbacks()333 merge_fake_stree(&true_states, tmp_stree); in call_implies_callbacks()334 free_stree(&tmp_stree); in call_implies_callbacks()345 tmp_stree = __pop_fake_cur_stree(); in call_implies_callbacks()346 merge_fake_stree(&false_states, tmp_stree); in call_implies_callbacks()[all …]
1041 struct stree *tmp_stree; in or_stree_stack() local1052 tmp_stree = clone_stree(cur_stree); in or_stree_stack()1053 overwrite_stree(new, &tmp_stree); in or_stree_stack()1055 merge_stree(&res, tmp_stree); in or_stree_stack()1059 free_stree(&tmp_stree); in or_stree_stack()