re PR debug/46375 (-fcompare-debug failure (length) with -O -fgcse -fno-tree-dominator-opts)

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

From-SVN: r166646

gcc/ChangeLog

+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-11  Rodrigo Rivas Costa  <rodrigorivascosta@gmail.com>
 
 	PR lto/46376

gcc/emit-rtl.c

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

gcc/testsuite/ChangeLog

+2010-11-12  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc.dg/pr46375.c: New test.
+
 2010-11-11  Nathan Froyd  <froydnj@codesourcery.com>
 
 	PR c/44782

gcc/testsuite/gcc.dg/pr46375.c

+/* PR debug/46375 */
+/* Reported by Zdenek Sojka <zsojka@seznam.cz> */
+/* { dg-do compile } */
+/* { dg-options "-fgcse -fno-tree-dominator-opts -fcompare-debug -O" } */
+
+void bar (void);
+
+void
+foo (int **pp)
+{
+  int *p = 0;
+  if (pp)
+    p = *pp;
+  if (p && *p)
+    bar ();
+}