RFR(S) 8046233: VerifyError on backward branch

[David Holmes]

Hi Harold,

Are the verification rules dependent on the VM or the version of the 
classfile being verified?

Thanks,
David

On 24/06/2014 6:42 AM, harold seigel wrote:
> Hi,
>
> Please review this small fix for bug 8046233.  The fix removes the
> verifier check concerning backward branches and uninitialized objects
> because, as discussed in the bug report, the requirement has been
> removed from JVM Specification 8.
>
> Bug: https://bugs.openjdk.java.net/browse/JDK-8046233
> Open webrev: http://cr.openjdk.java.net/~hseigel/bug_8046233/
>
> The fix was tested with the JCK lang and vm tests, the default method
> tests, the UTE verifier and quick tests, the JTREG hotspot tests, and a
> test that reproduced the problem.
>
> Thanks, Harold