Searched refs:a_T (Results 1 – 1 of 1) sorted by relevance
236 struct stree *a_T = NULL; in handle_select() local279 a_T = __copy_cond_true_states(); in handle_select()289 a_T_b_T = combine_strees(a_T, a_T_b_fake, __pop_cond_true_stack()); in handle_select()290 a_T_b_F = combine_strees(a_T, a_T_b_fake, __pop_cond_false_stack()); in handle_select()308 a_T_b_T = clone_stree(a_T); in handle_select()314 a_T_b_F = clone_stree(a_T); in handle_select()353 free_stree(&a_T); in handle_select()