/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_conditions.c | 339 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 D | smatch_function_hooks.c | 293 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 D | smatch_slist.c | 83 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 D | smatch_states.c | 85 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 D | smatch_implied.c | 605 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 D | smatch_param_used.c | 75 FOR_EACH_SM(used_stree, tmp) { in process_states()
|
H A D | avl.h | 87 #define FOR_EACH_SM(avl, _sm) { \ macro
|
H A D | check_double_checking.c | 248 FOR_EACH_SM(to_check, check) { in after_loop()
|
H A D | smatch_return_to_param.c | 105 FOR_EACH_SM(__get_cur_stree(), sm) { in map_long_to_short_name_sym()
|
H A D | check_debug.c | 65 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 D | smatch_type_val.c | 640 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 D | smatch_modification_hooks.c | 122 FOR_EACH_SM(__get_cur_stree(), sm) { in call_modification_hooks_name_sym()
|
H A D | check_nospec.c | 208 FOR_EACH_SM(stree, sm) { in mark_user_data_as_nospec()
|
H A D | smatch_mtag_data.c | 64 FOR_EACH_SM(vals, tmp) { in is_kernel_param()
|
H A D | smatch_struct_assignment.c | 347 FOR_EACH_SM(__get_cur_stree(), sm) { in copy_containter_states()
|
H A D | smatch_container_of.c | 611 FOR_EACH_SM(stree, sm) { in load_container_data()
|
H A D | smatch_db.c | 168 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 D | smatch_flow.c | 639 FOR_EACH_SM(stree, sm) { in handle_pre_loop() 1832 FOR_EACH_SM(orig, tmp) { in clone_estates_perm()
|