re PR fortran/91424 (Extend warnings about DO loops)

2019-08-12  Thomas Koenig  <tkoenig@gcc.gnu.org>

	PR fortran/91424
	* frontend-passes.c (do_subscript): Do not warn for an
	expression a second time.  Do not warn about a zero-trip loop.
	(doloop_warn): Also look at contained namespaces.

2019-08-12  Thomas Koenig  <tkoenig@gcc.gnu.org>

	PR fortran/91424
	* gfortran.dg/do_subscript_3.f90: New test.
	* gfortran.dg/do_subscript_4.f90: New test.
	* gfortran.dg/pr70754.f90: Use indices that to not overflow.

2019-08-12  Thomas Koenig  <tkoenig@gcc.gnu.org>

	PR fortran/91422
	* testsuite/libgomp.oacc-fortran/routine-7.f90: Correct array
	dimension.

From-SVN: r274320

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index d554991440bc3212ab0902399eeeb5724e025f4f..05e5ba5cd98be04fb0379f1a71065d571f6085e8 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,10 @@
+2019-08-12  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+       PR fortran/91424
+       * frontend-passes.c (do_subscript): Do not warn for an
+       expression a second time.  Do not warn about a zero-trip loop.
+       (doloop_warn): Also look at contained namespaces.
+
 2019-08-11  Janne Blomqvist  <jb@gcc.gnu.org>
 
        PR fortran/91413

diff --git a/gcc/fortran/frontend-passes.c b/gcc/fortran/frontend-passes.c
index 87df5048b714d015f6ec8d33a50172536a19412a..37c767f96f28422c830c23b7074531f499c58a87 100644 (file)
--- a/gcc/fortran/frontend-passes.c
+++ b/gcc/fortran/frontend-passes.c
@@ -2556,6 +2556,12 @@ do_subscript (gfc_expr **e)
   if (in_assoc_list)
     return 0;
 
