Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c501 push_stree(stack, stree); in delete_all_states_stree_stack_sym()
782 push_stree(&cond_true_stack, NULL); in __push_cond_stacks()
855 push_stree(stack, stree); in __use_cond_stack()
1024 push_stree(&continue_stack, NULL); in __push_continues()
1045 push_stree(&continue_stack, stree); in __process_continues()
1059 push_stree(&break_stack, NULL); in __push_breaks()
1073 push_stree(&break_stack, stree); in __process_breaks()
1093 push_stree(&break_stack, stree); in __has_breaks()
1163 push_stree(&switch_stack, stree); in __merge_switches()
1169 push_stree(&switch_stack, stree); in __merge_switches()
[all …]
H A Dsmatch_returns.c77 push_stree(&return_stree_stack, stree); in match_return()
92 push_stree(&saved_stack, all_return_states); in match_save_states()
H A Dsmatch_slist.c561 push_stree(stack, stree); in overwrite_sm_state_stree_stack()
608 push_stree(stack, stree); in delete_state_stree_stack()
611 void push_stree(struct stree_stack **stack, struct stree *stree) in push_stree() function
658 push_stree(stack, stree); in set_state_stree_stack()
675 push_stree(&stack, stree); in get_sm_state_stree_stack()
850 push_stree(&all_pools, implied_one); in __merge_stree()
851 push_stree(&all_pools, implied_two); in __merge_stree()
1047 push_stree(pre_conds, clone_stree(pre_stree)); in or_stree_stack()
1058 push_stree(stack, res); in or_stree_stack()
H A Dsmatch_start_states.c38 push_stree(&saved_stack, start_states); in match_save_states()
H A Dsmatch_param_used.c101 push_stree(&saved_stack, used_stree); in match_save_states()
H A Dsmatch_slist.h58 void push_stree(struct stree_stack **list_stack, struct stree *stree);
H A Dsmatch_param_limit.c184 push_stree(&saved_stack, start_states); in match_save_states()
H A Dsmatch_param_filter.c52 push_stree(&saved_stack, start_states); in match_save_states()
H A Dcheck_atomic_inc_dec.c413 push_stree(&saved_stack, start_states); in match_save_states()
H A Dsmatch_type_val.c55 push_stree(&fn_type_val_stack, fn_type_val); in match_inline_start()
H A Dsmatch_kernel_user_data.c71 push_stree(&saved_stack, start_states); in match_save_states()
H A Dcheck_locking.c1213 push_stree(&saved_stack, start_states); in match_save_states()