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

Verification error when compiling switch with record patterns

    XMLWordPrintable

Details

    • b10

    Backports

      Description

        Fails with verification error:

            public static int runCheckExpressionWithUnconditionalAndParams(R1 r) {
                switch (r) {
                    case R1(Integer i):
                        return meth_I(i);
                    case R1(Object o):
                        return meth_O(o); // problematic case
                }
            }
            public static int meth_I(Integer i) { return 1; }
            public static int meth_O(Object o) { return 2;}

        Attachments

          Issue Links

            backported by

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8303228 Verification error when compiling switch with record patterns

            • P4 - Minor loss of function, or other problem where easy workaround is present.
            • Resolved

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8303346 Verification error when compiling switch with record patterns

            • P4 - Minor loss of function, or other problem where easy workaround is present.
            • Resolved
            duplicates

            Bug - A problem which impairs or prevents the functions of the product. JDK-8305878 Bug in java 20 deconstruction feature:java.lang.VerifyError: Bad local variable type

            • P3 - Major loss of function.
            • Closed
            links to

            Commit Commit openjdk/jdk20u/cc33209f

            Commit Commit openjdk/jdk/3b05a94c

            Review Review openjdk/jdk20u/6

            Review Review openjdk/jdk/12438

            Activity

              People

                abimpoudis Angelos Bimpoudis
                abimpoudis Angelos Bimpoudis
                Votes:
                0 Vote for this issue
                Watchers:
                4 Start watching this issue

                Dates

                  Created:
                  Updated:
                  Resolved: