re PR fortran/88073 (Internal compiler error compiling WHERE construct with -O or...
authorThomas Koenig <tkoenig@gcc.gnu.org>
Sun, 18 Nov 2018 17:40:23 +0000 (17:40 +0000)
committerThomas Koenig <tkoenig@gcc.gnu.org>
Sun, 18 Nov 2018 17:40:23 +0000 (17:40 +0000)
2018-11-18  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/88073
* frontend-passes.c (combine_array_constructor): Do not do
anything if in a WHERE statement.

2018-11-18  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/88073
* gfortran.dg/where_7.f90: New test.

From-SVN: r266251

gcc/fortran/ChangeLog
gcc/fortran/frontend-passes.c
gcc/testsuite/ChangeLog
gcc/testsuite/gfortran.dg/where_7.f90 [new file with mode: 0644]

index 83920ab8f6d55a957e725dd4453daa7f7f7fba53..15f594265b0a7bde92f6b9a684655b671496be10 100644 (file)
@@ -1,3 +1,9 @@
+2018-11-18  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+       PR fortran/88073
+       * frontend-passes.c (combine_array_constructor): Do not do
+       anything if in a WHERE statement.
+
 2018-11-18  Thomas Koenig  <tkoenig@gcc.gnu.org>
 
        PR fortran/70260
index 19930305bd16590091c4a90779b301264f56704b..9fa50ee68fa2e12079d373cc1360029623b2ef2d 100644 (file)
@@ -1773,6 +1773,10 @@ combine_array_constructor (gfc_expr *e)
   if (iterator_level > 0)
     return false;
 
+  /* WHERE also doesn't work.  */
+  if (in_where > 0)
+    return false;
+
   op1 = e->value.op.op1;
   op2 = e->value.op.op2;
 
index 571618623e7fd6ab11d7059e76f09d430c626c8f..ffd271a8c3f31a35d007a0ee83b89ce9661a258b 100644 (file)
@@ -1,3 +1,8 @@
+2018-11-18  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+       PR fortran/88073
+       * gfortran.dg/where_7.f90: New test.
+
 2018-11-18  Thomas Koenig  <tkoenig@gcc.gnu.org>
 
        PR fortran/70260
diff --git a/gcc/testsuite/gfortran.dg/where_7.f90 b/gcc/testsuite/gfortran.dg/where_7.f90
new file mode 100644 (file)
index 0000000..1c79ef5
--- /dev/null
@@ -0,0 +1,25 @@
+! { dg-do compile }
+! { dg-options "-ffrontend-optimize" }
+! PR fortran/88073 - this used to ICE with front-end optimization
+! Original test case by 'mecej4'
+Subroutine tfu (n, x, f)
+   Implicit None
+   Integer, Parameter :: double = Kind (0.d0)
+   Integer, Intent (In) :: n
+   Real (double), Intent (Out) :: f
+   Real (double), Intent (In) :: x (n)
+   Integer :: j
+   Logical, Dimension(n) :: l1v, l2v, l3v
+!
+   l3v = .False.
+   l2v = .False.
+   l1v = (/ (j, j=1, n) /) == 1
+   Where ( .Not. (l1v))
+      l2v = (/ (j, j=1, n) /) == n
+   End Where
+   Where ( .Not. l1v)
+      l3v = .Not. l2v
+   End Where
+   f = sum (x(1:n), mask=l3v)
+   Return
+end subroutine tfu