Mark array types of elemental-type-supertypes as reachable

substratevm/src/com.oracle.graal.pointsto/src/com/oracle/graal/pointsto/meta/AnalysisType.java

@@ -582,11 +582,22 @@ public void registerAsReachable() {
                 registerAsAllocated(null);
 
                 componentType.registerAsReachable();
-                if (elementalType.isInterface()) {
-                    universe.objectType().getArrayClass(dimension).registerAsReachable();
-                }
-                if (dimension >= 2) {
-                    universe.objectType().getArrayClass(dimension - 1).registerAsReachable();
+
+                /*
+                 * For a class B extends A, the array type A[] is not a superclass of the array type
+                 * B[]. So there is no strict need to make A[] reachable when B[] is reachable. But
+                 * it turns out that this is puzzling for users, and there are frameworks that
+                 * instantiate such arrays programmatically using Array.newInstance(). To reduce the
+                 * amount of manual configuration that is necessary, we mark all array types of the
+                 * elemental supertypes and superinterfaces also as reachable.
+                 */
+                for (int i = 1; i <= dimension; i++) {
+                    if (elementalType.superClass != null) {
+                        elementalType.superClass.getArrayClass(i).registerAsReachable();
+                    }
+                    for (AnalysisType iface : elementalType.interfaces) {
+                        iface.getArrayClass(i).registerAsReachable();
+                    }
                 }
             }