This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[patch] Obvious: Fix DF solution dirty marking in cfg.c:disconnect_src
- From: Steven Bosscher <stevenb dot gcc at gmail dot com>
- To: GCC Patches <gcc-patches at gcc dot gnu dot org>, Paolo Bonzini <bonzini at gnu dot org>
- Date: Fri, 27 Apr 2012 11:18:49 +0200
- Subject: [patch] Obvious: Fix DF solution dirty marking in cfg.c:disconnect_src
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 ();
}