diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f4c19ea566be..9a106110de42 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,8 @@
 2012-04-27  Steven Bosscher  <steven@gcc.gnu.org>
 
+	* cfg.c (disconnect_src): Do df_mark_solutions_dirty in the right
+	place.
+
 	* tree-switch-conversion.c (struct switch_conv_info): Add range_max,
 	reorganize some fields and update comments.  Rename bit_test_uniq
 	and bit_test_count to uniq resp. count.  Remove bit_test_bb.
diff --git a/gcc/cfg.c b/gcc/cfg.c
index ca04c94770e7..ba85b1690592 100644
--- a/gcc/cfg.c
+++ b/gcc/cfg.c
@@ -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 ();
 }