@@ -0,0 +1,442 @@
+package sfBugs;%0A%0Aimport javax.annotation.Nonnull;%0A%0A/**%0A * Generates a false redundant null check warning.%0A * %0A * Must set FindBugs to show low priority warnings. %0A */%0A%0Apublic class Bug2800825 %7B%0A%09%0A%09public @Nonnull Object getNonNullValue() %7B%0A%09%09return %22dummy%22;%0A%09%7D%0A%09%0A%09public void falsePositive() %7B%0A%09%09if (null == getNonNullValue()) %7B// BUG - should not generate warning%0A%09%09%09throw new IllegalStateException();%0A%09%09%7D%0A%09%09System.out.println(%22bar%22);%0A%09%7D%0A%0A%7D%0A

add test case for 2800825