Searched refs:push_stree (Results 1 – 12 of 12) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_states.c | 501 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 D | smatch_returns.c | 77 push_stree(&return_stree_stack, stree); in match_return() 92 push_stree(&saved_stack, all_return_states); in match_save_states()
|
H A D | smatch_slist.c | 561 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 D | smatch_start_states.c | 38 push_stree(&saved_stack, start_states); in match_save_states()
|
H A D | smatch_param_used.c | 101 push_stree(&saved_stack, used_stree); in match_save_states()
|
H A D | smatch_slist.h | 58 void push_stree(struct stree_stack **list_stack, struct stree *stree);
|
H A D | smatch_param_limit.c | 184 push_stree(&saved_stack, start_states); in match_save_states()
|
H A D | smatch_param_filter.c | 52 push_stree(&saved_stack, start_states); in match_save_states()
|
H A D | check_atomic_inc_dec.c | 413 push_stree(&saved_stack, start_states); in match_save_states()
|
H A D | smatch_type_val.c | 55 push_stree(&fn_type_val_stack, fn_type_val); in match_inline_start()
|
H A D | smatch_kernel_user_data.c | 71 push_stree(&saved_stack, start_states); in match_save_states()
|
H A D | check_locking.c | 1213 push_stree(&saved_stack, start_states); in match_save_states()
|