Insert real reason at TODO

hpi-swa-lab · Oct 26, 2024 · 5e2a8da · 5e2a8da
1 parent d083c23
commit 5e2a8da
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/...vm/src/com.oracle.graal.pointsto/src/com/oracle/graal/pointsto/heap/ImageHeapScanner.java b/...vm/src/com.oracle.graal.pointsto/src/com/oracle/graal/pointsto/heap/ImageHeapScanner.java
@@ -336,7 +336,9 @@ private ImageHeapArray createImageHeapObjectArray(JavaConstant constant, Analysi
         /* Read hosted array element values only when the array is initialized. */
         array.constantData.hostedValuesReader = new AnalysisFuture<>(() -> {
             checkSealed(reason, "Trying to materialize an ImageHeapObjectArray for %s after the ImageHeapScanner is sealed.", constant);
-            try (var ignored = CausalityExport.setCause(CausalityEvents.Ignored)) { // TODO
+            var inHeap = CausalityEvents.TypeInHeap.create(type);
+            CausalityExport.registerEdgeFromHeapObject(bb, constant, reason, inHeap);
+            try (var ignored = CausalityExport.setCause(inHeap)) {
                 type.registerAsReachable(reason);
             }
             Object[] elementValues = new Object[length];