Bug 269324

In the following example, the "boolean foo = k instanceof Integer" assignment causes a spurious "Dereferencing possible null pointer" warning to occur on the "k.doubleValue()" expression. This is a bit annoying, and was not the case before. Note that if the assignment to "boolean foo" is replaced by an if statement ("if (k instanceof Integer)"), the warning goes away.

=======================================================
public class TestClass {
  private Number getFoo() {
    return 3;
  }

  public void testFoo() {
    Number k = getFoo();
    // The warning only occurs if this assignment is present.
    boolean foo = k instanceof Integer;
    // Warning on .doubleValue() here: "Dereferencing possible null pointer"
    System.out.println(k.doubleValue());
  }
}
=======================================================