From 6dee89b78615ab442d40b8d87f2010d127b2edce Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Wed, 26 Jun 2019 10:27:42 -0700 Subject: [PATCH] [backend] print what we are doing when invalidating for reanalysis Summary: This can take a minute or so during which the user would have no idea what infer is doing. Reviewed By: ngorogiannis Differential Revision: D16005393 fbshipit-source-id: 586812527 --- infer/src/backend/InferAnalyze.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/infer/src/backend/InferAnalyze.ml b/infer/src/backend/InferAnalyze.ml index 3ce1accb1..da5a7ae2e 100644 --- a/infer/src/backend/InferAnalyze.ml +++ b/infer/src/backend/InferAnalyze.ml @@ -89,7 +89,10 @@ let register_active_checkers () = let main ~changed_files = register_active_checkers () ; - if Config.reanalyze then Summary.reset_all ~filter:(Lazy.force Filtering.procedures_filter) () + if Config.reanalyze then ( + L.progress "Invalidating procedures to be reanalyzed@." ; + Summary.reset_all ~filter:(Lazy.force Filtering.procedures_filter) () ; + L.progress "Done@." ) else DB.Results_dir.clean_specs_dir () ; let n_all_source_files = ref 0 in let n_source_files_to_analyze = ref 0 in