From ea463ce960624fa84bab8c471abba4a8a325da41 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Wed, 26 Sep 2018 02:39:20 -0700 Subject: [PATCH] [kill -a][2/4] always register checkers in `InferAnalyze` Summary: If we get to that point, it means we already want to run the analysis so no need for this check. Reviewed By: mbouaziz Differential Revision: D9942702 fbshipit-source-id: e89e22c91 --- infer/src/backend/InferAnalyze.ml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/infer/src/backend/InferAnalyze.ml b/infer/src/backend/InferAnalyze.ml index caa51804a..45bf74381 100644 --- a/infer/src/backend/InferAnalyze.ml +++ b/infer/src/backend/InferAnalyze.ml @@ -60,11 +60,7 @@ let source_file_should_be_analyzed ~changed_files source_file = let register_active_checkers () = - match Config.analyzer with - | Checkers | Crashcontext -> - RegisterCheckers.get_active_checkers () |> RegisterCheckers.register - | CaptureOnly | CompileOnly | Linters -> - () + RegisterCheckers.get_active_checkers () |> RegisterCheckers.register let main ~changed_files =