RFR(S) 8046233: VerifyError on backward branch

Coleen Phillimore coleen.phillimore at oracle.com
Thu Jul 10 23:10:34 UTC 2014


This comment in stackMapFrame.hpp seems orphaned since the function was 
removed.

*     // Search local variable type array and stack type array.*

The code change appears to match your description as much as I 
understand it.

Thanks,
Coleen


On 6/23/14, 4:42 PM, 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



More information about the hotspot-runtime-dev mailing list