Home
last modified time | relevance | path

Searched refs:clone_stree (Results 1 – 13 of 13) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c813 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()
911 return clone_stree(top_stree(cond_true_stack)); in __get_true_states()
916 return clone_stree(top_stree(cond_false_stack)); in __get_false_states()
924 pre_clone = clone_stree(pre); in __use_cond_states()
941 push_stree(&true_stack, clone_stree(cur_stree)); in __push_true_states()
1041 stree = clone_stree(cur_stree); in __process_continues()
1070 stree = clone_stree(cur_stree); in __process_breaks()
1143 push_stree(&switch_stack, clone_stree(cur_stree)); in __save_switch_states()
[all …]
H A Dsmatch_slist.c828 *to = clone_stree(stree); in __merge_stree()
832 implied_one = clone_stree(*to); in __merge_stree()
833 implied_two = clone_stree(stree); in __merge_stree()
921 *to = clone_stree(stree); in merge_fake_stree()
957 one->base_stree = clone_stree(__get_cur_stree()); in merge_fake_stree()
962 two->base_stree = clone_stree(__get_cur_stree()); in merge_fake_stree()
1047 push_stree(pre_conds, clone_stree(pre_stree)); in or_stree_stack()
1049 res = clone_stree(pre_stree); in or_stree_stack()
1052 tmp_stree = clone_stree(cur_stree); in or_stree_stack()
H A Dsmatch_conditions.c308 a_T_b_T = clone_stree(a_T); in handle_select()
314 a_T_b_F = clone_stree(a_T); in handle_select()
320 a_F_c_T = clone_stree(a_F); in handle_select()
326 a_F_c_F = clone_stree(a_F); in handle_select()
656 final_states = clone_stree(__get_cur_stree()); in __handle_select_assigns()
H A Dsmatch_start_states.c33 start_states = clone_stree(__get_cur_stree()); in save_start_states()
H A Dsmatch_implied.c191 true_stree = clone_stree(sm->pool); in create_fake_history()
192 false_stree = clone_stree(sm->pool); in create_fake_history()
832 pre_stree = clone_stree(__get_cur_stree()); in handled_by_comparison_hook()
880 pre_stree = clone_stree(__get_cur_stree()); in handled_by_parsed_conditions()
905 pre_stree = clone_stree(__get_cur_stree()); in handled_by_stored_conditions()
1100 struct stree *ret = clone_stree(*raw_stree); in __implied_case_stree()
1189 pre_stree = clone_stree(__get_cur_stree()); in overwrite_states_using_pool()
H A Davl.h136 struct stree *clone_stree(struct stree *orig);
H A Dsmatch_returns.c75 stree = clone_stree(__get_cur_stree()); in match_return()
H A Davl.c502 struct stree *clone_stree(struct stree *orig) in clone_stree() function
H A Dcheck_debug.c788 old_stree = clone_stree(__get_cur_stree()); in trace_var()
H A Dsmatch_comparison.c1342 pre_stree = clone_stree(__get_cur_stree()); in handle_comparison()
2660 stree = clone_stree(sm->pool); in clone_partial_sm()
H A Dsmatch_function_hooks.c749 orig_states = clone_stree(__get_cur_stree()); in compare_db_return_states_callbacks()
H A Dsmatch_kernel_user_data.c61 start_states = clone_stree(__get_cur_stree()); in save_start_states()
H A Dsmatch_extra.c2529 unmatched_stree = clone_stree(__get_cur_stree()); in db_limited_before()