RFR 8205422: assert(false) failed: Bad verification_type_info

[Harold David Seigel]

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