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

[via flang-commits]

llvmbot wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-flang-semantics

Author: Valentin Clement (バレンタイン クレメン) (clementval)

<details>
<summary>Changes</summary>



---
Full diff: https://github.com/llvm/llvm-project/pull/190431.diff


2 Files Affected:

- (modified) flang/lib/Semantics/check-cuda.cpp (+4-1) 
- (added) flang/test/Semantics/cuf25.cuf (+14) 


``````````diff
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

``````````

</details>


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