From 618f64cab40186ee45ab45aa025f9ba930b43445 Mon Sep 17 00:00:00 2001
From: Marc Chevalier <marc.chevalier@oracle.com>
Date: Mon, 6 Jul 2026 11:10:05 +0200
Subject: [PATCH] Trying something

---
 src/hotspot/share/ci/ciTypeFlow.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/hotspot/share/ci/ciTypeFlow.cpp b/src/hotspot/share/ci/ciTypeFlow.cpp
index 073e2788ba2..257e4d57752 100644
--- a/src/hotspot/share/ci/ciTypeFlow.cpp
+++ b/src/hotspot/share/ci/ciTypeFlow.cpp
@@ -608,7 +608,11 @@ void ciTypeFlow::StateVector::do_aload(ciBytecodeStream* str) {
          (Deoptimization::Reason_unloaded,
           Deoptimization::Action_reinterpret));
   } else {
-    push_object(element_klass);
+    ciType* maybe_null_free_element_klass = element_klass;
+    if (array_klass->is_null_free()) {
+      maybe_null_free_element_klass = outer()->mark_as_null_free(element_klass);
+    }
+    push(maybe_null_free_element_klass);
   }
 }