Skip to content

Commit

Permalink
[infer] Get rid of expensive and unused analyzed_file logging
Browse files Browse the repository at this point in the history
Summary: [infer] Get rid of expensive and unused analyzed_file logging

Reviewed By: ngorogiannis

Differential Revision:
D67086581

Privacy Context Container: L1208441

fbshipit-source-id: a8e4be6ecf4b39be373162e522f609d3ce80a843
  • Loading branch information
geralt-encore authored and facebook-github-bot committed Dec 11, 2024
1 parent 70a41eb commit db3edc7
Showing 1 changed file with 0 additions and 6 deletions.
6 changes: 0 additions & 6 deletions infer/src/backend/InferAnalyze.ml
Original file line number Diff line number Diff line change
Expand Up @@ -124,12 +124,6 @@ let get_source_files_to_analyze ~no_file_means_all ~changed_files =
result
in
let source_files_to_analyze = SourceFiles.get_all ~filter () in
if not Config.incremental_analysis then
(* write a list of files analyzed by this non-incremental analysis, to compute some
statistics on how frequently files are analyzed vs. modified *)
StatsLogging.log_many
@@ List.map source_files_to_analyze ~f:(fun file ->
LogEntry.mk_string ~label:"analyzed_file" ~message:(SourceFile.to_rel_path file) ) ;
StatsLogging.log_count ~label:"source_files_to_analyze" ~value:!n_source_files_to_analyze ;
let pp_n_source_files ~n_total fmt n_to_analyze =
let pp_total_if_not_all fmt n_total =
Expand Down

0 comments on commit db3edc7

Please sign in to comment.