Description Tim Van Holder 2007-12-07 12:09:25 EST

Build ID: M20071023-1652

Steps To Reproduce:

import java.util.Random;

public class Bug {

  public static class Dummy { // Only here so I have something to call
    public static int foo() { return new Random().nextInt(); }
    public static int bar() { return new Random().nextInt(); }
    public static int baz() { return new Random().nextInt(); }
  }

  public void bug() {
    RuntimeException e = null;
    while (e != null || Dummy.foo() > 0) {
      if (e != null || Dummy.bar() > 0)
        break; // always breaks out of the loop if e non-null
      if (Dummy.baz() > 0)
        e = new RuntimeException();
    }
    if (e != null)
      throw e;
  }

}

The last if incorrectly states that e is always null.

More information:

This also happens if the test for the break is

      if ( Dummy.bar() > 0)
        break;

but not if it is

      if (e != null)
        break;

So it seems like it is not considering ALL breaks as reasons for a loop condition being true after the loop.