Description Joachim Sauer 2008-09-23 13:53:35 EDT

Build ID: I20080617-2000

Steps To Reproduce:
1. Compile the following Class using Eclipse ecj:

public class Foo {
	public static void main(final String[] args) {
		new Foo().verifyError();
	}
	private Object verifyError() {
		try {
			if (someBooleanMethod()) {
				return null;
			}

			return getStuff();
		} catch (final Exception ex) {
			return null;
		} finally {
			while (someBooleanMethod()) {
				anyMethod();
			}
		}
	}
	private void anyMethod() {
		// do nothing
	}
	private Object getStuff() {
		return null;
	}
	private boolean someBooleanMethod() {
		return false;
	}
}

2. Try to run it (I tried it using Sun Java 1.5.0_15)
3. Get VerifyError instead of boring, no-output execution:

java.lang.VerifyError: (class: Foo, method: verifyError signature: ()Ljava/lang/Object;) Accessing value from uninitialized register 3


More information:
This is as far as I could break down the test case (the original code was much more complex). Now when I change anything the VerifyError goes away.