re PR tree-optimization/71398 (ICE at -O3 in 32-bit and 64-bit mode on x86_64-linux...

2016-06-06  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/71398
	* tree-ssa-loop-ivcanon.c (unloop_loops): First unloop, then
	remove edges.

	* gcc.dg/torture/pr71398.c: New testcase.

From-SVN: r237117

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0b3e3aa..8e4b776 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-06-06  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/71398
+       * tree-ssa-loop-ivcanon.c (unloop_loops): First unloop, then
+       remove edges.
+
 2016-06-05  James Bowman  <james.bowman@ftdichip.com>
 
        * config/ft32/ft32.c (ft32_setup_incoming_varargs,

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c09354d..4dc8a52 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-06-06  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/71398
+       * gcc.dg/torture/pr71398.c: New testcase.
+
 2016-06-06  Uros Bizjak  <ubizjak@gmail.com>
 
        PR target/71389

diff --git a/gcc/testsuite/gcc.dg/torture/pr71398.c b/gcc/testsuite/gcc.dg/torture/pr71398.c
new file mode 100644 (file)
index 0000000..affb561
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr71398.c
@@ -0,0 +1,17 @@
+/* { dg-do compile } */
+
+unsigned a, b, c[1];
+void __assert_fail() __attribute__((__noreturn__));
+void fn1()
+{
+  int d;
+  unsigned e;
+  for (;;)
+    {
+      d = 0;
+      for (; d <= 6; d++)
+       c[d] || a ? 0 : __assert_fail();
+      for (; e <= 5; e++)
+       a = b;
+    }
+}

diff --git a/gcc/tree-ssa-loop-ivcanon.c b/gcc/tree-ssa-loop-ivcanon.c
index 248c125..5a7c378 100644 (file)
--- a/gcc/tree-ssa-loop-ivcanon.c
+++ b/gcc/tree-ssa-loop-ivcanon.c
@@ -615,16 +615,6 @@ static void
 unloop_loops (bitmap loop_closed_ssa_invalidated,
              bool *irred_invalidated)
 {
-  /* First remove edges in peeled copies.  */
-  unsigned i;
-  edge e;
-  FOR_EACH_VEC_ELT (edges_to_remove, i, e)
-    {
-      bool ok = remove_path (e);
-      gcc_assert (ok);
-    }
-  edges_to_remove.release ();
-
   while (loops_to_unloop.length ())
     {
       struct loop *loop = loops_to_unloop.pop ();
@@ -660,6 +650,16 @@ unloop_loops (bitmap loop_closed_ssa_invalidated,
     }
   loops_to_unloop.release ();
   loops_to_unloop_nunroll.release ();
+
+  /* Remove edges in peeled copies.  */
+  unsigned i;
+  edge e;
+  FOR_EACH_VEC_ELT (edges_to_remove, i, e)
+    {
+      bool ok = remove_path (e);
+      gcc_assert (ok);
+    }
+  edges_to_remove.release ();
 }
 
 /* Tries to unroll LOOP completely, i.e. NITER times.