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

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

From-SVN: r166646

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 03de2e2baf6ac0cf5b358023569b316d18cadcc9..5607e753e9aad3fe731521ef49b0bde4d328fe8d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+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

diff --git a/gcc/emit-rtl.c b/gcc/emit-rtl.c
index 60fe39b1ebf5458c21894a0ceead36fe9fa54320..2db0cffa8d0ab8a42a41cfb5fd62a57bcc61833e 100644 (file)
--- a/gcc/emit-rtl.c
+++ b/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)
        {

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e67a2964eee576961d2966022048eb4c2aa53df7..4b01e09791c72fb288ec2ce419a3546121654759 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+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

diff --git a/gcc/testsuite/gcc.dg/pr46375.c b/gcc/testsuite/gcc.dg/pr46375.c
new file mode 100644 (file)
index 0000000..0126bc9
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr46375.c
@@ -0,0 +1,16 @@
+/* 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 ();
+}