Searched refs:merge_stree (Results 1 – 6 of 6) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_states.c | 963 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 D | smatch_slist.h | 78 void merge_stree(struct stree **to, struct stree *stree); 80 void merge_stree(struct stree **to, struct stree *right);
|
H A D | smatch_conditions.c | 330 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 D | smatch_returns.c | 86 merge_stree(&all_return_states, __get_cur_stree()); in match_end_func()
|
H A D | smatch_slist.c | 889 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 D | smatch_db.c | 1097 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()
|