Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c63 static struct stree_stack *default_stack; variable
709 __add_ptr_list(&backup, default_stack); in save_all_states()
710 default_stack = NULL; in save_all_states()
732 default_stack = pop_backup(); in restore_all_states()
1183 push_stree(&default_stack, NULL); in __push_default()
1188 set_state_stree_stack(&default_stack, 0, "has_default", NULL, &true_state); in __set_default()
1195 stree = pop_stree(&default_stack); in __pop_default()