re PR fortran/32315 (DATA with implied-do: Bounds checks missing [regression vs. g77])

2008-02-05  Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/32315
	* data.c (gfc_assign_data_value): Add bounds check for array
	references.

2008-02-05  Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/32315
	* gfortran.dg/data_bounds_1.f90: New test.

From-SVN: r132113

gcc/fortran/ChangeLog

+2008-02-05  Paul Thomas  <pault@gcc.gnu.org>
+
+	PR fortran/32315
+	* data.c (gfc_assign_data_value): Add bounds check for array
+	references.
+
 2008-02-04  Daniel Franke  <franke.daniel@gmail.com>
 
 	* resolve.c (resolve_where): Fix typo.

gcc/fortran/data.c

@@ -311,6 +311,27 @@ gfc_assign_data_value (gfc_expr *lvalue, gfc_expr *rvalue, mpz_t index)
 	  else
 	    mpz_set (offset, index);
 
+	  /* Check the bounds.  */
+	  if (mpz_cmp_si (offset, 0) < 0)
+	    {
+	      gfc_error ("Data element below array lower bound at %L",
+			 &lvalue->where);
+	      return FAILURE;
+	    }
+	  else
+	    {
+	      mpz_t size;
+	      if (spec_size (ref->u.ar.as, &size) == SUCCESS
+		   && mpz_cmp (offset, size) >= 0)
+		{
+		  mpz_clear (size);
+		  gfc_error ("Data element above array upper bound at %L",
+			     &lvalue->where);
+		  return FAILURE;
+		}
+	      mpz_clear (size);
+	    }
+
 	  /* Splay tree containing offset and gfc_constructor.  */
 	  spt = expr->con_by_offset;
 

gcc/testsuite/ChangeLog

+2008-02-05  Paul Thomas  <pault@gcc.gnu.org>
+
+	PR fortran/32315
+	* gfortran.dg/data_bounds_1.f90: New test.
+
 2008-02-04  Diego Novillo  <dnovillo@google.com>
 
 	http://gcc.gnu.org/ml/gcc-patches/2008-02/msg00110.html

gcc/testsuite/gfortran.dg/data_bounds_1.f90

+! { dg-do compile }
+! Checks the fix for PR32315, in which the bounds checks below were not being done.
+!
+! Contributed by Tobias Burnus <burnus@gcc.gnu.org>
+!
+program chkdata
+    character(len=20), dimension(4) :: string
+    character(len=20), dimension(0:1,3:4) :: string2
+
+    data (string(i) ,i = 4, 5) /'D', 'E'/ ! { dg-error "above array upper bound" }
+    data (string(i) ,i = 0, 1) /'A', 'B'/ ! { dg-error "below array lower bound" }
+    data (string(i) ,i = 1, 4) /'A', 'B', 'C', 'D'/
+
+    data ((string2(i, j) ,i = 1, 2), j = 3, 4) /'A', 'B', 'C', 'D'/ ! { dg-error "above array upper bound" }
+    data ((string2(i, j) ,i = 0, 1), j = 2, 3) /'A', 'B', 'C', 'D'/ ! { dg-error "below array lower bound" }
+    data ((string2(i, j) ,i = 0, 1), j = 3, 4) /'A', 'B', 'C', 'D'/
+end program chkdata