[gcc r11-10103] Fortran: handle explicit-shape specs with constant bounds [PR105954]

[Harald Anlauf <anlauf@gcc.gnu.org>]

https://gcc.gnu.org/g:7296a7c9aa35a9731a73e33c29f6bbc488a0c837

commit r11-10103-g7296a7c9aa35a9731a73e33c29f6bbc488a0c837
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Mon Jun 20 20:59:55 2022 +0200

    Fortran: handle explicit-shape specs with constant bounds [PR105954]
    
    gcc/fortran/ChangeLog:
    
            PR fortran/105954
            * decl.c (variable_decl): Adjust upper bounds for explicit-shape
            specs with constant bound expressions to ensure non-negative
            extents.
    
    gcc/testsuite/ChangeLog:
    
            PR fortran/105954
            * gfortran.dg/pr105954.f90: New test.
    
    (cherry picked from commit a312407bd715647f7c11b67e0a52effc94d0f15d)

Diff:
---
 gcc/fortran/decl.c                     | 12 ++++++++++++
 gcc/testsuite/gfortran.dg/pr105954.f90 | 26 ++++++++++++++++++++++++++
 2 files changed, 38 insertions(+)

diff --git a/gcc/fortran/decl.c b/gcc/fortran/decl.c
index 602ad3e59bd..60f841d0264 100644
--- a/gcc/fortran/decl.c
+++ b/gcc/fortran/decl.c
@@ -2696,6 +2696,18 @@ variable_decl (int elem)
 		  else
 		    gfc_free_expr (n);
 		}
+	      /* For an explicit-shape spec with constant bounds, ensure
+		 that the effective upper bound is not lower than the
+		 respective lower bound minus one.  Otherwise adjust it so
+		 that the extent is trivially derived to be zero.  */
+	      if (as->lower[i]->expr_type == EXPR_CONSTANT
+		  && as->upper[i]->expr_type == EXPR_CONSTANT
+		  && as->lower[i]->ts.type == BT_INTEGER
+		  && as->upper[i]->ts.type == BT_INTEGER
+		  && mpz_cmp (as->upper[i]->value.integer,
+			      as->lower[i]->value.integer) < 0)
+		mpz_sub_ui (as->upper[i]->value.integer,
+			    as->lower[i]->value.integer, 1);
 	    }
 	}
     }
diff --git a/gcc/testsuite/gfortran.dg/pr105954.f90 b/gcc/testsuite/gfortran.dg/pr105954.f90
new file mode 100644
index 00000000000..89004bf9aa7
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr105954.f90
@@ -0,0 +1,26 @@
+! { dg-do compile }
+! { dg-options "-fdump-tree-original" }
+! PR fortran/105954 - ICE in gfc_element_size, at fortran/target-memory.cc:132
+! Contributed by G.Steinmetz
+
+program p
+  use iso_c_binding, only: c_float, c_sizeof
+  implicit none
+  integer, parameter :: n = -99
+  type t
+     real :: b(3,7:n)
+  end type
+  type, bind(c) :: u
+     real(c_float) :: b(3,7:n)
+  end type
+  type(t) :: d
+  type(u) :: e
+  integer, parameter :: k = storage_size(d)
+  integer, parameter :: m = sizeof(d)
+  integer, parameter :: l = c_sizeof(e)
+  if (k /= 0) stop 1
+  if (m /= 0) stop 2
+  if (l /= 0) stop 3
+end
+
+! { dg-final { scan-tree-dump-not "_gfortran_stop_numeric" "original" } }