Searched refs:cond_false_stack (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_states.c | 54 static struct stree_stack *cond_false_stack; variable
457 delete_state_stree_stack(&cond_false_stack, owner, name, sym); in delete_state()
513 delete_all_states_stree_stack_sym(&cond_false_stack, sym); in __delete_all_states_sym()
575 if (!cond_false_stack || !cond_true_stack) { in set_true_false_states()
583 set_state_stree_stack(&cond_false_stack, owner, name, sym, false_state); in set_true_false_states()
627 if (!cond_false_stack || !cond_true_stack) { in __set_true_false_sm()
635 overwrite_sm_state_stree_stack(&cond_false_stack, false_sm); in __set_true_false_sm()
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()
[all …]
|