Modify test

Author: EnzeXing

compiler/src/dotty/tools/dotc/transform/init/Objects.scala

@@ -791,9 +791,6 @@ class Objects(using Context @constructorOnly):
         else if target.equals(defn.Predef_classOf) then
           // Predef.classOf is a stub method in tasty and is replaced in backend
           UnknownValue
-        else if target.equals(defn.ClassTagModule_apply) then
-          // ClassTag and other reflection related values are not analyzed
-          UnknownValue
         else if target.hasSource then
           val cls = target.owner.enclosingClass.asClass
           val ddef = target.defTree.asInstanceOf[DefDef]
@@ -1389,7 +1386,9 @@ class Objects(using Context @constructorOnly):
         val meth = defn.getWrapVarargsArrayModule.requiredMethod(wrapArrayMethodName)
         val module = defn.getWrapVarargsArrayModule.moduleClass.asClass
         val args = evalArgs(elems.map(Arg.apply), thisV, klass)
-        call(ObjectRef(module), meth, args, module.typeRef, NoType)
+        val arr = OfArray(State.currentObject, summon[Regions.Data])
+        Heap.writeJoin(arr.addr, args.map(_.value).join)
+        call(ObjectRef(module), meth, List(ArgInfo(arr, summon[Trace], EmptyTree)), module.typeRef, NoType)
 
       case Inlined(call, bindings, expansion) =>
         evalExprs(bindings, thisV, klass)

tests/init-global/warn/mutable-array.check

@@ -1,11 +1,11 @@
--- Warning: tests/init-global/warn/mutable-array.scala:8:19 ------------------------------------------------------------
-8 |  val x: Int = box.value // warn
+-- Warning: tests/init-global/warn/mutable-array.scala:9:19 ------------------------------------------------------------
+9 |  val x: Int = box.value // warn
   |               ^^^^^^^^^
   |Reading mutable state of object A during initialization of object B.
   |Reading mutable state of other static objects is forbidden as it breaks initialization-time irrelevance. Calling trace:
   |├── object B:	[ mutable-array.scala:5 ]
   |│   ^
-  |└── val x: Int = box.value // warn	[ mutable-array.scala:8 ]
+  |└── val x: Int = box.value // warn	[ mutable-array.scala:9 ]
   |                 ^^^^^^^^^
   |The mutable state is created through: 
   |├── object A:	[ mutable-array.scala:1 ]

tests/init-global/warn/mutable-array.scala

@@ -3,6 +3,7 @@ object A:
   val box: Box = new Box(0)
 
 object B:
-  val boxes: Array[A.Box] = Array(A.box)
+  val boxes = new Array[A.Box](2)
+  boxes(0) = A.box
   val box: A.Box = boxes(0)
   val x: Int = box.value // warn