re PR rtl-optimization/26725 (ICE in check_reg_live, at haifa-sched.c:4645 with -O2 on ia64)

gcc/
	PR rtl-optimization/26725
	* cfgrtl.c (rtl_redirect_edge_and_branch_force): Set the source
	block's BB_DIRTY flag.

gcc/testsuite/
	* gcc.c-torture/compile/pr26725.c: New test.

From-SVN: r113257

gcc/ChangeLog

+2006-04-25  Richard Sandiford  <richard@codesourcery.com>
+
+	PR rtl-optimization/26725
+	* cfgrtl.c (rtl_redirect_edge_and_branch_force): Set the source
+	block's BB_DIRTY flag.
+
 2006-04-25  Geoffrey Keating  <geoffk@apple.com>
 
 	* dwarf2asm.c (dw2_asm_output_data): Don't generate RTL just

gcc/cfgrtl.c

@@ -1170,6 +1170,7 @@ rtl_redirect_edge_and_branch_force (edge e, basic_block target)
 
   /* In case the edge redirection failed, try to force it to be non-fallthru
      and redirect newly created simplejump.  */
+  e->src->flags |= BB_DIRTY;
   return force_nonfallthru_and_redirect (e, target);
 }
 

gcc/testsuite/ChangeLog

+2006-04-25  Richard Sandiford  <richard@codesourcery.com>
+
+	PR rtl-optimization/26725
+	* gcc.c-torture/compile/pr26725.c: New test.
+
 2006-04-25  Richard Guenther  <rguenther@suse.de>
 
 	* gcc.dg/tree-prof/val-prof-2.c: Check for n + ffff rather  

gcc/testsuite/gcc.c-torture/compile/pr26725.c

+struct { unsigned int num; } *numptr;
+void notice (int);
+void doit (unsigned int *);
+
+void
+rewrite_finalize_block (int x)
+{
+  unsigned int *tmp;
+  while (tmp = (numptr ? &numptr->num : 0), (tmp ? *tmp : 0) > 0)
+    {
+      tmp = (numptr ? &numptr->num : 0);
+      (void) (*tmp ? 0 : notice (x));
+      doit (tmp);
+    }
+}