From: Steven Bosscher <steven@gcc.gnu.org>
Date: Tue, 21 Dec 2010 14:55:41 +0000 (+0000)
Subject: re PR rtl-optimization/46755 (ICE: in calc_dfs_tree, at dominance.c:395 with -O)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=59db109afd1513b2fa26ef4adcf85ba80d5eab59;p=gcc.git

re PR rtl-optimization/46755 (ICE: in calc_dfs_tree, at dominance.c:395 with -O)

gcc/
	PR rtl-optimization/46755
	* ira.c (ira): If some dead edges were removed, find and delete
	any blocks that might have become unreachable.

testsuite/
	PR rtl-optimization/46755
	* gfortran.dg/pr46755.f: New test

From-SVN: r168118
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2b47e8e3f40..bfdad2f0519 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2010-12-21  Steven Bosscher  <steven@gcc.gnu.org>
+
+	PR rtl-optimization/46755
+	* ira.c (ira): If some dead edges were removed, find and delete
+	any blocks that might have become unreachable.
+
 2010-12-21  Jakub Jelinek  <jakub@redhat.com>
 
 	PR rtl-optimization/47008
diff --git a/gcc/ira.c b/gcc/ira.c
index 6db1fba5a6f..5f27fc2f320 100644
--- a/gcc/ira.c
+++ b/gcc/ira.c
@@ -3158,7 +3158,8 @@ ira (FILE *f)
 	{
 	  timevar_push (TV_JUMP);
 	  rebuild_jump_labels (get_insns ());
-	  purge_all_dead_edges ();
+	  if (purge_all_dead_edges ())
+	    delete_unreachable_blocks ();
 	  timevar_pop (TV_JUMP);
 	}
     }
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3a66f1c15d3..d66df22e1e0 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2010-12-21  Steven Bosscher  <steven@gcc.gnu.org>
+
+	PR rtl-optimization/46755
+	* gfortran.dg/pr46755.f: New test.
+
 2010-12-21  Jakub Jelinek  <jakub@redhat.com>
 
 	PR rtl-optimization/47008
diff --git a/gcc/testsuite/gfortran.dg/pr46755.f b/gcc/testsuite/gfortran.dg/pr46755.f
new file mode 100644
index 00000000000..ff764a7d88d
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr46755.f
@@ -0,0 +1,23 @@
+C { dg-do compile }
+C { dg-options "-O" }
+      IMPLICIT NONE
+      INTEGER I640,I760,I800
+      INTEGER I,ITER,ITMX,LENCM
+      LOGICAL QDISK,QDW
+      ASSIGN 801 TO I800
+      GOTO I800
+ 801  CONTINUE
+      ASSIGN 761 TO I760
+ 761  CONTINUE
+      DO I=1,LENCM
+      ENDDO
+      DO WHILE(ITER.LT.ITMX)
+         IF(QDW) THEN
+            ASSIGN 641 to I640
+            GOTO I760
+ 641        CONTINUE
+         ENDIF
+      ENDDO
+      RETURN
+      END
+