RFR 8205422: assert(false) failed: Bad verification_type_info

Harold David Seigel harold.seigel at oracle.com
Fri Jun 22 17:49:12 UTC 2018


Please review this fix to prevent the debug build of the JVM from 
failing with an assert when the verifier tries to print a stack map 
containing a bad verification type.  The verifier now prints 
"BAD:<bad-verification-type-number>" for the illegal value type.

For example:

       Stackmap Table:

Open Webrev: http://cr.openjdk.java.net/~hseigel/bug_8205422/webrev/

JBS Bug:  https://bugs.openjdk.java.net/browse/JDK-8205422

This fix was tested with Mach5 tiers 1 and 2 tests and builds on 
Linux-X64, Windows, Solaris Sparc, and Mac OS X, with tiers 3-5 tests on 
Linux-x64, and with JCK-11 Lang and VM tests.

Thanks, Harold

More information about the hotspot-runtime-dev mailing list