From: jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 19 Jan 2010 12:39:42 +0000 (+0000)
Subject: 	PR tree-optimization/42719
X-Git-Url: http://git.sourceforge.jp/view?p=pf3gnuchains%2Fgcc-fork.git;a=commitdiff_plain;h=270a54d23107df4f9b7bd64858393e89af094d83

	PR tree-optimization/42719
	* tree-outof-ssa.c (trivially_conflicts_p): Don't consider debug
	stmt uses.

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


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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b6ea293c4e8..18dccd607c7 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 2010-01-19  Jakub Jelinek  <jakub@redhat.com>
 
+	PR tree-optimization/42719
+	* tree-outof-ssa.c (trivially_conflicts_p): Don't consider debug
+	stmt uses.
+
 	PR debug/42728
 	* fwprop.c (all_uses_available_at): Return false if def_set dest
 	is a REG that is used in def_insn.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f2a4f8a1984..a4aafda48b7 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2010-01-19  Jakub Jelinek  <jakub@redhat.com>
 
+	PR tree-optimization/42719
+	* gcc.dg/pr42719.c: New test.
+
 	PR debug/42728
 	* gcc.dg/pr42728.c: New test.
 
diff --git a/gcc/testsuite/gcc.dg/pr42719.c b/gcc/testsuite/gcc.dg/pr42719.c
new file mode 100644
index 00000000000..94a58e41a1a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr42719.c
@@ -0,0 +1,14 @@
+/* PR tree-optimization/42719 */
+/* { dg-do compile } */
+/* { dg-options "-O2 -ftracer -fcompare-debug" } */
+
+int *v;
+
+void
+foo (int a)
+{
+  int i, j;
+  for (j = i = a; i != -1; j = i, i = v[i])
+    ;
+  v[j] = v[a];
+}
diff --git a/gcc/tree-outof-ssa.c b/gcc/tree-outof-ssa.c
index a82cec824fd..32aa464948b 100644
--- a/gcc/tree-outof-ssa.c
+++ b/gcc/tree-outof-ssa.c
@@ -956,6 +956,8 @@ trivially_conflicts_p (basic_block bb, tree result, tree arg)
   FOR_EACH_IMM_USE_FAST (use, imm_iter, result)
     {
       gimple use_stmt = USE_STMT (use);
+      if (is_gimple_debug (use_stmt))
+	continue;
       /* Now, if there's a use of RESULT that lies outside this basic block,
 	 then there surely is a conflict with ARG.  */
       if (gimple_bb (use_stmt) != bb)