RFR 8205422: assert(false) failed: Bad verification_type_info

coleen.phillimore at oracle.com coleen.phillimore at oracle.com
Mon Jun 25 14:16:00 UTC 2018


http://cr.openjdk.java.net/~hseigel/bug_8205422/webrev/test/hotspot/jtreg/runtime/verifier/stackMapTableTests/StackMapTableTest.java.html

Is -verify the same as -Xverify:all ?

Other than this question, the change looks great.
Coleen

On 6/22/18 1:49 PM, Harold David Seigel wrote:
> Hi,
>
> 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:
>         same_frame(@15)
>         same_locals_1_stack_item_frame(@18,BAD:9)
>         same_frame(@19)
>
> 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