PR debug/46375

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


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@166646 138bc75d-0d04-0410-961f-82ee72b054a4

4 files changed, 26 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 03de2e2baf6..5607e753e9a 100644
--- 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 60fe39b1ebf..2db0cffa8d0 100644
--- 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 e67a2964eee..4b01e09791c 100644
--- 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
index 00000000000..0126bc93daa
--- /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 ();
+}