Searched refs:merge_fake_stree (Results 1 – 4 of 4) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_function_hooks.c | 288 merge_fake_stree(&final_states, tmp_stree); in assign_ranged_funcs()
333 merge_fake_stree(&true_states, tmp_stree); in call_implies_callbacks()
346 merge_fake_stree(&false_states, tmp_stree); in call_implies_callbacks()
673 merge_fake_stree(&db_info->stree, stree); in db_compare_callback()
782 merge_fake_stree(&db_info.stree, stree); in compare_db_return_states_callbacks()
808 merge_fake_stree(&db_info.stree, stree); in compare_db_return_states_callbacks()
933 merge_fake_stree(&db_info->stree, stree); in db_assign_return_states_callback()
1010 merge_fake_stree(&db_info.stree, stree); in db_return_states_assign()
1122 merge_fake_stree(&db_info->stree, stree); in db_return_states_callback()
1198 merge_fake_stree(&db_info.stree, stree); in db_return_states()
|
| H A D | smatch_slist.h | 81 void merge_fake_stree(struct stree **to, struct stree *stree);
|
| H A D | smatch_conditions.c | 602 merge_fake_stree(&true_stree, false_stree); in __handle_condition_assigns()
|
| H A D | smatch_slist.c | 906 void merge_fake_stree(struct stree **to, struct stree *stree) in merge_fake_stree() function
|