Searched refs:overwrite_stree (Results 1 – 5 of 5) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_conditions.c | 215 overwrite_stree(orig, &ret); in combine_strees() 216 overwrite_stree(fake, &ret); in combine_strees() 217 overwrite_stree(new, &ret); in combine_strees() 309 overwrite_stree(a_T_b_fake, &a_T_b_T); in handle_select() 315 overwrite_stree(a_T_b_fake, &a_T_b_F); in handle_select() 321 overwrite_stree(a_F_c_fake, &a_F_c_T); in handle_select() 327 overwrite_stree(a_F_c_fake, &a_F_c_F); in handle_select()
|
H A D | smatch_slist.c | 764 overwrite_stree(new, one); in call_pre_merge_hooks() 777 overwrite_stree(new, two); in call_pre_merge_hooks() 1050 overwrite_stree(old, &res); in or_stree_stack() 1053 overwrite_stree(new, &tmp_stree); in or_stree_stack() 1083 void overwrite_stree(struct stree *from, struct stree **to) in overwrite_stree() function
|
H A D | smatch_slist.h | 93 void overwrite_stree(struct stree *from, struct stree **to);
|
H A D | smatch_states.c | 854 overwrite_stree(stree, &cur_stree); in __use_cond_stack() 927 overwrite_stree(true_states, &pre); in __use_cond_states() 934 overwrite_stree(false_states, &pre_clone); in __use_cond_states()
|
H A D | smatch_implied.c | 1121 overwrite_stree(extra_states, &true_states); in __implied_case_stree() 1122 overwrite_stree(true_states, &ret); in __implied_case_stree()
|