Symbol: clone_stree
usr/src/tools/smatch/src/avl.h
136
struct stree *clone_stree(struct stree *orig);
usr/src/tools/smatch/src/check_debug.c
788
old_stree = clone_stree(__get_cur_stree());
usr/src/tools/smatch/src/smatch_comparison.c
1342
pre_stree = clone_stree(__get_cur_stree());
usr/src/tools/smatch/src/smatch_comparison.c
2660
stree = clone_stree(sm->pool);
usr/src/tools/smatch/src/smatch_conditions.c
308
a_T_b_T = clone_stree(a_T);
usr/src/tools/smatch/src/smatch_conditions.c
314
a_T_b_F = clone_stree(a_T);
usr/src/tools/smatch/src/smatch_conditions.c
320
a_F_c_T = clone_stree(a_F);
usr/src/tools/smatch/src/smatch_conditions.c
326
a_F_c_F = clone_stree(a_F);
usr/src/tools/smatch/src/smatch_conditions.c
656
final_states = clone_stree(__get_cur_stree());
usr/src/tools/smatch/src/smatch_extra.c
2529
unmatched_stree = clone_stree(__get_cur_stree());
usr/src/tools/smatch/src/smatch_function_hooks.c
749
orig_states = clone_stree(__get_cur_stree());
usr/src/tools/smatch/src/smatch_implied.c
1100
struct stree *ret = clone_stree(*raw_stree);
usr/src/tools/smatch/src/smatch_implied.c
1189
pre_stree = clone_stree(__get_cur_stree());
usr/src/tools/smatch/src/smatch_implied.c
191
true_stree = clone_stree(sm->pool);
usr/src/tools/smatch/src/smatch_implied.c
192
false_stree = clone_stree(sm->pool);
usr/src/tools/smatch/src/smatch_implied.c
832
pre_stree = clone_stree(__get_cur_stree());
usr/src/tools/smatch/src/smatch_implied.c
880
pre_stree = clone_stree(__get_cur_stree());
usr/src/tools/smatch/src/smatch_implied.c
905
pre_stree = clone_stree(__get_cur_stree());
usr/src/tools/smatch/src/smatch_kernel_user_data.c
61
start_states = clone_stree(__get_cur_stree());
usr/src/tools/smatch/src/smatch_returns.c
75
stree = clone_stree(__get_cur_stree());
usr/src/tools/smatch/src/smatch_slist.c
1047
push_stree(pre_conds, clone_stree(pre_stree));
usr/src/tools/smatch/src/smatch_slist.c
1049
res = clone_stree(pre_stree);
usr/src/tools/smatch/src/smatch_slist.c
1052
tmp_stree = clone_stree(cur_stree);
usr/src/tools/smatch/src/smatch_slist.c
828
*to = clone_stree(stree);
usr/src/tools/smatch/src/smatch_slist.c
832
implied_one = clone_stree(*to);
usr/src/tools/smatch/src/smatch_slist.c
833
implied_two = clone_stree(stree);
usr/src/tools/smatch/src/smatch_slist.c
921
*to = clone_stree(stree);
usr/src/tools/smatch/src/smatch_slist.c
957
one->base_stree = clone_stree(__get_cur_stree());
usr/src/tools/smatch/src/smatch_slist.c
962
two->base_stree = clone_stree(__get_cur_stree());
usr/src/tools/smatch/src/smatch_start_states.c
33
start_states = clone_stree(__get_cur_stree());
usr/src/tools/smatch/src/smatch_states.c
1041
stree = clone_stree(cur_stree);
usr/src/tools/smatch/src/smatch_states.c
1070
stree = clone_stree(cur_stree);
usr/src/tools/smatch/src/smatch_states.c
1080
stree = clone_stree(top_stree(fake_cur_stree_stack));
usr/src/tools/smatch/src/smatch_states.c
1143
push_stree(&switch_stack, clone_stree(cur_stree));
usr/src/tools/smatch/src/smatch_states.c
1225
clone = clone_stree(cur_stree);
usr/src/tools/smatch/src/smatch_states.c
813
push_stree(&cond_true_stack, clone_stree(ret));
usr/src/tools/smatch/src/smatch_states.c
822
push_stree(&cond_false_stack, clone_stree(ret));
usr/src/tools/smatch/src/smatch_states.c
851
push_stree(&pre_cond_stack, clone_stree(cur_stree));
usr/src/tools/smatch/src/smatch_states.c
898
push_stree(&pre_cond_stack, clone_stree(cur_stree));
usr/src/tools/smatch/src/smatch_states.c
911
return clone_stree(top_stree(cond_true_stack));
usr/src/tools/smatch/src/smatch_states.c
916
return clone_stree(top_stree(cond_false_stack));
usr/src/tools/smatch/src/smatch_states.c
924
pre_clone = clone_stree(pre);
usr/src/tools/smatch/src/smatch_states.c
941
push_stree(&true_stack, clone_stree(cur_stree));