[flang-commits] [flang] [Flang][OpenMP] Fix implicit symbol resolution for USE-renamed arrays (PR #189215)

[Aditya Trivedi via flang-commits]

https://github.com/adit4443ya updated https://github.com/llvm/llvm-project/pull/189215

>From 6486f5a97da41792e6a41029b4d38e5dce980f91 Mon Sep 17 00:00:00 2001
From: Aditya Trivedi <adit4443ya at gmail.com>
Date: Sun, 5 Apr 2026 11:26:59 +0000
Subject: [PATCH] [Flang][OpenMP] Fix rank mismatch for USE-renamed arrays in
 OpenMP regions When a module array is imported with a local alias via USE
 renaming (e.g. USE mod, ONLY: s_ary => ary), the OpenMP implicit symbol
 resolution was incorrectly creating the new scoped symbol using the ultimate
 symbol's name ("ary") rather than the local alias ("s_ary"). This is fixed by
 maintaining host-association directly to the local USE-renamed symbol
 (ensuring local scope modifications track correctly) instead of bypassing it
 for the ultimate origin symbol, resolving the dimension collision error.
 Fixes #185344

---
 flang/lib/Semantics/resolve-directives.cpp    |  5 ++-
 .../Semantics/OpenMP/use-rename-array-dsa.f90 | 40 +++++++++++++++++++
 2 files changed, 44 insertions(+), 1 deletion(-)
 create mode 100644 flang/test/Semantics/OpenMP/use-rename-array-dsa.f90

diff --git a/flang/lib/Semantics/resolve-directives.cpp b/flang/lib/Semantics/resolve-directives.cpp
index fb241d2606b47..e7d732e3eedce 100644
--- a/flang/lib/Semantics/resolve-directives.cpp
+++ b/flang/lib/Semantics/resolve-directives.cpp
@@ -2736,8 +2736,11 @@ void OmpAttributeVisitor::CreateImplicitSymbols(
     // This would make x appear to be defined in p2, causing it to be
     // privatized in p2 and its privatization in p1 to be skipped.
     auto makeSymbol = [&](Symbol::Flags flags) {
+      const Symbol *ultimate = &symbol->GetUltimate();
+      const bool isRenamed =
+          symbol->name().ToString() != ultimate->name().ToString();
       const Symbol *hostSymbol =
-          lastDeclSymbol ? lastDeclSymbol : &symbol->GetUltimate();
+          lastDeclSymbol ? lastDeclSymbol : (isRenamed ? symbol : ultimate);
       assert(flags.LeastElement());
       Symbol::Flag flag = *flags.LeastElement();
       lastDeclSymbol = DeclareNewAccessEntity(
diff --git a/flang/test/Semantics/OpenMP/use-rename-array-dsa.f90 b/flang/test/Semantics/OpenMP/use-rename-array-dsa.f90
new file mode 100644
index 0000000000000..f17584609a273
--- /dev/null
+++ b/flang/test/Semantics/OpenMP/use-rename-array-dsa.f90
@@ -0,0 +1,40 @@
+! RUN: %python %S/../test_errors.py %s %flang_fc1 -fopenmp
+
+! Check that compiling a USE-renamed array inside an OpenMP construct
+! does not trigger a dimension mismatch error against the original symbol name.
+! Also serves as a check that host-association for implicitly scoped variables
+! links against the local 'use' alias symbol correctly.
+
+module mod1
+  implicit none
+  real(8), allocatable :: ary(:,:,:)
+end module mod1
+
+module mod2
+  implicit none
+  real(8), allocatable :: ary(:,:,:,:,:)
+end module mod2
+
+module mod3
+  implicit none
+contains
+  subroutine sub(arg)
+    use mod1, only: s_ary => ary
+    use mod2, only: ary
+    implicit none
+    integer(4), intent(in) :: arg
+    integer(4) :: i, j, k
+    integer(4) :: xx, yy, zs, ze, mm
+
+    !$omp parallel do
+    do j = 0, yy+1
+      do i = 0, xx+1
+        do k = zs, ze
+          s_ary(k,i,j) = s_ary(k,i,j) + ary(k,-1,i,j,mm)
+          ary(k,-1,i,j,mm) = 0._8
+        end do
+      end do
+    end do
+    !$omp end parallel do
+  end subroutine sub
+end module mod3