Home
last modified time | relevance | path

Searched refs:cond_true_stack (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c454 if (cond_true_stack) { in delete_state()
692 __add_ptr_list(&backup, cond_true_stack); in save_all_states()
693 cond_true_stack = NULL; in save_all_states()
741 cond_true_stack = pop_backup(); in restore_all_states()
782 push_stree(&cond_true_stack, NULL); in __push_cond_stacks()
812 ret = pop_stree(&cond_true_stack); in __copy_cond_true_states()
828 return pop_stree(&cond_true_stack); in __pop_cond_true_stack()
866 __use_cond_stack(&cond_true_stack); in __use_cond_true_states()
879 old_true = pop_stree(&cond_true_stack); in __negate_cond_stacks()
881 push_stree(&cond_true_stack, old_false); in __negate_cond_stacks()
[all …]