@@ -0,0 +1,305 @@
+package npe;%0A%0Apublic class InstanceOf %7B%0A%0A%09public static void test(Object o) %7B%0A%09%09if (o == null) new IllegalArgumentException(%22Forgot to throw this%22);%0A%09%09if (o instanceof String) %7B%0A%09%09%09if (o == null) %0A%09%09%09%09System.out.println(%22This check is redundant%22);%0A%09%09%09return;%0A%09%09%7D%0A%09%09System.out.println(o.hashCode());%0A%09%7D%0A%0A%7D%0A

test case for interaction of null pointer analyis with instanceof