usr/src/tools/smatch/src/avl.c

167

free_stree(avl);

usr/src/tools/smatch/src/avl.h

43

void free_stree(struct stree **avl);

usr/src/tools/smatch/src/check_atomic_inc_dec.c

424

free_stree(&start_states);

usr/src/tools/smatch/src/check_debug.c

40

free_stree(&stree);

usr/src/tools/smatch/src/check_debug.c

787

free_stree(&old_stree);

usr/src/tools/smatch/src/check_debug.c

794

free_stree(&old_stree);

usr/src/tools/smatch/src/check_double_checking.c

261

free_stree(&to_check);

usr/src/tools/smatch/src/check_double_checking.c

270

free_stree(&to_check);

usr/src/tools/smatch/src/check_locking.c

1224

free_stree(&start_states);

usr/src/tools/smatch/src/check_nospec.c

218

free_stree(&stree);

usr/src/tools/smatch/src/check_spectre_second_half.c

110

free_stree(&first_halfs);

usr/src/tools/smatch/src/smatch_comparison.c

1344

free_stree(&pre_stree);

usr/src/tools/smatch/src/smatch_conditions.c

218

free_stree(&new);

usr/src/tools/smatch/src/smatch_conditions.c

306

free_stree(&a_T_b_T);

usr/src/tools/smatch/src/smatch_conditions.c

307

free_stree(&a_T_b_F);

usr/src/tools/smatch/src/smatch_conditions.c

312

free_stree(&a_T_b_T);

usr/src/tools/smatch/src/smatch_conditions.c

313

free_stree(&a_T_b_F);

usr/src/tools/smatch/src/smatch_conditions.c

318

free_stree(&a_F_c_T);

usr/src/tools/smatch/src/smatch_conditions.c

319

free_stree(&a_F_c_F);

usr/src/tools/smatch/src/smatch_conditions.c

324

free_stree(&a_F_c_T);

usr/src/tools/smatch/src/smatch_conditions.c

325

free_stree(&a_F_c_F);

usr/src/tools/smatch/src/smatch_conditions.c

334

free_stree(&tmp);

usr/src/tools/smatch/src/smatch_conditions.c

336

free_stree(&tmp);

usr/src/tools/smatch/src/smatch_conditions.c

347

free_stree(&a_T_b_fake);

usr/src/tools/smatch/src/smatch_conditions.c

348

free_stree(&a_F_c_fake);

usr/src/tools/smatch/src/smatch_conditions.c

349

free_stree(&a_F_c_T);

usr/src/tools/smatch/src/smatch_conditions.c

350

free_stree(&a_F_c_F);

usr/src/tools/smatch/src/smatch_conditions.c

351

free_stree(&a_T_b_T);

usr/src/tools/smatch/src/smatch_conditions.c

352

free_stree(&a_T_b_F);

usr/src/tools/smatch/src/smatch_conditions.c

353

free_stree(&a_T);

usr/src/tools/smatch/src/smatch_conditions.c

354

free_stree(&a_F);

usr/src/tools/smatch/src/smatch_conditions.c

584

free_stree(&fake_stree);

usr/src/tools/smatch/src/smatch_conditions.c

599

free_stree(&fake_stree);

usr/src/tools/smatch/src/smatch_conditions.c

603

free_stree(&false_stree);

usr/src/tools/smatch/src/smatch_conditions.c

674

free_stree(&final_states);

usr/src/tools/smatch/src/smatch_container_of.c

614

free_stree(&stree);

usr/src/tools/smatch/src/smatch_db.c

1014

free_stree(&stree);

usr/src/tools/smatch/src/smatch_db.c

1098

free_stree(&stree);

usr/src/tools/smatch/src/smatch_db.c

1210

free_stree(&stree);

usr/src/tools/smatch/src/smatch_db.c

1251

free_stree(&stree);

usr/src/tools/smatch/src/smatch_db.c

1260

free_stree(&data.final_states);

usr/src/tools/smatch/src/smatch_db.c

989

free_stree(&stree);

usr/src/tools/smatch/src/smatch_extra.c

2534

free_stree(&unmatched_stree);

usr/src/tools/smatch/src/smatch_flow.c

642

free_stree(&stree);

usr/src/tools/smatch/src/smatch_flow.c

663

