From 1cd4b4cc38bba5cd727efe003b6c9bd8197cb76b Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Wed, 29 Mar 2017 11:33:48 -0700 Subject: [PATCH] [infer][checkers] Do not run the reapeted call checker by default Summary: This checker was always running by default but was apparently never reporting. This checkers can always be run using: infer -a checkers --checkers-repeated-calls -- ... Reviewed By: sblackshear Differential Revision: D4782472 fbshipit-source-id: 5ec77f4 --- infer/src/base/Config.ml | 2 +- infer/src/checkers/registerCheckers.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 75ae99be4..4e3a0f95b 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1587,7 +1587,7 @@ and changed_files_index = !changed_files_index and calls_csv = !calls_csv and dump_duplicate_symbols = !dump_duplicate_symbols and checkers = !checkers -and checkers_repeated_calls = !checkers_repeated_calls +and checkers_repeated_calls = !checkers && !checkers_repeated_calls and clang_biniou_file = !clang_biniou_file and clang_include_to_override = !clang_include_to_override and classpath = !classpath diff --git a/infer/src/checkers/registerCheckers.ml b/infer/src/checkers/registerCheckers.ml index 43f8c17cf..cbe75b15b 100644 --- a/infer/src/checkers/registerCheckers.ml +++ b/infer/src/checkers/registerCheckers.ml @@ -35,7 +35,7 @@ let active_procedure_checkers () = JavaTaintAnalysis.checker, Config.quandary; Checkers.callback_check_field_access, false; ImmutableChecker.callback_check_immutable_cast, Config.checkers_enabled; - RepeatedCallsChecker.callback_check_repeated_calls, Config.checkers_enabled; + RepeatedCallsChecker.callback_check_repeated_calls, Config.checkers_repeated_calls; PrintfArgs.callback_printf_args, Config.checkers_enabled; AnnotationReachability.checker, Config.checkers_enabled; BufferOverrunChecker.checker, Config.bufferoverrun;