diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index a0f7e46f0..7fee729e2 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1615,6 +1615,7 @@ and classpath = !classpath and cluster_cmdline = !cluster and compute_analytics = !compute_analytics and continue_capture = !continue +and default_linters = !default_linters and linters_ignore_clang_failures = !linters_ignore_clang_failures and copy_propagation = !copy_propagation and crashcontext = !crashcontext diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli index c21bddf3f..719ad00bd 100644 --- a/infer/src/base/Config.mli +++ b/infer/src/base/Config.mli @@ -202,6 +202,7 @@ val clang_include_to_override : string option val cluster_cmdline : string option val compute_analytics : bool val continue_capture : bool +val default_linters : bool val linters_ignore_clang_failures : bool val copy_propagation : bool val crashcontext : bool diff --git a/infer/src/clang/cFrontend_errors.ml b/infer/src/clang/cFrontend_errors.ml index 6dce6be54..2514ff1f7 100644 --- a/infer/src/clang/cFrontend_errors.ml +++ b/infer/src/clang/cFrontend_errors.ml @@ -376,4 +376,4 @@ let invoke_set_of_checkers_on_node context an = Because depending on the formula it may give an error at line -1 *) () | _ -> invoke_set_of_parsed_checkers_an !parsed_linters context an); - invoke_set_of_hard_coded_checkers_an context an + if Config.default_linters then invoke_set_of_hard_coded_checkers_an context an