From: Jakub Jelinek <jakub@redhat.com>
Date: Tue, 25 Jan 2011 19:50:56 +0000 (+0100)
Subject: re PR tree-optimization/47265 (Error: SSA name in freelist but still referenced)
X-Git-Tag: releases/gcc-4.6.0~978
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=6bdfdb96eeec5da99a6aa4ca592af1d6b9cef237;p=thirdparty%2Fgcc.git

re PR tree-optimization/47265 (Error: SSA name in freelist but still referenced)

	PR tree-optimization/47265
	PR tree-optimization/47443
	* tree-ssa-forwprop.c (forward_propagate_addr_expr): Return false
	if name still has some uses.

	* gcc.c-torture/compile/pr47265.c: New test.
	* gcc.dg/pr47443.c: New test.

From-SVN: r169250
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 39b8d441cc5c..6e1c8f5cd807 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2011-01-25  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/47265
+	PR tree-optimization/47443
+	* tree-ssa-forwprop.c (forward_propagate_addr_expr): Return false
+	if name still has some uses.
+
 2011-01-25  Martin Jambor  <mjambor@suse.cz>
 
 	PR tree-optimization/47382
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b23f02dd465f..24fbc0bba063 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2011-01-25  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/47265
+	PR tree-optimization/47443
+	* gcc.c-torture/compile/pr47265.c: New test.
+	* gcc.dg/pr47443.c: New test.
+
 2011-01-25  Martin Jambor  <mjambor@suse.cz>
 
 	PR tree-optimization/47382
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr47265.c b/gcc/testsuite/gcc.c-torture/compile/pr47265.c
new file mode 100644
index 000000000000..183c3f986217
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr47265.c
@@ -0,0 +1,20 @@
+/* PR tree-optimization/47265 */
+
+struct S
+{
+  char a[3];
+  char b[3];
+};
+
+void
+bar (char *dst, const char *src, unsigned n)
+{
+  while (n--)
+    *dst++ = *src ? *src++ : ' ';
+}
+
+void
+foo (struct S *s)
+{
+  bar (s->a, s->b, 3);
+}
diff --git a/gcc/testsuite/gcc.dg/pr47443.c b/gcc/testsuite/gcc.dg/pr47443.c
new file mode 100644
index 000000000000..fa7d6b98ad38
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr47443.c
@@ -0,0 +1,14 @@
+/* PR tree-optimization/47443 */
+/* { dg-do compile } */
+/* { dg-options "-O -fstack-check=generic" } */
+
+static inline bar (char *c, int i)
+{
+  return c + i > c;
+}
+
+int foo ()
+{
+  char c[100];
+  return (bar (c, 1));
+}
diff --git a/gcc/tree-ssa-forwprop.c b/gcc/tree-ssa-forwprop.c
index 64c8e88e26e1..ee12e40c9722 100644
--- a/gcc/tree-ssa-forwprop.c
+++ b/gcc/tree-ssa-forwprop.c
@@ -1,5 +1,5 @@
 /* Forward propagation of expressions for single use variables.
-   Copyright (C) 2004, 2005, 2007, 2008, 2009, 2010
+   Copyright (C) 2004, 2005, 2007, 2008, 2009, 2010, 2011
    Free Software Foundation, Inc.
 
 This file is part of GCC.
@@ -1114,7 +1114,7 @@ forward_propagate_addr_expr (tree name, tree rhs)
 	}
     }
 
-  return all;
+  return all && has_zero_uses (name);
 }
 
 /* Forward propagate the comparison defined in STMT like