Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8356318

Unexpected VerifyError in AOT training run

XMLWordPrintable

    • Icon: Bug Bug
    • Resolution: Fixed
    • Icon: P4 P4
    • 25
    • 25
    • hotspot
    • b22

      The following command throws unexpected VerifyError

      java -XX:AOTMode=record -cp app.jar VerifierFailOverApp

      class VerifierFailOverApp {
          public static void main(String[] args) throws Throwable {
              Class goodClass = Class.forName("VerifierFailOver_Helper");
              Object obj = goodClass.newInstance();
              System.out.println("Successfully loaded: " + obj.getClass().getName());
          }
      }

      The VerifierFailOver_Helper class has an invalid stackmap but has class version 50. It should be verified by the inference verifier, but -XX:AOTMode=record stops this from happening.

      https://github.com/openjdk/jdk/blob/cbbab07d232ff7d46f91b2df4e1b0ef4f37bba95/src/hotspot/share/classfile/verifier.cpp#L231-L232

      This regression is introduced in JDK-8348426

            iklam Ioi Lam
            iklam Ioi Lam
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: