Home
last modified time | relevance | path

Searched refs:merge_stree (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c963 merge_stree(&cur_stree, stree); in __merge_false_states()
1017 merge_stree(&cur_stree, stree); in __merge_true_states()
1043 merge_stree(&stree, cur_stree); in __process_continues()
1053 merge_stree(&cur_stree, stree); in __merge_continues()
1072 merge_stree(&stree, cur_stree); in __process_breaks()
1082 merge_stree(&stree, top_stree(fake_cur_stree_stack)); in __process_breaks()
1103 merge_stree(&cur_stree, stree); in __merge_breaks()
1167 merge_stree(&cur_stree, implied_stree); in __merge_switches()
1220 merge_stree(stree, cur_stree); in __save_gotos()
1237 merge_stree(&cur_stree, *stree); in __merge_gotos()
H A Dsmatch_slist.h78 void merge_stree(struct stree **to, struct stree *stree);
80 void merge_stree(struct stree **to, struct stree *right);
H A Dsmatch_conditions.c330 merge_stree(&a_T_b_T, a_F_c_T); in handle_select()
331 merge_stree(&a_T_b_F, a_F_c_F); in handle_select()
665 merge_stree(&final_states, __get_cur_stree()); in __handle_select_assigns()
H A Dsmatch_returns.c86 merge_stree(&all_return_states, __get_cur_stree()); in match_end_func()
H A Dsmatch_slist.c889 void merge_stree(struct stree **to, struct stree *stree) in merge_stree() function
1055 merge_stree(&res, tmp_stree); in or_stree_stack()
H A Dsmatch_db.c1097 merge_stree(&data->final_states, stree); in caller_info_callback()
1209 merge_stree(&data.final_states, stree); in match_data_from_db()
1250 merge_stree(&data.final_states, stree); in match_data_from_db()