[flang-commits] [PATCH] D125153: [flang] Enforce limit on rank + corank

[Peter Klausler via Phabricator via flang-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rG940871dd289c: [flang] Enforce limit on rank + corank (authored by klausler).

Changed prior to commit:
  https://reviews.llvm.org/D125153?vs=427804&id=428400#toc

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D125153/new/

https://reviews.llvm.org/D125153

Files:
  flang/include/flang/Evaluate/real.h
  flang/lib/Semantics/check-declarations.cpp
  flang/test/Semantics/maxrank.f90


Index: flang/test/Semantics/maxrank.f90
===================================================================
--- /dev/null
+++ flang/test/Semantics/maxrank.f90
@@ -0,0 +1,31 @@
+! RUN: %python %S/test_errors.py %s %flang_fc1
+! Enforce limits on rank + corank
+module m
+  !ERROR: 'x' has rank 16, which is greater than the maximum supported rank 15
+  real :: x(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1)
+  !ERROR: 'y' has rank 16, which is greater than the maximum supported rank 15
+  real, allocatable :: y(:,:,:,:,:,:,:,:,:,:,:,:,:,:,:,:)
+  !ERROR: 'z' has rank 16, which is greater than the maximum supported rank 15
+  real, pointer :: z(:,:,:,:,:,:,:,:,:,:,:,:,:,:,:,:)
+  !ERROR: 'w' has rank 16, which is greater than the maximum supported rank 15
+  real, dimension(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) :: w
+  !ERROR: 'a' has rank 15 and corank 1, whose sum is greater than the maximum supported rank 15
+  real :: a(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1)[*]
+  !ERROR: 'b' has rank 14 and corank 2, whose sum is greater than the maximum supported rank 15
+  real :: b(1,1,1,1,1,1,1,1,1,1,1,1,1,1)[1,*]
+  !ERROR: 'c' has rank 14 and corank 2, whose sum is greater than the maximum supported rank 15
+  real :: c
+  dimension :: c(1,1,1,1,1,1,1,1,1,1,1,1,1,1)
+  codimension :: c[1,*]
+  interface
+    !ERROR: 'foo' has rank 16, which is greater than the maximum supported rank 15
+    real function foo()
+      dimension :: foo(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1)
+    end function
+  end interface
+ contains
+  function bar() result(res)
+    !ERROR: 'res' has rank 16, which is greater than the maximum supported rank 15
+    real :: res(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1)
+  end function
+end module
Index: flang/lib/Semantics/check-declarations.cpp
===================================================================
--- flang/lib/Semantics/check-declarations.cpp
+++ flang/lib/Semantics/check-declarations.cpp
@@ -457,6 +457,17 @@
   CheckArraySpec(symbol, details.shape());
   Check(details.shape());
   Check(details.coshape());
+  if (details.shape().Rank() > common::maxRank) {
+    messages_.Say(
+        "'%s' has rank %d, which is greater than the maximum supported rank %d"_err_en_US,
+        symbol.name(), details.shape().Rank(), common::maxRank);
+  } else if (details.shape().Rank() + details.coshape().Rank() >
+      common::maxRank) {
+    messages_.Say(
+        "'%s' has rank %d and corank %d, whose sum is greater than the maximum supported rank %d"_err_en_US,
+        symbol.name(), details.shape().Rank(), details.coshape().Rank(),
+        common::maxRank);
+  }
   CheckAssumedTypeEntity(symbol, details);
   WarnMissingFinal(symbol);
   if (!details.coshape().empty()) {
Index: flang/include/flang/Evaluate/real.h
===================================================================
--- flang/include/flang/Evaluate/real.h
+++ flang/include/flang/Evaluate/real.h
@@ -135,10 +135,6 @@
   ValueWithRealFlags<Real> MODULO(
       const Real &, Rounding rounding = defaultRounding) const;
 
-  // DIM(X,Y) = MAX(X-Y, 0)
-  ValueWithRealFlags<Real> DIM(
-      const Real &, Rounding rounding = defaultRounding) const;
-
   template <typename INT> constexpr INT EXPONENT() const {
     if (Exponent() == maxExponent) {
       return INT::HUGE();


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D125153.428400.patch
Type: text/x-patch
Size: 3262 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20220510/77d276c5/attachment-0001.bin>