+  /* We already warned about this.  */
+  if (v->do_not_warn)
+    return 0;
+
+  v->do_not_warn = 1;
+
   for (ref = v->ref; ref; ref = ref->next)
     {
       if (ref->type == REF_ARRAY && ref->u.ar.type == AR_ELEMENT)
@@ -2608,7 +2614,6 @@ do_subscript (gfc_expr **e)
              else
                have_do_start = false;
 
-
              if (dl->ext.iterator->end->expr_type == EXPR_CONSTANT)
                {
                  have_do_end = true;
@@ -2620,6 +2625,17 @@ do_subscript (gfc_expr **e)
              if (!have_do_start && !have_do_end)
                return 0;
 
+             /* No warning inside a zero-trip loop.  */
+             if (have_do_start && have_do_end)
+               {
+                 int sgn, cmp;
+
+                 sgn = mpz_cmp_ui (do_step, 0);
+                 cmp = mpz_cmp (do_end, do_start);
+                 if ((sgn > 0 && cmp < 0) || (sgn < 0 && cmp > 0))
+                   break;
+               }
+
              /* May have to correct the end value if the step does not equal
                 one.  */
              if (have_do_start && have_do_end && mpz_cmp_ui (do_step, 1) != 0)
@@ -2761,6 +2777,12 @@ static void
 doloop_warn (gfc_namespace *ns)
 {
   gfc_code_walker (&ns->code, doloop_code, do_function, NULL);
+
+  for (ns = ns->contained; ns; ns = ns->sibling)
+    {
+      if (ns->code == NULL || ns->code->op != EXEC_BLOCK)
+       doloop_warn (ns);
+    }
 }
 
 /* This selction deals with inlining calls to MATMUL.  */

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index fc1175ff7bb2812c5d4ef76941149a8de1d66769..18dac06e77eb85cc0316c2e8c07a7502c947dcee 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2019-08-12  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+       PR fortran/91424
+       * gfortran.dg/do_subscript_3.f90: New test.
+       * gfortran.dg/do_subscript_4.f90: New test.
+       * gfortran.dg/pr70754.f90: Use indices that to not overflow.
+
 2019-08-12  Jakub Jelinek  <jakub@redhat.com>
 
        PR target/83250

diff --git a/gcc/testsuite/gfortran.dg/do_subscript_3.f90 b/gcc/testsuite/gfortran.dg/do_subscript_3.f90
new file mode 100644 (file)
index 0000000..2f62f58
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/do_subscript_3.f90
@@ -0,0 +1,22 @@
+! { dg-do compile }
+! PR fortran/91424
+! Check that only one warning is issued inside blocks, and that
+! warnings are also issued for contained subroutines.
+
+program main
+  real :: a(5)
+  block
+    integer :: j
+    do j=0, 5  ! { dg-warning "out of bounds" }
+       a(j) = 2. ! { dg-warning "out of bounds" }
+    end do
+  end block
+  call x
+contains
+  subroutine x
+    integer :: i
+    do i=1,6 ! { dg-warning "out of bounds" }
+       a(i) = 2.  ! { dg-warning "out of bounds" }
+    end do
+  end subroutine x
+end program main

diff --git a/gcc/testsuite/gfortran.dg/do_subscript_4.f90 b/gcc/testsuite/gfortran.dg/do_subscript_4.f90
new file mode 100644 (file)
index 0000000..c773fe7
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/do_subscript_4.f90
@@ -0,0 +1,11 @@
+! { dg-do compile }
+! PR 91424 - this used to warn although the DO loop is zero trip.
+program main
+  implicit none
+  integer :: i
+  real :: a(2)
+  do i=1,3,-1
+     a(i) = 2.
+  end do
+  print *,a
+end program main

diff --git a/gcc/testsuite/gfortran.dg/pr70754.f90 b/gcc/testsuite/gfortran.dg/pr70754.f90
index d7e790cc036dd182098e47dbca53d95f16646feb..593acf917ee63d92cdce43fbd159f89a50918f11 100644 (file)
--- a/gcc/testsuite/gfortran.dg/pr70754.f90
+++ b/gcc/testsuite/gfortran.dg/pr70754.f90
@@ -18,12 +18,13 @@ contains
     integer (ii4), dimension(40,40) :: c
     integer  i, j
 
-    do i=1,20
-      b(i,j) = 123 * a(i,j) + 34 * a(i,j+1) &
-             + 34 * a(i,j-1) + a(i+1,j+1) &
-             + a(i+1,j-1) + a(i-1,j+1) &
-             + a(i-1,j-1)
-      c(i,j) = 123
+    j = 10
+    do i=11,30
+       b(i,j) = 123 * a(i,j) + 34 * a(i,j+1) &
+            + 34 * a(i,j-1) + a(i+1,j+1) &
+            + a(i+1,j-1) + a(i-1,j+1) &
+            + a(i-1,j-1)
+       c(i,j) = 123
     end do
 
     where ((xyz(:,:,2) /= 0) .and. (c /= 0))

diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 5356d005ff75eab08d4a3207928d5107d6f61162..a2737c3ea8ca3c6b7734524460654ecbd7ed543a 100644 (file)
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,9 @@
+2019-08-12  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+       PR fortran/91422
+       * testsuite/libgomp.oacc-fortran/routine-7.f90: Correct array
+       dimension.
+
 2019-08-08  Jakub Jelinek  <jakub@redhat.com>
 
        * target.c (gomp_map_vars_internal): For GOMP_MAP_USE_DEVICE_PTR
@@ -32,9 +38,9 @@
 
 2019-07-23  Steven G. Kargl  <kargl@gcc.gnu.org>
 
-       * testsuite/libgomp.fortran/reduction4.f90: Update BOZ usage
+       * testsuite/libgomp.fortran/reduction4.f90: Update BOZ usage.
        * testsuite/libgomp.fortran/reduction5.f90: Ditto.
-       
+
 2019-07-20  Jakub Jelinek  <jakub@redhat.com>
 
        * testsuite/libgomp.c-c++-common/loop-1.c: New test.

diff --git a/libgomp/testsuite/libgomp.oacc-fortran/routine-7.f90 b/libgomp/testsuite/libgomp.oacc-fortran/routine-7.f90
index f58a95fe67017a44a5574183370c5d270bf4d016..1009f4a81e55beab62aaf3b16918d096e40ffd4c 100644 (file)
--- a/libgomp/testsuite/libgomp.oacc-fortran/routine-7.f90
+++ b/libgomp/testsuite/libgomp.oacc-fortran/routine-7.f90
@@ -109,7 +109,7 @@ end subroutine gang
 
 subroutine seq (a)
   !$acc routine seq
-  integer, intent (inout) :: a(M)
+  integer, intent (inout) :: a(N)
   integer :: i
 
   do i = 1, N