Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c54 static struct stree_stack *cond_false_stack; variable
694 __add_ptr_list(&backup, cond_false_stack); in save_all_states()
695 cond_false_stack = NULL; in save_all_states()
740 cond_false_stack = pop_backup(); in restore_all_states()
783 push_stree(&cond_false_stack, NULL); in __push_cond_stacks()
821 ret = pop_stree(&cond_false_stack); in __copy_cond_false_states()
833 return pop_stree(&cond_false_stack); in __pop_cond_false_stack()
871 __use_cond_stack(&cond_false_stack); in __use_cond_false_states()
878 old_false = pop_stree(&cond_false_stack); in __negate_cond_stacks()
880 push_stree(&cond_false_stack, old_true); in __negate_cond_stacks()
[all …]