diff --git a/infer/tests/ant_report.json b/infer/tests/ant_report.json index 3e9b060ff..f06f3a304 100644 --- a/infer/tests/ant_report.json +++ b/infer/tests/ant_report.json @@ -612,5 +612,10 @@ "type": "RESOURCE_LEAK", "procedure": "void WriterLeaks.pipedWriterNotClosedAfterConnect(PipedReader)", "file": "codetoanalyze/java/infer/WriterLeaks.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.shouldNotReportNPE()", + "file": "codetoanalyze/java/infer/NullPointerExceptions.java" } ] diff --git a/infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java b/infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java index fb6c5df26..9789765fe 100644 --- a/infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java +++ b/infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java @@ -419,4 +419,10 @@ public class NullPointerExceptions { derefUndefinedCallee().toString(); } + @SuppressWarnings("null") // TODO(#8647398): Add support for @SuppressWarnings with Ant + void shouldNotReportNPE() { + Object o = null; + o.toString(); + } + }