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

via flang-commits flang-commits at lists.llvm.org
Fri Apr 3 16:47:24 PDT 2026


Author: Valentin Clement (バレンタイン クレメン)
Date: 2026-04-03T23:47:18Z
New Revision: 00d713446e2398358406c1b8824516b23669bff4

URL: https://github.com/llvm/llvm-project/commit/00d713446e2398358406c1b8824516b23669bff4
DIFF: https://github.com/llvm/llvm-project/commit/00d713446e2398358406c1b8824516b23669bff4.diff

LOG: [flang][cuda] Do not flag dummy arg component as host array (#190431)

Added: 
    flang/test/Semantics/cuf25.cuf

Modified: 
    flang/lib/Semantics/check-cuda.cpp

Removed: 
    


################################################################################
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


        


More information about the flang-commits mailing list