From 5aed10f06a17a1ed18622cf871b75d42fda350e7 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Thu, 2 Apr 2020 03:45:46 -0700
Subject: [PATCH] [config] delete dead stats dir names

Summary: Dead since D20343087.

Reviewed By: ngorogiannis

Differential Revision: D20795360

fbshipit-source-id: d6a5fedd8
---
 infer/src/base/Config.ml     | 6 ------
 infer/src/base/Config.mli    | 6 ------
 infer/src/base/ResultsDir.ml | 3 +--
 3 files changed, 1 insertion(+), 14 deletions(-)

diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index 4d2206720..2c2c84580 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -102,8 +102,6 @@ let anonymous_block_prefix = "objc_block"
 
 let assign = "<\"Assign\">"
 
-let backend_stats_dir_name = "backend_stats"
-
 (** If true, a procedure call succeeds even when there is a bound error this mimics what happens
     with a direct array access where an error is produced and the analysis continues *)
 let bound_error_allowed_in_procedure_call = true
@@ -138,8 +136,6 @@ let trace_events_file = "perf_events.json"
 (** exit code to use for the --fail-on-issue option *)
 let fail_on_issue_exit_code = 2
 
-let frontend_stats_dir_name = "frontend_stats"
-
 let global_tenv_filename = ".global.tenv"
 
 (** If true, treat calls to no-arg getters as idempotent w.r.t non-nullness *)
@@ -218,8 +214,6 @@ let report_nullable_inconsistency = true
 
 let report_txt = "report.txt"
 
-let reporting_stats_dir_name = "reporting_stats"
-
 let retain_cycle_dotty_dir = "retain_cycle_dotty"
 
 (** If true, compact summaries before saving *)
diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli
index 3d07db54e..cee80e652 100644
--- a/infer/src/base/Config.mli
+++ b/infer/src/base/Config.mli
@@ -43,8 +43,6 @@ val append_buck_flavors : string list
 
 val assign : string
 
-val backend_stats_dir_name : string
-
 val biabduction_models_dir : string
 
 val biabduction_models_jar : string
@@ -87,8 +85,6 @@ val fail_on_issue_exit_code : int
 
 val fcp_dir : string
 
-val frontend_stats_dir_name : string
-
 val global_tenv_filename : string
 
 val idempotent_getters : bool
@@ -157,8 +153,6 @@ val report_nullable_inconsistency : bool
 val report_txt : string
 (** name of the file inside infer-out/ containing the issues as human-readable text *)
 
-val reporting_stats_dir_name : string
-
 val retain_cycle_dotty_dir : string
 
 val save_compact_summaries : bool
diff --git a/infer/src/base/ResultsDir.ml b/infer/src/base/ResultsDir.ml
index c75a98e76..7e5f8d21f 100644
--- a/infer/src/base/ResultsDir.ml
+++ b/infer/src/base/ResultsDir.ml
@@ -37,8 +37,7 @@ let non_empty_directory_exists results_dir =
 let dirs_to_clean ~cache_capture =
   let open Config in
   let common_list =
-    [backend_stats_dir_name; classnames_dir_name; frontend_stats_dir_name; reporting_stats_dir_name]
-    @ FileLevelAnalysisIssueDirs.get_registered_dir_names ()
+    [classnames_dir_name] @ FileLevelAnalysisIssueDirs.get_registered_dir_names ()
   in
   if cache_capture then common_list else captured_dir_name :: common_list