From 3846fbd3ee13cb702a20282b0635b8572ae80883 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Fri, 19 Jun 2020 03:57:27 -0700 Subject: [PATCH] delete unused issue ERADICATE_CONDITION_REDUNDANT_NONNULL Summary: Nothing reports it. Reviewed By: dulmarod Differential Revision: D22118765 fbshipit-source-id: bf4348e16 --- infer/man/man1/infer-full.txt | 1 - infer/man/man1/infer-report.txt | 1 - infer/man/man1/infer.txt | 1 - infer/src/base/IssueType.ml | 6 ------ 4 files changed, 9 deletions(-) diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index 51608b311..a6696147c 100644 --- a/infer/man/man1/infer-full.txt +++ b/infer/man/man1/infer-full.txt @@ -408,7 +408,6 @@ OPTIONS EMPTY_VECTOR_ACCESS (enabled by default), ERADICATE_BAD_NESTED_CLASS_ANNOTATION (enabled by default), ERADICATE_CONDITION_REDUNDANT (enabled by default), - ERADICATE_CONDITION_REDUNDANT_NONNULL (enabled by default), ERADICATE_FIELD_NOT_INITIALIZED (enabled by default), ERADICATE_FIELD_NOT_NULLABLE (enabled by default), ERADICATE_FIELD_OVER_ANNOTATED (enabled by default), diff --git a/infer/man/man1/infer-report.txt b/infer/man/man1/infer-report.txt index 03c66c375..760c4b7b3 100644 --- a/infer/man/man1/infer-report.txt +++ b/infer/man/man1/infer-report.txt @@ -133,7 +133,6 @@ OPTIONS EMPTY_VECTOR_ACCESS (enabled by default), ERADICATE_BAD_NESTED_CLASS_ANNOTATION (enabled by default), ERADICATE_CONDITION_REDUNDANT (enabled by default), - ERADICATE_CONDITION_REDUNDANT_NONNULL (enabled by default), ERADICATE_FIELD_NOT_INITIALIZED (enabled by default), ERADICATE_FIELD_NOT_NULLABLE (enabled by default), ERADICATE_FIELD_OVER_ANNOTATED (enabled by default), diff --git a/infer/man/man1/infer.txt b/infer/man/man1/infer.txt index 518b279c9..7620ce269 100644 --- a/infer/man/man1/infer.txt +++ b/infer/man/man1/infer.txt @@ -408,7 +408,6 @@ OPTIONS EMPTY_VECTOR_ACCESS (enabled by default), ERADICATE_BAD_NESTED_CLASS_ANNOTATION (enabled by default), ERADICATE_CONDITION_REDUNDANT (enabled by default), - ERADICATE_CONDITION_REDUNDANT_NONNULL (enabled by default), ERADICATE_FIELD_NOT_INITIALIZED (enabled by default), ERADICATE_FIELD_NOT_NULLABLE (enabled by default), ERADICATE_FIELD_OVER_ANNOTATED (enabled by default), diff --git a/infer/src/base/IssueType.ml b/infer/src/base/IssueType.ml index 3c3b0906c..f64d50cb6 100644 --- a/infer/src/base/IssueType.ml +++ b/infer/src/base/IssueType.ml @@ -467,12 +467,6 @@ let eradicate_condition_redundant = ~user_documentation:[%blob "../../documentation/issues/ERADICATE_CONDITION_REDUNDANT.md"] -(* TODO(T54070503) remove condition redundant nonnull *) -let _ = - register_from_string ~id:"ERADICATE_CONDITION_REDUNDANT_NONNULL" - ~hum:"Condition Redundant Non-Null" Warning Eradicate - - let eradicate_field_not_initialized = register_from_string ~id:"ERADICATE_FIELD_NOT_INITIALIZED" ~hum:"Field Not Initialized" Warning Eradicate