RFR(S) 8046233: VerifyError on backward branch

[harold seigel]

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