Blame SOURCES/0018-Fill-in-missing-array-dimensions-using-the-lower-bou.patch

3db796
From b8527b8f03c4c50869c4f9a063f5c7686e58e5e9 Mon Sep 17 00:00:00 2001
3db796
From: Jim MacArthur <jim.macarthur@codethink.co.uk>
3db796
Date: Fri, 26 Aug 2016 17:46:05 +0100
3db796
Subject: [PATCH 18/23] Fill in missing array dimensions using the lower bound
3db796
3db796
This feature is enabled by the `-fstd=extra-legacy` compiler flag
3db796
---
3db796
3db796
3db796
    0018-Fill-in-missing-array-dimensions-using-the-lower-bou.patch
3db796
3db796
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c
3db796
index a831f70..ac35357 100644
3db796
--- a/gcc/fortran/resolve.c
3db796
+++ b/gcc/fortran/resolve.c
3db796
@@ -4396,6 +4396,27 @@ compare_spec_to_ref (gfc_array_ref *ar)
3db796
   if (ar->type == AR_FULL)
3db796
     return true;
3db796
 
3db796
+  if ((gfc_option.allow_std & GFC_STD_EXTRA_LEGACY)
3db796
+      && as->rank > ar->dimen)
3db796
+    {
3db796
+      /* Add in the missing dimensions, assuming they are the lower bound
3db796
+         of that dimension if not specified. */
3db796
+      int j;
3db796
+      gfc_warning (0, "Using the lower bound for unspecified dimensions "
3db796
+                   "in array reference at %L", &ar->where);
3db796
+      /* Other parts of the code iterate ar->start and ar->end from 0 to
3db796
+	 ar->dimen, so it is safe to assume slots from ar->dimen upwards
3db796
+	 are unused (i.e. there are no gaps; the specified indexes are
3db796
+	 contiguous and start at zero */
3db796
+      for(j = ar->dimen; j <= as->rank; j++)
3db796
+        {
3db796
+	  ar->start[j] = gfc_copy_expr (as->lower[j]);
3db796
+	  ar->end[j]   = gfc_copy_expr (as->lower[j]);
3db796
+	  ar->dimen_type[j] = DIMEN_ELEMENT;
3db796
+        }
3db796
+      ar->dimen = as->rank;
3db796
+    }
3db796
+
3db796
   if (as->rank != ar->dimen)
3db796
     {
3db796
       gfc_error ("Rank mismatch in array reference at %L (%d/%d)",
3db796
diff --git a/gcc/testsuite/gfortran.dg/array_6.f90 b/gcc/testsuite/gfortran.dg/array_6.f90
3db796
new file mode 100644
3db796
index 0000000..20752a1
3db796
--- /dev/null
3db796
+++ b/gcc/testsuite/gfortran.dg/array_6.f90
3db796
@@ -0,0 +1,13 @@
3db796
+! { dg-do compile }
3db796
+! { dg-options "-std=extra-legacy" }!
3db796
+! Checks that under-specified arrays (referencing arrays with fewer
3db796
+! dimensions than the array spec) generates a warning.
3db796
+!
3db796
+! Contributed by Jim MacArthur <jim.macarthur@codethink.co.uk>
3db796
+!
3db796
+
3db796
+program under_specified_array
3db796
+    INTEGER chsbrd(8,8)
3db796
+    chsbrd(3,1) = 5
3db796
+    print *, chsbrd(3) ! { dg-warning "Using the lower bound for unspecified dimensions in array reference" }
3db796
+end program