Null Pointer Dereference Rule is strange

[Nicht]

At the following code snippet Null Pointer Dereference Rule points to the line with exception throw. It looks inconsistent with rule description.

Code: Select all

public class RunTest {

   /**
    * @param args
    */
   public static void main(String[] args) {
      doSome();
   }

   /**
    * @return
    */
   public static int doSome() {
      throw new IllegalArgumentException("Some"); //Null Pointer Dereference
   }
}

[Brian Wilkerson]

You're right. The rule is reporting a false positive at this point. We'll have a fix for this in the next build.