Revert "[infer] add an option to deactivate the list of previously registered checkers"

Reviewed By: jvillard

Differential Revision: D14650603

fbshipit-source-id: 39888b844

infer/man/man1/infer-analyze.txt

@@ -101,10 +101,6 @@ OPTIONS
            --fragment-retains-view, --linters, --liveness, --ownership,
            --racerd, --siof, --uninit (Conversely: --default-checkers)
 
-       --disable-all-checkers
-           Activates: turn off all the previously enabled checkers
-           (Conversely: --no-disable-all-checkers)
-
        --eradicate
            Activates: the eradicate @Nullable checker for Java annotations
            (Conversely: --no-eradicate)

infer/man/man1/infer-full.txt

@@ -262,10 +262,6 @@ OPTIONS
            differential report is desired. Source files should be specified
            relative to project root or be absolute           See also infer-report(1).
 
-       --disable-all-checkers
-           Activates: turn off all the previously enabled checkers
-           (Conversely: --no-disable-all-checkers)           See also infer-analyze(1).
-
        --disable-issue-type +issue_type
            Do not show reports coming from this type of issue. Each checker
            can report a range of issue types. This option provides

infer/man/man1/infer.txt

@@ -262,10 +262,6 @@ OPTIONS
            differential report is desired. Source files should be specified
            relative to project root or be absolute           See also infer-report(1).
 
-       --disable-all-checkers
-           Activates: turn off all the previously enabled checkers
-           (Conversely: --no-disable-all-checkers)           See also infer-analyze(1).
-
        --disable-issue-type +issue_type
            Do not show reports coming from this type of issue. Each checker
            can report a range of issue types. This option provides

infer/src/base/Config.ml

@@ -744,15 +744,6 @@ and ( annotation_reachability
   , uninit )
 
 
-let _disable_all_checkers : bool ref =
-  CLOpt.mk_bool ~long:"disable-all-checkers" "turn off all the previously enabled checkers"
-    ~in_help:InferCommand.[(Analyze, manual_generic)]
-    ~default:false
-    ~f:(fun b ->
-      if b then disable_all_checkers () ;
-      b )
-
-
 and annotation_reachability_custom_pairs =
   CLOpt.mk_json ~long:"annotation-reachability-custom-pairs"
     ~in_help:InferCommand.[(Analyze, manual_java)]