| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_conditions.c | 218 free_stree(&new); in combine_strees()
306 free_stree(&a_T_b_T); in handle_select()
307 free_stree(&a_T_b_F); in handle_select()
334 free_stree(&tmp); in handle_select()
336 free_stree(&tmp); in handle_select()
349 free_stree(&a_F_c_T); in handle_select()
350 free_stree(&a_F_c_F); in handle_select()
351 free_stree(&a_T_b_T); in handle_select()
352 free_stree(&a_T_b_F); in handle_select()
353 free_stree(&a_T); in handle_select()
[all …]
|
| H A D | smatch_states.c | 230 free_stree(&stree); in __free_fake_cur_stree()
906 free_stree(&tmp); in __discard_pre_cond_states()
955 free_stree(&stree); in __discard_false_states()
964 free_stree(&stree); in __merge_false_states()
1019 free_stree(&stree); in __merge_true_states()
1032 free_stree(&stree); in __discard_continues()
1054 free_stree(&stree); in __merge_continues()
1104 free_stree(&stree); in __merge_breaks()
1114 free_stree(&stree); in __merge_breaks()
1131 free_stree(&stree); in __use_breaks()
[all …]
|
| H A D | smatch_function_hooks.c | 289 free_stree(&tmp_stree); in assign_ranged_funcs()
297 free_stree(&final_states); in assign_ranged_funcs()
334 free_stree(&tmp_stree); in call_implies_callbacks()
347 free_stree(&tmp_stree); in call_implies_callbacks()
674 free_stree(&stree); in db_compare_callback()
783 free_stree(&stree); in compare_db_return_states_callbacks()
809 free_stree(&stree); in compare_db_return_states_callbacks()
934 free_stree(&stree); in db_assign_return_states_callback()
1011 free_stree(&stree); in db_return_states_assign()
1123 free_stree(&stree); in db_return_states_callback()
[all …]
|
| H A D | smatch_param_used.c | 91 free_stree(&used_stree); in process_states()
96 free_stree(&used_stree); in match_function_def()
107 free_stree(&used_stree); in match_restore_states()
|
| H A D | smatch_start_states.c | 44 free_stree(&start_states); in match_restore_states()
50 free_stree(&start_states); in match_end_func()
|
| H A D | smatch_implied.c | 844 free_stree(&pre_stree); in handled_by_comparison_hook()
885 free_stree(&pre_stree); in handled_by_parsed_conditions()
910 free_stree(&pre_stree); in handled_by_stored_conditions()
993 free_stree(&saved_implied_true); in set_implied_states()
1082 free_stree(&implied_true); in param_limit_implications()
1083 free_stree(&implied_false); in param_limit_implications()
1123 free_stree(&extra_states); in __implied_case_stree()
1124 free_stree(&true_states); in __implied_case_stree()
1125 free_stree(&false_states); in __implied_case_stree()
1193 free_stree(&pre_stree); in overwrite_states_using_pool()
[all …]
|
| H A D | smatch_slist.c | 645 free_stree(&stree); in free_stack_and_strees()
765 free_stree(&new); in call_pre_merge_hooks()
778 free_stree(&new); in call_pre_merge_hooks()
885 free_stree(to); in __merge_stree()
1005 free_stree(stree); in filter_stree()
1022 free_stree(&right_stree); in and_stree_stack()
1059 free_stree(&tmp_stree); in or_stree_stack()
1060 free_stree(&pre_stree); in or_stree_stack()
1061 free_stree(&new); in or_stree_stack()
1062 free_stree(&old); in or_stree_stack()
|
| H A D | smatch_returns.c | 102 free_stree(&all_return_states); in match_restore_states()
120 free_stree(&all_return_states); in free_resources()
|
| H A D | smatch_param_limit.c | 62 free_stree(&start_states); in free_start_states()
190 free_stree(&start_states); in match_restore_states()
|
| H A D | smatch_param_filter.c | 47 free_stree(&start_states); in free_start_states()
58 free_stree(&start_states); in match_restore_states()
|
| H A D | check_double_checking.c | 261 free_stree(&to_check); in after_loop()
270 free_stree(&to_check); in match_func_end()
|
| H A D | avl.h | 43 void free_stree(struct stree **avl);
|
| H A D | smatch_ignore.c | 76 free_stree(&ignored); in clear_ignores()
|
| H A D | check_spectre_second_half.c | 110 free_stree(&first_halfs); in match_end_func()
|
| H A D | avl.c | 75 void free_stree(struct stree **avl) in free_stree() function
167 free_stree(avl); in avl_remove()
|
| H A D | check_debug.c | 40 free_stree(&stree); in match_all_values()
787 free_stree(&old_stree); in trace_var()
794 free_stree(&old_stree); in free_old_stree()
|
| H A D | smatch_type_val.c | 61 free_stree(&fn_type_val); in match_inline_end()
652 free_stree(&fn_type_val); in match_after_func()
|
| H A D | check_nospec.c | 218 free_stree(&stree); in mark_user_data_as_nospec()
|
| H A D | smatch_integer_overflow.c | 277 free_stree(&done); in match_call_info()
|
| H A D | smatch_db.c | 989 free_stree(&stree); in match_call_info()
1014 free_stree(&stree); in match_call_info_new()
1098 free_stree(&stree); in caller_info_callback()
1210 free_stree(&stree); in match_data_from_db()
1251 free_stree(&stree); in match_data_from_db()
1260 free_stree(&data.final_states); in match_data_from_db()
|
| H A D | check_atomic_inc_dec.c | 424 free_stree(&start_states); in match_after_func()
|
| H A D | smatch_container_of.c | 614 free_stree(&stree); in load_container_data()
|
| H A D | smatch_kernel_user_data.c | 66 free_stree(&start_states); in free_start_states()
77 free_stree(&start_states); in match_restore_states()
|
| H A D | smatch_flow.c | 642 free_stree(&stree); in handle_pre_loop()
663 free_stree(&stree); in handle_pre_loop()
|
| H A D | check_locking.c | 1224 free_stree(&start_states); in match_after_func()
|