re PR fortran/70071 (ICE on wrong usage of a subscript triplet)

2017-07-06  Harald Anlauf  <anlauf@gmx.de>

	PR fortran/70071
	* array.c (gfc_ref_dimen_size): Handle bad subscript triplets.

2017-07-06  Harald Anlauf  <anlauf@gmx.de>

	PR fortran/70071
	* gfortran.dg/coarray_44.f90: New testcase.

From-SVN: r250039

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 692b8ff57f45af87af6ea24d2e7fc66e86f79518..dc89407d4c565004386968c701f9459035380e51 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2017-07-06  Harald Anlauf  <anlauf@gmx.de>
+
+       PR fortran/70071
+       * array.c (gfc_ref_dimen_size): Handle bad subscript triplets.
+
 2017-07-03  Dominique d'Humieres  <dominiq@lps.ens.fr>
 
        PR fortran/79866

diff --git a/gcc/fortran/array.c b/gcc/fortran/array.c
index 30656c197d07ce30a888ff01682afdd40ca46ed1..46642bb5d978aad57f127fa0410edf54a575e3c6 100644 (file)
--- a/gcc/fortran/array.c
+++ b/gcc/fortran/array.c
@@ -2203,9 +2203,15 @@ gfc_ref_dimen_size (gfc_array_ref *ar, int dimen, mpz_t *result, mpz_t *end)
   bool t;
   gfc_expr *stride_expr = NULL;
 
-  if (dimen < 0 || ar == NULL || dimen > ar->dimen - 1)
+  if (dimen < 0 || ar == NULL)
     gfc_internal_error ("gfc_ref_dimen_size(): Bad dimension");
 
+  if (dimen > ar->dimen - 1)
+    {
+      gfc_error ("Bad array dimension at %L", &ar->c_where[dimen]);
+      return false;
+    }
+
   switch (ar->dimen_type[dimen])
     {
     case DIMEN_ELEMENT:

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ac18d1ab2931a8d3e7edb5a32f2988e2e63e4174..f0f068b663f822b3ec540169f11ea872d67ca487 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-07-06  Harald Anlauf  <anlauf@gmx.de>
+
+       PR fortran/70071
+       * gfortran.dg/coarray_44.f90: New testcase.
+
 2017-07-06  Maxim Ostapenko  <m.ostapenko@samsung.com>
 
        * c-c++-common/asan/kasan-alloca-1.c: New test.

diff --git a/gcc/testsuite/gfortran.dg/coarray_44.f90 b/gcc/testsuite/gfortran.dg/coarray_44.f90
new file mode 100644 (file)
index 0000000..15fb8c7
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/coarray_44.f90
@@ -0,0 +1,12 @@
+! { dg-do compile }
+! { dg-options "-fcoarray=single" }
+!
+! PR fortran/70071
+! Based on testcases by Gerhard Steinmetz
+
+program pr70071
+  implicit none
+  integer, allocatable :: z(:)[:,:]
+  allocate (z(2)[1::2,*])  ! { dg-error "Bad array dimension" }
+  allocate (z(1::2)[2,*])  ! { dg-error "Bad array specification in ALLOCATE" }
+end program pr70071