Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c61 static struct stree_stack *switch_stack; variable
517 delete_all_states_stree_stack_sym(&switch_stack, sym); in __delete_all_states_sym()
705 __add_ptr_list(&backup, switch_stack); in save_all_states()
706 switch_stack = NULL; in save_all_states()
734 switch_stack = pop_backup(); in restore_all_states()
770 check_stree_stack_free(&switch_stack); in clear_all_states()
1143 push_stree(&switch_stack, clone_stree(cur_stree)); in __save_switch_states()
1156 stree = pop_stree(&switch_stack); in __merge_switches()
1163 push_stree(&switch_stack, stree); in __merge_switches()
1169 push_stree(&switch_stack, stree); in __merge_switches()
[all …]