Description Nathan Reynolds 2011-12-13 23:44:40 EST

Build Identifier: 20110916-0149

The following gives a "potential null pointer access" warning.  There are no paths out of the while loop where value can be null.  This example is a very simplified version of the actual code that produced the problem.

      Object value;
      
      value = null;
      
      while (true)
      {
         value = new Object();
         
         if (value.hashCode() == 0)
            break;
      }
      
      value.toString();  // Warning here


Reproducible: Always

Steps to Reproduce:
1.  Paste the code in the details into a Java editor
2.  Compile
3.  See the problem/warning show up