Searched refs:check_stree_stack_free (Results 1 – 1 of 1) sorted by relevance
672 static void check_stree_stack_free(struct stree_stack **stack) in check_stree_stack_free() function763 check_stree_stack_free(&true_stack); in clear_all_states()764 check_stree_stack_free(&false_stack); in clear_all_states()765 check_stree_stack_free(&pre_cond_stack); in clear_all_states()766 check_stree_stack_free(&cond_true_stack); in clear_all_states()767 check_stree_stack_free(&cond_false_stack); in clear_all_states()768 check_stree_stack_free(&break_stack); in clear_all_states()769 check_stree_stack_free(&fake_break_stack); in clear_all_states()770 check_stree_stack_free(&switch_stack); in clear_all_states()771 check_stree_stack_free(&continue_stack); in clear_all_states()[all …]