[linters] Disable hard_coded linters in linters developer mode

Reviewed By: martinoluca

Differential Revision: D4834234

fbshipit-source-id: 65d6390

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

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

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