Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_start_states.c30 static struct stree_stack *saved_stack; variable
38 push_stree(&saved_stack, start_states); in match_save_states()
45 start_states = pop_stree(&saved_stack); in match_restore_states()
H A Dsmatch_param_used.c24 static struct stree_stack *saved_stack; variable
101 push_stree(&saved_stack, used_stree); in match_save_states()
108 used_stree = pop_stree(&saved_stack); in match_restore_states()
H A Dsmatch_returns.c49 static struct stree_stack *saved_stack; variable
92 push_stree(&saved_stack, all_return_states); in match_save_states()
104 all_return_states = pop_stree(&saved_stack); in match_restore_states()
H A Dsmatch_param_limit.c53 static struct stree_stack *saved_stack; variable
184 push_stree(&saved_stack, start_states); in match_save_states()
191 start_states = pop_stree(&saved_stack); in match_restore_states()
H A Dsmatch_param_filter.c39 static struct stree_stack *saved_stack; variable
52 push_stree(&saved_stack, start_states); in match_save_states()
59 start_states = pop_stree(&saved_stack); in match_restore_states()
H A Dcheck_atomic_inc_dec.c46 static struct stree_stack *saved_stack; variable
413 push_stree(&saved_stack, start_states); in match_save_states()
419 start_states = pop_stree(&saved_stack); in match_restore_states()
H A Dsmatch_kernel_user_data.c58 static struct stree_stack *saved_stack; variable
71 push_stree(&saved_stack, start_states); in match_save_states()
78 start_states = pop_stree(&saved_stack); in match_restore_states()
H A Dcheck_locking.c432 static struct stree_stack *saved_stack; variable
1213 push_stree(&saved_stack, start_states); in match_save_states()
1219 start_states = pop_stree(&saved_stack); in match_restore_states()