diff --git a/infer/src/backend/InferAnalyze.ml b/infer/src/backend/InferAnalyze.ml index cc4698b1335..5ec5b3dc080 100644 --- a/infer/src/backend/InferAnalyze.ml +++ b/infer/src/backend/InferAnalyze.ml @@ -143,6 +143,8 @@ let tasks_generator_builder_for sources = let analyze source_files_to_analyze = + if Config.is_checker_enabled ConfigImpactAnalysis then + L.debug Analysis Quiet "Config impact strict mode: %b@." ConfigImpactAnalysis.strict_mode ; if Int.equal Config.jobs 1 then ( let target_files = List.rev_map (Lazy.force source_files_to_analyze) ~f:(fun sf -> TaskSchedulerTypes.File sf) diff --git a/infer/src/cost/ConfigImpactAnalysis.ml b/infer/src/cost/ConfigImpactAnalysis.ml index b78a8bf3fb4..21139fd9ed4 100644 --- a/infer/src/cost/ConfigImpactAnalysis.ml +++ b/infer/src/cost/ConfigImpactAnalysis.ml @@ -7,7 +7,6 @@ open! IStd module F = Format -module L = Logging module ConfigName = FbGKInteraction.ConfigName let is_in_strict_mode_paths file = @@ -15,17 +14,13 @@ let is_in_strict_mode_paths file = let strict_mode = - let enabled = - Config.config_impact_strict_mode - || - match SourceFile.read_config_changed_files () with - | None -> - not (List.is_empty Config.config_impact_strict_mode_paths) - | Some changed_files -> - SourceFile.Set.exists is_in_strict_mode_paths changed_files - in - L.debug Analysis Quiet "config impact strict mode: %b@." enabled ; - enabled + Config.config_impact_strict_mode + || + match SourceFile.read_config_changed_files () with + | None -> + not (List.is_empty Config.config_impact_strict_mode_paths) + | Some changed_files -> + SourceFile.Set.exists is_in_strict_mode_paths changed_files module Branch = struct