From 4700f7684c3f1bd22c922798ef110a74a51fd1a8 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Thu, 28 Mar 2019 04:39:42 -0700 Subject: [PATCH] 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 | 4 ---- infer/man/man1/infer-full.txt | 4 ---- infer/man/man1/infer.txt | 4 ---- infer/src/base/Config.ml | 9 --------- 4 files changed, 21 deletions(-) diff --git a/infer/man/man1/infer-analyze.txt b/infer/man/man1/infer-analyze.txt index 084b06131..dd6dbb4bc 100644 --- a/infer/man/man1/infer-analyze.txt +++ b/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) diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index 27781bdb0..43b24784b 100644 --- a/infer/man/man1/infer-full.txt +++ b/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 diff --git a/infer/man/man1/infer.txt b/infer/man/man1/infer.txt index a4e960a3f..811dc89af 100644 --- a/infer/man/man1/infer.txt +++ b/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 diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 6651d66ab..e1f40d486 100644 --- a/infer/src/base/Config.ml +++ b/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)]