[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

@@ -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
+  ()

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"

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