Home
last modified time | relevance | path

Searched refs:END_FOR_EACH_SM (Results 1 – 25 of 49) sorted by relevance

12

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_capable.c62 } END_FOR_EACH_SM(sm); in save_call_info()
67 } END_FOR_EACH_SM(sm); in save_call_info()
78 } END_FOR_EACH_SM(sm); in save_return_info()
84 } END_FOR_EACH_SM(sm); in save_return_info()
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_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_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_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 Dcheck_atomic_inc_dec.c90 } END_FOR_EACH_SM(sm); in get_best_match()
297 } END_FOR_EACH_SM(sm); in match_return_info()
391 } END_FOR_EACH_SM(sm); in match_check_missed()
401 } END_FOR_EACH_SM(sm); in on_atomic_dec_path()
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 Dcheck_debug.c72 } END_FOR_EACH_SM(sm); in match_state()
113 } END_FOR_EACH_SM(tmp); in match_print_value()
368 } END_FOR_EACH_SM(tmp); in match_possible()
453 } END_FOR_EACH_SM(tmp); in match_dump_related()
558 } END_FOR_EACH_SM(sm); in match_about()
784 } END_FOR_EACH_SM(sm); in trace_var()
H A Dcheck_return_enomem.c70 } END_FOR_EACH_SM(sm); in match_return()
H A Dcheck_nospec.c128 } END_FOR_EACH_SM(sm); in returned_struct_members()
217 } END_FOR_EACH_SM(sm); in mark_user_data_as_nospec()
H A Dcheck_template.c99 } END_FOR_EACH_SM(tmp); in match_return()
H A Dcheck_frees_param.c86 } END_FOR_EACH_SM(sm); 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_capped.c286 } END_FOR_EACH_SM(sm); in print_return_implies_capped()
307 } END_FOR_EACH_SM(sm); in print_return_implies_capped()
H A Dsmatch_param_used.c89 } END_FOR_EACH_SM(tmp); in process_states()
H A Dcheck_uninitialized.c128 } END_FOR_EACH_SM(sm); in match_negative_comparison()
267 } END_FOR_EACH_SM(sm); in match_call_struct_members()
H A Davl.h92 #define END_FOR_EACH_SM(_sm) }} macro
H A Dcheck_held_dev.c77 } END_FOR_EACH_SM(tmp); in check_for_held()
H A Dcheck_spectre_second_half.c49 } END_FOR_EACH_SM(sm); in clear_spectre_second_halfs()
H A Dcheck_dereferences_param.c108 } END_FOR_EACH_SM(tmp); in process_states()
H A Dcheck_puts_argument.c79 } END_FOR_EACH_SM(tmp); in match_return()
H A Dcheck_frees_argument.c82 } END_FOR_EACH_SM(tmp); in match_return()
H A Dcheck_frees_param_strict.c140 } END_FOR_EACH_SM(sm); in param_freed_info()
H A Dcheck_missing_break.c152 } END_FOR_EACH_SM(sm); in delete_my_states()
H A Dsmatch_param_limit.c166 } END_FOR_EACH_SM(tmp); in print_return_value_param()

12