Home
last modified time | relevance | path

Searched refs:final_states (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_conditions.c630 struct stree *final_states = NULL; in __handle_select_assigns() local
656 final_states = clone_stree(__get_cur_stree()); in __handle_select_assigns()
665 merge_stree(&final_states, __get_cur_stree()); in __handle_select_assigns()
670 FOR_EACH_SM(final_states, sm) { in __handle_select_assigns()
674 free_stree(&final_states); in __handle_select_assigns()
H A Dsmatch_function_hooks.c256 struct stree *final_states = NULL; in assign_ranged_funcs() local
288 merge_fake_stree(&final_states, tmp_stree); in assign_ranged_funcs()
293 FOR_EACH_SM(final_states, sm) { in assign_ranged_funcs()
297 free_stree(&final_states); in assign_ranged_funcs()
H A Dsmatch_db.c598 struct stree *final_states; member
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()
1255 FOR_EACH_SM(data.final_states, sm) { in match_data_from_db()
1260 free_stree(&data.final_states); in match_data_from_db()