Searched refs:cond_true_stack (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_states.c | 53 static struct stree_stack *cond_true_stack; /* states affected by a branch */ variable
454 if (cond_true_stack) { in delete_state()
456 delete_state_stree_stack(&cond_true_stack, owner, name, sym); in delete_state()
512 delete_all_states_stree_stack_sym(&cond_true_stack, sym); in __delete_all_states_sym()
575 if (!cond_false_stack || !cond_true_stack) { in set_true_false_states()
581 set_state_stree_stack(&cond_true_stack, owner, name, sym, true_state); in set_true_false_states()
627 if (!cond_false_stack || !cond_true_stack) { in __set_true_false_sm()
633 overwrite_sm_state_stree_stack(&cond_true_stack, true_sm); in __set_true_false_sm()
692 __add_ptr_list(&backup, cond_true_stack); in save_all_states()
693 cond_true_stack = NULL; in save_all_states()
[all …]
|