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.c213 push_stree(&fake_cur_stree_stack, NULL); in __push_fake_cur_stree()
501 push_stree(stack, stree); in delete_all_states_stree_stack_sym()
782 push_stree(&cond_true_stack, NULL); in __push_cond_stacks()
783 push_stree(&cond_false_stack, NULL); in __push_cond_stacks()
813 push_stree(&cond_true_stack, clone_stree(ret)); in __copy_cond_true_states()
822 push_stree(&cond_false_stack, clone_stree(ret)); in __copy_cond_false_states()
851 push_stree(&pre_cond_stack, clone_stree(cur_stree)); in __use_cond_stack()
855 push_stree(stack, stree); in __use_cond_stack()
880 push_stree(&cond_false_stack, old_true); in __negate_cond_stacks()
881 push_stree(&cond_true_stack, old_false); in __negate_cond_stacks()
[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()