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()
|