[patch] Obvious: Fix DF solution dirty marking in cfg.c:disconnect_src

[Steven Bosscher]

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


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

Index: cfg.c
===================================================================
--- cfg.c       (revision 186897)
+++ cfg.c       (working copy)
@@ -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 ();
 }