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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 03de2e2..5607e75 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 60fe39b..2db0cff 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 e67a296..4b01e09 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 ();
+}