free_stree(&stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

1011

free_stree(&stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

1021

free_stree(&db_info.stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

1123

free_stree(&stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

1199

free_stree(&stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

1205

free_stree(&db_info.stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

289

free_stree(&tmp_stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

297

free_stree(&final_states);

usr/src/tools/smatch/src/smatch_function_hooks.c

334

free_stree(&tmp_stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

347

free_stree(&tmp_stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

379

free_stree(&db_info->implied);

usr/src/tools/smatch/src/smatch_function_hooks.c

674

free_stree(&stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

783

free_stree(&stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

809

free_stree(&stree);

usr/src/tools/smatch/src/smatch_function_hooks.c

823

free_stree(&orig_states);

usr/src/tools/smatch/src/smatch_function_hooks.c

832

free_stree(&true_states);

usr/src/tools/smatch/src/smatch_function_hooks.c

833

free_stree(&false_states);

usr/src/tools/smatch/src/smatch_function_hooks.c

874

free_stree(&implied_true);

usr/src/tools/smatch/src/smatch_function_hooks.c

875

free_stree(&implied_false);

usr/src/tools/smatch/src/smatch_function_hooks.c

934

free_stree(&stree);

usr/src/tools/smatch/src/smatch_ignore.c

76

free_stree(&ignored);

usr/src/tools/smatch/src/smatch_implied.c

1082

free_stree(&implied_true);

usr/src/tools/smatch/src/smatch_implied.c

1083

free_stree(&implied_false);

usr/src/tools/smatch/src/smatch_implied.c

1123

free_stree(&extra_states);

usr/src/tools/smatch/src/smatch_implied.c

1124

free_stree(&true_states);

usr/src/tools/smatch/src/smatch_implied.c

1125

free_stree(&false_states);

usr/src/tools/smatch/src/smatch_implied.c

1193

free_stree(&pre_stree);

usr/src/tools/smatch/src/smatch_implied.c

1201

free_stree(&implied_true);

usr/src/tools/smatch/src/smatch_implied.c

844

free_stree(&pre_stree);

usr/src/tools/smatch/src/smatch_implied.c

885

free_stree(&pre_stree);

usr/src/tools/smatch/src/smatch_implied.c

910

free_stree(&pre_stree);

usr/src/tools/smatch/src/smatch_implied.c

993

free_stree(&saved_implied_true);

usr/src/tools/smatch/src/smatch_implied.c

998

free_stree(&saved_implied_false);

usr/src/tools/smatch/src/smatch_integer_overflow.c

277

free_stree(&done);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

66

free_stree(&start_states);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

77

free_stree(&start_states);

usr/src/tools/smatch/src/smatch_param_filter.c

47

free_stree(&start_states);

usr/src/tools/smatch/src/smatch_param_filter.c

58

free_stree(&start_states);

usr/src/tools/smatch/src/smatch_param_limit.c

190

free_stree(&start_states);

usr/src/tools/smatch/src/smatch_param_limit.c

62

free_stree(&start_states);

usr/src/tools/smatch/src/smatch_param_used.c

107

free_stree(&used_stree);

usr/src/tools/smatch/src/smatch_param_used.c

91

free_stree(&used_stree);

usr/src/tools/smatch/src/smatch_param_used.c

96

free_stree(&used_stree);

usr/src/tools/smatch/src/smatch_returns.c

102

free_stree(&all_return_states);

usr/src/tools/smatch/src/smatch_returns.c

120

free_stree(&all_return_states);

usr/src/tools/smatch/src/smatch_slist.c

1005

free_stree(stree);

usr/src/tools/smatch/src/smatch_slist.c

1022

free_stree(&right_stree);

usr/src/tools/smatch/src/smatch_slist.c

1059

free_stree(&tmp_stree);

usr/src/tools/smatch/src/smatch_slist.c

1060

free_stree(&pre_stree);

usr/src/tools/smatch/src/smatch_slist.c

1061

free_stree(&new);

usr/src/tools/smatch/src/smatch_slist.c

1062

free_stree(&old);

usr/src/tools/smatch/src/smatch_slist.c

645

free_stree(&stree);

usr/src/tools/smatch/src/smatch_slist.c

765

free_stree(&new);

usr/src/tools/smatch/src/smatch_slist.c

778

free_stree(&new);

usr/src/tools/smatch/src/smatch_slist.c

885

free_stree(to);

usr/src/tools/smatch/src/smatch_start_states.c

44

free_stree(&start_states);

usr/src/tools/smatch/src/smatch_start_states.c

50

free_stree(&start_states);

usr/src/tools/smatch/src/smatch_states.c

1019

free_stree(&stree);

usr/src/tools/smatch/src/smatch_states.c

1032

free_stree(&stree);

usr/src/tools/smatch/src/smatch_states.c

1054

free_stree(&stree);

usr/src/tools/smatch/src/smatch_states.c

1104

free_stree(&stree);

usr/src/tools/smatch/src/smatch_states.c

1114

free_stree(&stree);

usr/src/tools/smatch/src/smatch_states.c

1122

free_stree(&cur_stree);

usr/src/tools/smatch/src/smatch_states.c

1131

free_stree(&stree);

usr/src/tools/smatch/src/smatch_states.c

1168

free_stree(&implied_stree);

usr/src/tools/smatch/src/smatch_states.c

1178

free_stree(&stree);

usr/src/tools/smatch/src/smatch_states.c

1197

free_stree(&stree);

usr/src/tools/smatch/src/smatch_states.c

230

free_stree(&stree);

usr/src/tools/smatch/src/smatch_states.c

644

free_stree(&cur_stree);

usr/src/tools/smatch/src/smatch_states.c

755

free_stree(&named_stree->stree);

usr/src/tools/smatch/src/smatch_states.c

797

free_stree(&new_states);

usr/src/tools/smatch/src/smatch_states.c

805

free_stree(&new_states);

usr/src/tools/smatch/src/smatch_states.c

848

free_stree(&cur_stree);

usr/src/tools/smatch/src/smatch_states.c

860

free_stree(&cur_stree);

usr/src/tools/smatch/src/smatch_states.c

906

free_stree(&tmp);

usr/src/tools/smatch/src/smatch_states.c

928

free_stree(&true_states);

usr/src/tools/smatch/src/smatch_states.c

930

free_stree(&cur_stree);

usr/src/tools/smatch/src/smatch_states.c

935

free_stree(&false_states);

usr/src/tools/smatch/src/smatch_states.c

946

free_stree(&cur_stree);

usr/src/tools/smatch/src/smatch_states.c

955

free_stree(&stree);

usr/src/tools/smatch/src/smatch_states.c

964

free_stree(&stree);

usr/src/tools/smatch/src/smatch_type_val.c

61

free_stree(&fn_type_val);

usr/src/tools/smatch/src/smatch_type_val.c

652

free_stree(&fn_type_val);