From: Zdenek Dvorak <dvorakz@suse.cz>
Date: Thu, 22 Jun 2006 17:54:45 +0000 (+0200)
Subject: re PR rtl-optimization/28121 (verify_flow_info failed (wrong amount of branch edges... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0ef902968099b4ddb1c272eec3c4db8870f25c0d;p=gcc.git

re PR rtl-optimization/28121 (verify_flow_info failed (wrong amount of branch edges after unconditional jump 2))

	PR rtl-optimization/28121
	* cfgexpand.c (tree_expand_cfg): Clean EDGE_EXECUTABLE flag from
	the entry edge.

	* gcc.dg/pr28121.c: New test.

From-SVN: r114898
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7880d15fe91..0ab50381484 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2006-06-22  Zdenek Dvorak <dvorakz@suse.cz>
+
+	PR rtl-optimization/28121
+	* cfgexpand.c (tree_expand_cfg): Clean EDGE_EXECUTABLE flag from
+	the entry edge.
+
 2006-06-21  DJ Delorie  <dj@redhat.com>
 
 	* config/m32c/muldiv.md (mulhisi3_i): Only use registers for dest
diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c
index 941cdad8681..1f43a32d77e 100644
--- a/gcc/cfgexpand.c
+++ b/gcc/cfgexpand.c
@@ -1580,6 +1580,8 @@ tree_expand_cfg (void)
 {
   basic_block bb, init_block;
   sbitmap blocks;
+  edge_iterator ei;
+  edge e;
 
   /* Some backends want to know that we are expanding to RTL.  */
   currently_expanding_to_rtl = 1;
@@ -1623,6 +1625,11 @@ tree_expand_cfg (void)
 
   init_block = construct_init_block ();
 
+  /* Clear EDGE_EXECUTABLE on the entry edge(s).  It is cleaned from the
+     remainining edges in expand_gimple_basic_block.  */
+  FOR_EACH_EDGE (e, ei, ENTRY_BLOCK_PTR->succs)
+    e->flags &= ~EDGE_EXECUTABLE;
+
   FOR_BB_BETWEEN (bb, init_block->next_bb, EXIT_BLOCK_PTR, next_bb)
     bb = expand_gimple_basic_block (bb);
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1bab6ae1ffd..9fd22ded922 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2006-06-22  Zdenek Dvorak <dvorakz@suse.cz>
+
+	PR rtl-optimization/28121
+	* gcc.dg/pr28121.c: New test.
+
 2006-06-22  Lee Millward  <lee.millward@gmail.com>
 
 	PR c++/27805
@@ -34,7 +39,6 @@
 2006-06-20  Steven G. Kargl  <kargls@comcast.net>
 
 	* gfortran.dg/rrspacing_1.f90: New test.
- 
 
 2006-06-20  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
 
diff --git a/gcc/testsuite/gcc.dg/pr28121.c b/gcc/testsuite/gcc.dg/pr28121.c
new file mode 100644
index 00000000000..5cbf8f89e94
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr28121.c
@@ -0,0 +1,27 @@
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+short
+GetCmd ()
+{
+  int c, c1;
+  for (c = 255; c == 255;)
+    {
+      c = GetMouseButton ();
+      if (c >= 0)
+	{
+	  c = ParsePos (c, -1, 0);
+	  c1 = ParsePos (c1, c, 1);
+	  if (c == c1 && (c >= 0 || c == -10))
+	    {
+	      return c;
+	    }
+	  if (c >= 0 && c1 == -12)
+	    {
+	      return ((((((10) + 1) + 1)) + 1) << 7) | c;
+	    }
+	  c = 255;
+	}
+    }
+}
+