From c7f5b4eddd8b11383074876e45863ae6b92a1357 Mon Sep 17 00:00:00 2001 From: "Steven G. Kargl" Date: Wed, 11 Dec 2019 19:28:57 +0000 Subject: [PATCH] re PR fortran/92897 ([Coarray] ICE in gfc_set_array_spec, at fortran/array.c:864) 2019-12-11 Steven G. Kargl PR fortran/92897 * array.c (gfc_set_array_spec): Remove invalid assert() triggered by invalid Fortran code. 2019-12-11 Steven G. Kargl PR fortran/92897 * gfortran.dg/pr92897.f90: New test. From-SVN: r279247 --- gcc/fortran/ChangeLog | 6 ++++++ gcc/fortran/array.c | 4 ---- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gfortran.dg/pr92897.f90 | 8 ++++++++ 4 files changed, 19 insertions(+), 4 deletions(-) create mode 100644 gcc/testsuite/gfortran.dg/pr92897.f90 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 77675ab72b5..474c0a4b676 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2019-12-11 Steven G. Kargl + + PR fortran/92897 + * array.c (gfc_set_array_spec): Remove invalid assert() triggered + by invalid Fortran code. + 2019-12-10 Thomas Koenig PR fortran/91643 diff --git a/gcc/fortran/array.c b/gcc/fortran/array.c index 36223d2233d..1834d2f98a0 100644 --- a/gcc/fortran/array.c +++ b/gcc/fortran/array.c @@ -859,10 +859,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 57d2a1162c6..120b1cdef1b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2019-12-11 Steven G. Kargl + + PR fortran/92897 + * gfortran.dg/pr92897.f90: New test. + 2019-12-11 Jozef Lawrynowicz * lib/gcc-dg.exp: Add dg-prune messages for when exception handling is diff --git a/gcc/testsuite/gfortran.dg/pr92897.f90 b/gcc/testsuite/gfortran.dg/pr92897.f90 new file mode 100644 index 00000000000..6e0f9836bb4 --- /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" } -- 2.30.2