Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c499 stree = pop_stree(stack); in delete_all_states_stree_stack_sym()
853 stree = pop_stree(stack); in __use_cond_stack()
905 tmp = pop_stree(&pre_cond_stack); in __discard_pre_cond_states()
923 pre = pop_stree(&pre_cond_stack); in __use_cond_states()
954 stree = pop_stree(&false_stack); in __discard_false_states()
962 stree = pop_stree(&false_stack); in __merge_false_states()
1016 stree = pop_stree(&true_stack); in __merge_true_states()
1068 stree = pop_stree(&break_stack); in __process_breaks()
1091 stree = pop_stree(&break_stack); in __has_breaks()
1102 stree = pop_stree(&break_stack); in __merge_breaks()
[all …]
H A Dsmatch_slist.c559 stree = pop_stree(stack); in overwrite_sm_state_stree_stack()
606 stree = pop_stree(stack); in delete_state_stree_stack()
616 struct stree *pop_stree(struct stree_stack **stack) in pop_stree() function
656 stree = pop_stree(stack); in set_state_stree_stack()
673 stree = pop_stree(&stack); in get_sm_state_stree_stack()
1017 struct stree *right_stree = pop_stree(stack); in and_stree_stack()
1043 new = pop_stree(stack); in or_stree_stack()
1044 old = pop_stree(stack); in or_stree_stack()
1046 pre_stree = pop_stree(pre_conds); in or_stree_stack()
H A Dsmatch_start_states.c45 start_states = pop_stree(&saved_stack); in match_restore_states()
H A Dsmatch_param_used.c108 used_stree = pop_stree(&saved_stack); in match_restore_states()
H A Dsmatch_returns.c104 all_return_states = pop_stree(&saved_stack); in match_restore_states()
H A Dsmatch_slist.h59 struct stree *pop_stree(struct stree_stack **list_stack);
H A Dsmatch_param_limit.c191 start_states = pop_stree(&saved_stack); in match_restore_states()
H A Dsmatch_param_filter.c59 start_states = pop_stree(&saved_stack); in match_restore_states()
H A Dcheck_atomic_inc_dec.c419 start_states = pop_stree(&saved_stack); in match_restore_states()
H A Dsmatch_type_val.c62 fn_type_val = pop_stree(&fn_type_val_stack); in match_inline_end()
H A Dsmatch_kernel_user_data.c78 start_states = pop_stree(&saved_stack); in match_restore_states()
H A Dcheck_locking.c1219 start_states = pop_stree(&saved_stack); in match_restore_states()