aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorHarald Anlauf <anlauf@gmx.de>2021-11-05 23:48:20 +0100
committerHarald Anlauf <anlauf@gmx.de>2021-11-05 23:48:20 +0100
commitbcf3728abe8488882922005166d3065fc5fdfea1 (patch)
treeede018290948d4e105933f26ff84f78362e53d0a /gcc
parent5f37780372212a7245f0528e46dbeb741316bba1 (diff)
downloadgcc-bcf3728abe8488882922005166d3065fc5fdfea1.zip
gcc-bcf3728abe8488882922005166d3065fc5fdfea1.tar.gz
gcc-bcf3728abe8488882922005166d3065fc5fdfea1.tar.bz2
Fortran: fix simplification of array-valued parameter expressions
gcc/fortran/ChangeLog: PR fortran/102817 * expr.c (simplify_parameter_variable): Copy shape of referenced subobject when simplifying. gcc/testsuite/ChangeLog: PR fortran/102817 * gfortran.dg/pr102817.f90: New test.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/fortran/expr.c2
-rw-r--r--gcc/testsuite/gfortran.dg/pr102817.f9017
2 files changed, 19 insertions, 0 deletions
diff --git a/gcc/fortran/expr.c b/gcc/fortran/expr.c
index 087d822..941d29c 100644
--- a/gcc/fortran/expr.c
+++ b/gcc/fortran/expr.c
@@ -2128,6 +2128,8 @@ simplify_parameter_variable (gfc_expr *p, int type)
if (e == NULL)
return false;
+ gfc_free_shape (&e->shape, e->rank);
+ e->shape = gfc_copy_shape (p->shape, p->rank);
e->rank = p->rank;
if (e->ts.type == BT_CHARACTER && p->ts.u.cl)
diff --git a/gcc/testsuite/gfortran.dg/pr102817.f90 b/gcc/testsuite/gfortran.dg/pr102817.f90
new file mode 100644
index 0000000..c081a69
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr102817.f90
@@ -0,0 +1,17 @@
+! { dg-do compile }
+! PR fortran/102817 - ICE in gfc_clear_shape
+
+program test
+ type t
+ integer :: a(1,2) = 3
+ end type t
+ type(t), parameter :: u = t(4)
+ type(t), parameter :: x(1) = t(4)
+ integer, parameter :: p(1,2) = (x(1)%a)
+ integer :: z(1,2) = (x(1)%a)
+ integer :: y(1,2), v(1,2), w(1,2)
+ v = (u %a)
+ w = x(1)%a
+ y = (x(1)%a)
+ print *, v, w, y, z, p
+end