classfile reader: allow CONSTANT_Dynamic in constant pool

SethTisue · SethTisue · commit b7cdf2716714 · 2024-01-25T18:18:00.000-05:00
diff --git a/src/compiler/scala/tools/nsc/symtab/classfile/ClassfileParser.scala b/src/compiler/scala/tools/nsc/symtab/classfile/ClassfileParser.scala
@@ -212,7 +212,7 @@ abstract class ClassfileParser(reader: ReusableInstance[ReusableDataReader]) {
           case CONSTANT_METHODHANDLE                                           => in skip 3
           case CONSTANT_FIELDREF | CONSTANT_METHODREF | CONSTANT_INTFMETHODREF => in skip 4
           case CONSTANT_NAMEANDTYPE | CONSTANT_INTEGER | CONSTANT_FLOAT        => in skip 4
-          case CONSTANT_INVOKEDYNAMIC                                          => in skip 4
+          case CONSTANT_DYNAMIC | CONSTANT_INVOKEDYNAMIC                       => in skip 4
           case CONSTANT_LONG | CONSTANT_DOUBLE                                 => in skip 8 ; i += 1
           case _                                                               => errorBadTag(in.bp - 1)
         }
diff --git a/src/reflect/scala/reflect/internal/ClassfileConstants.scala b/src/reflect/scala/reflect/internal/ClassfileConstants.scala
@@ -81,6 +81,7 @@ object ClassfileConstants {
   final val CONSTANT_NAMEANDTYPE   = 12
   final val CONSTANT_METHODHANDLE  = 15
   final val CONSTANT_METHODTYPE    = 16
+  final val CONSTANT_DYNAMIC       = 17
   final val CONSTANT_INVOKEDYNAMIC = 18
   final val CONSTANT_MODULE        = 19
   final val CONSTANT_PACKAGE       = 20
diff --git a/test/files/pos/t12396/A_1.java b/test/files/pos/t12396/A_1.java
@@ -0,0 +1,17 @@
+// javaVersion: 21+
+
+public class A_1 {
+  public int f(Object s) {
+    switch(s) {
+      case Res.R -> {
+        return 1;
+      }
+      default -> {
+        return 3;
+      }
+    }
+  }
+  static enum Res {
+    R
+  }
+}
diff --git a/test/files/pos/t12396/B_2.scala b/test/files/pos/t12396/B_2.scala
@@ -0,0 +1,5 @@
+// javaVersion: 21+
+
+class B {
+  def bar = (new A_1).f(null)
+}

Original file line number	Diff line number	Diff line change
`@@ -212,7 +212,7 @@ abstract class ClassfileParser(reader: ReusableInstance[ReusableDataReader]) {`
`212`	`212`	`case CONSTANT_METHODHANDLE => in skip 3`
`213`	`213`	`case CONSTANT_FIELDREF \| CONSTANT_METHODREF \| CONSTANT_INTFMETHODREF => in skip 4`
`214`	`214`	`case CONSTANT_NAMEANDTYPE \| CONSTANT_INTEGER \| CONSTANT_FLOAT => in skip 4`
`215`		`- case CONSTANT_INVOKEDYNAMIC => in skip 4`
	`215`	`+ case CONSTANT_DYNAMIC \| CONSTANT_INVOKEDYNAMIC => in skip 4`
`216`	`216`	`case CONSTANT_LONG \| CONSTANT_DOUBLE => in skip 8 ; i += 1`
`217`	`217`	`case _ => errorBadTag(in.bp - 1)`
`218`	`218`	`}`