http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46375
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2010-11-11
15:56:09 UTC ---
This patchlet is sufficient but I wonder how it will fare...
Index: emit-rtl.c
===================================================================
--- emit-rtl.c (revision 166490)
+++ emit-rtl.c (working copy)
@@ -3867,7 +3867,7 @@ remove_insn (rtx insn)
if (!BARRIER_P (insn)
&& (bb = BLOCK_FOR_INSN (insn)))
{
- if (INSN_P (insn))
+ if (NONDEBUG_INSN_P (insn))
df_set_bb_dirty (bb);
if (BB_HEAD (bb) == insn)
{