Home
last modified time | relevance | path

Searched refs:END_FOR_EACH_SM (Results 1 – 25 of 49) sorted by last modified time

12

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_type_val.c642 } END_FOR_EACH_SM(sm); in match_end_func_info()
661 } END_FOR_EACH_SM(sm); in match_end_file()
H A Dsmatch_states.c90 } END_FOR_EACH_SM(sm); in __print_states()
262 } END_FOR_EACH_SM(sm); in __merge_stree_into_cur()
483 } END_FOR_EACH_SM(sm); in delete_all_states_stree_sym()
534 } END_FOR_EACH_SM(tmp); in get_all_states_from_stree()
796 } END_FOR_EACH_SM(sm); in __fold_in_set_states()
992 } END_FOR_EACH_SM(sm); in update_stree_with_merged()
1113 } END_FOR_EACH_SM(sm); in __merge_breaks()
1130 } END_FOR_EACH_SM(sm); in __use_breaks()
H A Dsmatch_struct_assignment.c358 } END_FOR_EACH_SM(sm); in copy_containter_states()
H A Dsmatch_slist.c85 } END_FOR_EACH_SM(sm); in __print_stree()
762 } END_FOR_EACH_SM(sm); in call_pre_merge_hooks()
775 } END_FOR_EACH_SM(sm); in call_pre_merge_hooks()
794 } END_FOR_EACH_SM(sm); in clone_pool_havers_stree()
960 } END_FOR_EACH_SM(sm); in merge_fake_stree()
965 } END_FOR_EACH_SM(sm); in merge_fake_stree()
1021 } END_FOR_EACH_SM(tmp); in and_stree_stack()
1089 } END_FOR_EACH_SM(tmp); in overwrite_stree()
H A Dsmatch_return_to_param.c116 } END_FOR_EACH_SM(sm); in map_long_to_short_name_sym()
H A Dsmatch_param_limit.c166 } END_FOR_EACH_SM(tmp); in print_return_value_param()
H A Dsmatch_param_set.c253 } END_FOR_EACH_SM(sm); in print_return_value_param_helper()
H A Dsmatch_param_to_mtag_data.c208 } END_FOR_EACH_SM(sm); in print_stored_to_mtag()
H A Dsmatch_param_used.c89 } END_FOR_EACH_SM(tmp); in process_states()
H A Dsmatch_nul_terminator.c211 } END_FOR_EACH_SM(tmp); in split_return_info()
228 } END_FOR_EACH_SM(sm); in split_return_info()
H A Dsmatch_param_cleared.c100 } END_FOR_EACH_SM(sm); in print_return_value_param()
H A Dsmatch_param_compare_limit.c233 } END_FOR_EACH_SM(tmp); in print_return_comparison()
H A Dsmatch_param_filter.c181 } END_FOR_EACH_SM(tmp); in print_return_value_param()
H A Dsmatch_kernel_user_data.c858 } END_FOR_EACH_SM(tmp); in has_user_data()
1389 } END_FOR_EACH_SM(sm); in param_set_to_user_data()
1412 } END_FOR_EACH_SM(sm); in param_set_to_user_data()
H A Dsmatch_modification_hooks.c138 } END_FOR_EACH_SM(sm); in call_modification_hooks_name_sym()
H A Dsmatch_mtag_data.c67 } END_FOR_EACH_SM(tmp); in is_kernel_param()
H A Dsmatch_implied.c624 } END_FOR_EACH_SM(tmp); in filter_stack()
932 } END_FOR_EACH_SM(sm); in separate_implication_states()
935 } END_FOR_EACH_SM(sm); in separate_implication_states()
940 } END_FOR_EACH_SM(sm); in separate_implication_states()
943 } END_FOR_EACH_SM(sm); in separate_implication_states()
992 } END_FOR_EACH_SM(sm); in set_implied_states()
997 } END_FOR_EACH_SM(sm); in set_implied_states()
1080 } END_FOR_EACH_SM(tmp); in param_limit_implications()
1199 } END_FOR_EACH_SM(tmp); in overwrite_states_using_pool()
H A Dsmatch_extra.c278 } END_FOR_EACH_SM(sm); in get_long_name_sym()
960 } END_FOR_EACH_SM(tmp); in clear_the_pointed_at()
2521 } END_FOR_EACH_SM(sm); in returned_struct_members()
H A Dsmatch_function_hooks.c295 } END_FOR_EACH_SM(sm); in assign_ranged_funcs()
377 } END_FOR_EACH_SM(sm); in set_implied_states()
795 } END_FOR_EACH_SM(sm); in compare_db_return_states_callbacks()
821 } END_FOR_EACH_SM(sm); in compare_db_return_states_callbacks()
827 } END_FOR_EACH_SM(sm); in compare_db_return_states_callbacks()
830 } END_FOR_EACH_SM(sm); in compare_db_return_states_callbacks()
839 } END_FOR_EACH_SM(sm); in compare_db_return_states_callbacks()
842 } END_FOR_EACH_SM(sm); in compare_db_return_states_callbacks()
1019 } END_FOR_EACH_SM(sm); in db_return_states_assign()
1203 } END_FOR_EACH_SM(sm); in db_return_states()
H A Dsmatch_flow.c641 } END_FOR_EACH_SM(sm); in handle_pre_loop()
1834 } END_FOR_EACH_SM(tmp); in clone_estates_perm()
H A Dsmatch_db.c173 } END_FOR_EACH_SM(sm); in get_db_state_count()
965 } END_FOR_EACH_SM(sm); in print_struct_members()
1257 } END_FOR_EACH_SM(sm); in match_data_from_db()
2209 } END_FOR_EACH_SM(sm); in print_returned_struct_members()
H A Dsmatch_container_of.c613 } END_FOR_EACH_SM(sm); in load_container_data()
H A Dsmatch_comparison.c2380 } END_FOR_EACH_SM(tmp); in print_return_comparison()
H A Dsmatch_conditions.c341 } END_FOR_EACH_SM(sm); in handle_select()
344 } END_FOR_EACH_SM(sm); in handle_select()
583 } END_FOR_EACH_SM(sm); in __handle_condition_assigns()
598 } END_FOR_EACH_SM(sm); in __handle_condition_assigns()
606 } END_FOR_EACH_SM(sm); in __handle_condition_assigns()
672 } END_FOR_EACH_SM(sm); in __handle_select_assigns()
H A Dsmatch_constraints.c498 } END_FOR_EACH_SM(sm); in print_return_implies_constrained()

12