Patchwork Fix PR debug/46375

login
register
mail settings
Submitter Eric Botcazou
Date Nov. 12, 2010, 9:56 a.m.
Message ID <201011121056.49950.ebotcazou@adacore.com>
Download mbox | patch
Permalink /patch/70947/
State New
Headers show

Comments

Eric Botcazou - Nov. 12, 2010, 9:56 a.m.
This is another -fcompare-debug failure.  Fixed by not marking the basic block 
dirty in remove_insn if the removed insn is a debug insn.

Bootstrapped/regtested on x86_64-suse-linux, applied on the mainline.


2010-11-12  Eric Botcazou  <ebotcazou@adacore.com>

	PR debug/46375
	* emit-rtl.c (remove_insn): Do not mark BBs upon debug insns.


2010-11-12  Eric Botcazou  <ebotcazou@adacore.com>

	* gcc.dg/pr46375.c: New test.

Patch

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)
 	{