From: Steven G. Kargl <kargl@gcc.gnu.org>
Date: Wed, 11 Dec 2019 20:18:17 +0000 (+0000)
Subject: re PR fortran/92897 ([Coarray] ICE in gfc_set_array_spec, at fortran/array.c:864)
X-Git-Tag: releases/gcc-9.3.0~322
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4ee5bc8d5272c3c8a42912b84b4d1e0887225bd4;p=thirdparty%2Fgcc.git

re PR fortran/92897 ([Coarray] ICE in gfc_set_array_spec, at fortran/array.c:864)

2019-12-11 Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/92897
	* array.c (gfc_set_array_spec):  Remove invalid assert() triggered
	by invalid Fortran code.

2019-12-11 Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/92897
	* gfortran.dg/pr92897.f90: New test.

From-SVN: r279249
---

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index d0d71467e7f8..22e34ff59d7b 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2019-12-11 Steven G. Kargl  <kargl@gcc.gnu.org>
+
+	PR fortran/92897
+	* array.c (gfc_set_array_spec):  Remove invalid assert() triggered
+	by invalid Fortran code.
+
 2019-11-29  Harald Anlauf  <anlauf@gmx.de>
 
 	Backport from mainline
diff --git a/gcc/fortran/array.c b/gcc/fortran/array.c
index 6d20cbb9d365..ebce014c28f1 100644
--- a/gcc/fortran/array.c
+++ b/gcc/fortran/array.c
@@ -837,10 +837,6 @@ gfc_set_array_spec (gfc_symbol *sym, gfc_array_spec *as, locus *error_loc)
 
   if (as->corank)
     {
-      /* The "sym" has no corank (checked via gfc_add_codimension). Thus
-	 the codimension is simply added.  */
-      gcc_assert (as->rank == 0 && sym->as->corank == 0);
-
       sym->as->cotype = as->cotype;
       sym->as->corank = as->corank;
       /* Check F2018:C822.  */
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3dbbfc787b6e..4b1d6361476f 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-12-11 Steven G. Kargl  <kargl@gcc.gnu.org>
+
+	PR fortran/92897
+	* gfortran.dg/pr92897.f90: New test.
+
 2019-12-09  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gnat.dg/lto23.adb: New test.
diff --git a/gcc/testsuite/gfortran.dg/pr92897.f90 b/gcc/testsuite/gfortran.dg/pr92897.f90
new file mode 100644
index 000000000000..6e0f9836bb41
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr92897.f90
@@ -0,0 +1,8 @@
+! { dg-do compile }
+! { dg-options "-fcoarray=single" }
+! Test contributed by Gerhard Steinmetz
+type(t) function f()                    ! { dg-error "has not been declared" }
+   dimension :: t(1,2,1,2,1,2,1,2)
+   codimension :: t[1,2,1,2,1,2,1,*]    ! { dg-error "rank \\+ corank of" }
+end
+! { dg-prune-output "which has not been defined" }