Skip to content

CAUTION: This site hosts draft documentation for the next release. For published content of the latest release, visit www.eclipse.org/openj9/docs

-XX:[+|-]VerboseVerification

You can use this option to control the output of verbose diagnostic data that relates to verification.

The Oracle documentation to support this option is no longer available, because it is no longer used by the HotSpot VM. An explanation is provided here.

Syntax

    -XX:[+|-]VerboseVerification
Setting Effect Default
-XX:-VerboseVerification Disable yes
-XX:+VerboseVerification Enable

Use -XX:-VerboseVerification to enable the output of verbose diagnostic data to stderr that is generated during verification from the class file StackMapTable attribute. The data provides extra contextual information about bytecode verification, which helps diagnose bytecode or stackmap deficiencies in the field.

Class files that have StackMapTable attributes (that is, class files that conform to version 50.0 or later of the class file format specification), are introduced in Java™ V6. Class files with StackMapTable attributes are marked as new format in the verbose output, as shown in the example. Class files without the StackMapTable attributes are marked as old format. The StackMapTable diagnostic information is available only to classes verified with the new format.

Here is an example of StackMapTable diagnostic output:

Verifying class java.example.ibm.com with new format
Verifying method java.example.ibm.com.foo(Ljava/lang/String;Ljava/lang/Class;[Ljava/lang/String;Ljava/io/PrintStream;)I
StackMapTable: frame_count = 3
table = {
  bci: @37
  flags: { }
  locals: { 'java/lang/String', 'java/lang/Class', '[Ljava/lang/String;', 'java/io/PrintStream', 'java/lang/Class' }
  stack: { 'java/lang/ThreadDeath' }
  bci: @42
  flags: { }
  locals: { 'java/lang/String', 'java/lang/Class', '[Ljava/lang/String;', 'java/io/PrintStream', 'java/lang/Class' }
  stack: { 'java/lang/Throwable' }
  bci: @79
  flags: { }
  locals: { 'java/lang/String', 'java/lang/Class', '[Ljava/lang/String;', 'java/io/PrintStream', 'java/lang/Class',
        'java/lang/Throwable' }
  stack: { }
 }
End class verification for: java.example.ibm.com