Home
last modified time | relevance | path

Searched refs:merge_fake_stree (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_function_hooks.c288 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 Dsmatch_slist.h81 void merge_fake_stree(struct stree **to, struct stree *stree);
H A Dsmatch_conditions.c602 merge_fake_stree(&true_stree, false_stree); in __handle_condition_assigns()
H A Dsmatch_slist.c906 void merge_fake_stree(struct stree **to, struct stree *stree) in merge_fake_stree() function