Home
last modified time | relevance | path

Searched refs:FOR_EACH_SM (Results 1 – 18 of 18) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_conditions.c339 FOR_EACH_SM(a_T_b_T, sm) { in handle_select()
342 FOR_EACH_SM(a_T_b_F, sm) { in handle_select()
581 FOR_EACH_SM(fake_stree, sm) { in __handle_condition_assigns()
596 FOR_EACH_SM(fake_stree, sm) { in __handle_condition_assigns()
604 FOR_EACH_SM(true_stree, sm) { in __handle_condition_assigns()
670 FOR_EACH_SM(final_states, sm) { in __handle_select_assigns()
H A Dsmatch_function_hooks.c293 FOR_EACH_SM(final_states, sm) { in assign_ranged_funcs()
375 FOR_EACH_SM(db_info->implied, sm) { in set_implied_states()
793 FOR_EACH_SM(orig_states, sm) { in compare_db_return_states_callbacks()
819 FOR_EACH_SM(orig_states, sm) { in compare_db_return_states_callbacks()
825 FOR_EACH_SM(true_states, sm) { in compare_db_return_states_callbacks()
828 FOR_EACH_SM(false_states, sm) { in compare_db_return_states_callbacks()
837 FOR_EACH_SM(implied_true, sm) { in compare_db_return_states_callbacks()
840 FOR_EACH_SM(implied_false, sm) { in compare_db_return_states_callbacks()
1017 FOR_EACH_SM(db_info.stree, sm) { in db_return_states_assign()
1201 FOR_EACH_SM(db_info.stree, sm) { in db_return_states()
H A Dsmatch_slist.c83 FOR_EACH_SM(stree, sm) { in __print_stree()
757 FOR_EACH_SM(*two, sm) { in call_pre_merge_hooks()
770 FOR_EACH_SM(*one, sm) { in call_pre_merge_hooks()
789 FOR_EACH_SM(*stree, sm) { in clone_pool_havers_stree()
958 FOR_EACH_SM(one, sm) { in merge_fake_stree()
963 FOR_EACH_SM(two, sm) { in merge_fake_stree()
1019 FOR_EACH_SM(right_stree, tmp) { in and_stree_stack()
1087 FOR_EACH_SM(from, tmp) { in overwrite_stree()
H A Dsmatch_states.c85 FOR_EACH_SM(__get_cur_stree(), sm) { in __print_states()
255 FOR_EACH_SM(stree, sm) { in __merge_stree_into_cur()
480 FOR_EACH_SM(*stree, sm) { in delete_all_states_stree_sym()
531 FOR_EACH_SM(source, tmp) { in get_all_states_from_stree()
793 FOR_EACH_SM(new_states, sm) { in __fold_in_set_states()
987 FOR_EACH_SM(*stree, sm) { in update_stree_with_merged()
1111 FOR_EACH_SM(stree, sm) { in __merge_breaks()
1128 FOR_EACH_SM(stree, sm) { in __use_breaks()
H A Dsmatch_implied.c605 FOR_EACH_SM(pre_stree, tmp) { in filter_stack()
929 FOR_EACH_SM(*implied_true, sm) { in separate_implication_states()
933 FOR_EACH_SM(extra_saved_implied_true, sm) { in separate_implication_states()
937 FOR_EACH_SM(*implied_false, sm) { in separate_implication_states()
941 FOR_EACH_SM(extra_saved_implied_false, sm) { in separate_implication_states()
990 FOR_EACH_SM(saved_implied_true, sm) { in set_implied_states()
995 FOR_EACH_SM(saved_implied_false, sm) { in set_implied_states()
1065 FOR_EACH_SM(implied_true, tmp) { in param_limit_implications()
1197 FOR_EACH_SM(implied_true, tmp) { in overwrite_states_using_pool()
H A Dsmatch_param_used.c75 FOR_EACH_SM(used_stree, tmp) { in process_states()
H A Davl.h87 #define FOR_EACH_SM(avl, _sm) { \ macro
H A Dcheck_double_checking.c248 FOR_EACH_SM(to_check, check) { in after_loop()
H A Dsmatch_return_to_param.c105 FOR_EACH_SM(__get_cur_stree(), sm) { in map_long_to_short_name_sym()
H A Dcheck_debug.c65 FOR_EACH_SM(__get_cur_stree(), sm) { in match_state()
554 FOR_EACH_SM(__get_cur_stree(), sm) { in match_about()
774 FOR_EACH_SM(__get_cur_stree(), sm) { in trace_var()
H A Dsmatch_type_val.c640 FOR_EACH_SM(fn_type_val, sm) { in match_end_func_info()
659 FOR_EACH_SM(global_type_val, sm) { in match_end_file()
H A Dsmatch_modification_hooks.c122 FOR_EACH_SM(__get_cur_stree(), sm) { in call_modification_hooks_name_sym()
H A Dcheck_nospec.c208 FOR_EACH_SM(stree, sm) { in mark_user_data_as_nospec()
H A Dsmatch_mtag_data.c64 FOR_EACH_SM(vals, tmp) { in is_kernel_param()
H A Dsmatch_struct_assignment.c347 FOR_EACH_SM(__get_cur_stree(), sm) { in copy_containter_states()
H A Dsmatch_container_of.c611 FOR_EACH_SM(stree, sm) { in load_container_data()
H A Dsmatch_db.c168 FOR_EACH_SM(__get_cur_stree(), sm) { in get_db_state_count()
921 FOR_EACH_SM(stree, sm) { in print_struct_members()
1255 FOR_EACH_SM(data.final_states, sm) { in match_data_from_db()
H A Dsmatch_flow.c639 FOR_EACH_SM(stree, sm) { in handle_pre_loop()
1832 FOR_EACH_SM(orig, tmp) { in clone_estates_perm()