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