[flang-commits] [flang] [flang][cuda] Do not flag dummy arg component as host array (PR #190431)

[Valentin Clement バレンタイン クレメン via flang-commits]

https://github.com/clementval created https://github.com/llvm/llvm-project/pull/190431

None

>From 9be13bcb9f9874626df387218708c95472e05a0b Mon Sep 17 00:00:00 2001
From: Valentin Clement <clementval at gmail.com>
Date: Fri, 3 Apr 2026 16:32:06 -0700
Subject: [PATCH] [flang][cuda] Do not flag dummy arg component as host array

---
 flang/lib/Semantics/check-cuda.cpp |  5 ++++-
 flang/test/Semantics/cuf25.cuf     | 14 ++++++++++++++
 2 files changed, 18 insertions(+), 1 deletion(-)
 create mode 100644 flang/test/Semantics/cuf25.cuf

diff --git a/flang/lib/Semantics/check-cuda.cpp b/flang/lib/Semantics/check-cuda.cpp
index d266e1939d1d9..eb91eb8bac81c 100644
--- a/flang/lib/Semantics/check-cuda.cpp
+++ b/flang/lib/Semantics/check-cuda.cpp
@@ -144,6 +144,10 @@ struct FindHostArray
     if (!IsHostArray(symbol)) {
       return nullptr;
     }
+    const Symbol &baseSymbol{x.base().GetFirstSymbol()};
+    if (IsDummy(baseSymbol) && IsCUDADeviceContext(&baseSymbol.owner())) {
+      return nullptr;
+    }
     if (IsAllocatableOrPointer(symbol)) {
       if (Result hostArray{(*this)(symbol)}) {
         return hostArray;
@@ -151,7 +155,6 @@ struct FindHostArray
     } else if (const auto *details{symbol.GetUltimate()
                        .detailsIf<semantics::ObjectEntityDetails>()}) {
       if (details->IsArray()) {
-        const Symbol &baseSymbol{x.base().GetFirstSymbol()};
         if (!IsHostArray(baseSymbol)) {
           return nullptr;
         }
diff --git a/flang/test/Semantics/cuf25.cuf b/flang/test/Semantics/cuf25.cuf
new file mode 100644
index 0000000000000..084ad3ccd4d1c
--- /dev/null
+++ b/flang/test/Semantics/cuf25.cuf
@@ -0,0 +1,14 @@
+! RUN: %python %S/test_errors.py %s %flang_fc1
+
+module m
+  type bar
+    integer, allocatable :: m(:)
+  end type
+contains
+  attributes(global) subroutine g1( a )
+    type(bar) :: a
+    i = threadIdx%x
+    a%m(i) = i
+    return
+  end subroutine
+end module m