@@ -0,0 +1,415 @@
+package npe;%0A%0Apublic class CheckATHROW %7B%0A%09public void doNotReport(Throwable obj) throws Throwable %7B%0A%09%09throw obj;%0A%09%7D%0A%09%0A%09public void throwNullValueReport(boolean b) throws Throwable %7B%0A%09%09%0A%09%09Throwable t = null;%0A%09%09%0A%09%09if (b) %7B%0A%09%09%09System.out.println(%22Yeah%22);%0A%09%09%7D%0A%09%09%0A%09%09throw t;%0A%09%7D%0A%09%0A%09public void throwPossiblyNullReport(Throwable t) throws Throwable %7B%0A%09%09if (t != null) %7B%0A%09%09%09System.out.println(%22ok%22);%0A%09%09%7D%0A%09%09%0A%09%09throw t;%0A%09%7D%0A%7D%0A

Test that ATHROW instructions are assumed to have a null check.