[backport from gcc-4.8/trunk r186902 <mikpe@it.uu.se>]

Date: Fri, 27 Apr 2012 11:18:49 +0200
Subject: [patch] Obvious: Fix DF solution dirty marking in cfg.c:disconnect_src
From: Steven Bosscher <stevenb dot gcc at gmail dot com>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>

Hello,

It makes no sense to mark DF solutions dirty on the gcc_unreachable()
path but not on the return path.

Bootstrapped&tested on x86_64-unknown-linux-gnu and
powerpc64-unknown-linux-gnu. I'll this, as obvious, some time late
next week unless I hear objections.

Ciao!
Steven

gcc/

2012-04-27  Steven Bosscher  <steven@gcc.gnu.org>

	* cfg.c (disconnect_src): Do df_mark_solutions_dirty in the right
	place.

--- gcc-4.6.3/gcc/cfg.c.~1~	2010-11-30 12:41:24.000000000 +0100
+++ gcc-4.6.3/gcc/cfg.c	2012-09-09 14:42:11.000000000 +0200
@@ -242,13 +242,13 @@ disconnect_src (edge e)
       if (tmp == e)
 	{
 	  VEC_unordered_remove (edge, src->succs, ei.index);
+	  df_mark_solutions_dirty ();
 	  return;
 	}
       else
 	ei_next (&ei);
     }
 
-  df_mark_solutions_dirty ();
   gcc_unreachable ();
 }