From 93bce54085ebac97a4ad0f6c2235db1d8fdce708 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Tue, 14 Apr 2020 06:48:05 -0700
Subject: [PATCH] [infer-out][3/9] kill proc_stats.json

Summary:
The only accurate entry it contains is the number of files analysed and
we can already get that information from the log file (and console
output).

Reviewed By: dulmarod

Differential Revision: D20894303

fbshipit-source-id: bc180015a
---
 infer/src/backend/InferAnalyze.ml | 15 +--------------
 infer/src/base/Config.ml          |  2 --
 infer/src/base/Config.mli         |  2 --
 3 files changed, 1 insertion(+), 18 deletions(-)

diff --git a/infer/src/backend/InferAnalyze.ml b/infer/src/backend/InferAnalyze.ml
index d0f88a9ea..4f6830a96 100644
--- a/infer/src/backend/InferAnalyze.ml
+++ b/infer/src/backend/InferAnalyze.ml
@@ -59,19 +59,6 @@ let analyze_target : (SchedulerTypes.target, Procname.t) Tasks.doer =
         analyze_source_file exe_env source_file
 
 
-let output_json_makefile_stats files =
-  let num_files = List.length files in
-  let num_procs = 0 in
-  (* can't compute it at this stage *)
-  let num_lines = 0 in
-  let file_stats =
-    `Assoc [("files", `Int num_files); ("procedures", `Int num_procs); ("lines", `Int num_lines)]
-  in
-  (* write stats file to disk, intentionally overwriting old file if it already exists *)
-  let f = Out_channel.create (Filename.concat Config.results_dir Config.proc_stats_filename) in
-  Yojson.Basic.pretty_to_channel f file_stats
-
-
 let source_file_should_be_analyzed ~changed_files source_file =
   (* whether [fname] is one of the [changed_files] *)
   let is_changed_file = Option.map changed_files ~f:(SourceFile.Set.mem source_file) in
@@ -217,4 +204,4 @@ let main ~changed_files =
     (ExecutionDuration.wall_time analysis_duration) ;
   L.debug Analysis Quiet "Collected stats:@\n%a@." BackendStats.pp stats ;
   BackendStats.log_to_scuba stats ;
-  output_json_makefile_stats source_files
+  ()
diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index d8f6933ad..b1d329c89 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -192,8 +192,6 @@ let nsnotification_center_checker_backend = false
 
 let nullsafe_file_level_issues_dir_name = "nullsafe_file_level"
 
-let proc_stats_filename = "proc_stats.json"
-
 let procnames_locks_dir_name = "procnames_locks"
 
 let property_attributes = "property_attributes"
diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli
index ccad9c33c..19447587e 100644
--- a/infer/src/base/Config.mli
+++ b/infer/src/base/Config.mli
@@ -124,8 +124,6 @@ val patterns_skip_translation : string * Yojson.Basic.t
 
 val pp_version : Format.formatter -> unit -> unit
 
-val proc_stats_filename : string
-
 val property_attributes : string
 
 val racerd_issues_dir_name : string