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;