Description Carsten Friedrich 2011-08-11 21:59:26 EDT

Build Identifier: Build id: 20110615-0604

The following code gives a "Potential Null Pointer Access" warning for the line "b.toString()" although "b" can't possibly be null at that point. Note that the example is artificial to make it concise (and thus does not make much sense), but based on a real-world case (in which cond, c, cond2, and d are not parameters but computed in the while loop) with the same problem.

public class FalseWarning {
  static void f(boolean cond, Object c, boolean cond2, Object d) {
    while (true) {
      Object a=null;
      Object b=null;
      
      if(cond) {
        a=c;
      }
      
      if(cond2) {
        b=d;
      }
      
      if (a == null && b == null)
        break;

      if (a == null)
        b.toString();
    }
  }
}


Reproducible: Always

Steps to Reproduce:
1. Create new Java Project
2. Create class with content listed above