check_stree_stack_free

763

check_stree_stack_free(&true_stack);

764

check_stree_stack_free(&false_stack);

765

check_stree_stack_free(&pre_cond_stack);

766

check_stree_stack_free(&cond_true_stack);

767

check_stree_stack_free(&cond_false_stack);

768

check_stree_stack_free(&break_stack);

769

check_stree_stack_free(&fake_break_stack);

770

check_stree_stack_free(&switch_stack);

771

check_stree_stack_free(&continue_stack);

772

check_stree_stack_free(&fake_cur_stree_stack);