From: Richard Guenther <rguenther@suse.de>
Date: Fri, 14 Aug 2009 15:07:43 +0000 (+0000)
Subject: ipa-prop.c (compute_complex_pass_through): If we cannot compute a non-varying offset... 
X-Git-Tag: releases/gcc-4.5.0~4030
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=1a15bfdcdc93b45ddeb4701fa1d1d587305996fc;p=thirdparty%2Fgcc.git

ipa-prop.c (compute_complex_pass_through): If we cannot compute a non-varying offset for IPA_JF_ANCESTOR punt.

2009-08-14  Richard Guenther  <rguenther@suse.de>

	* ipa-prop.c (compute_complex_pass_through): If we cannot
	compute a non-varying offset for IPA_JF_ANCESTOR punt.

	* gcc.c-torture/execute/20090814-1.c: New testcase.

From-SVN: r150757
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 125b127d39bb..6aa16eff0de8 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2009-08-14  Richard Guenther  <rguenther@suse.de>
+
+	* ipa-prop.c (compute_complex_pass_through): If we cannot
+	compute a non-varying offset for IPA_JF_ANCESTOR punt.
+
 2009-08-14  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
 
 	* c-lex.c (c_lex_with_flags): Increase size of local variable
diff --git a/gcc/ipa-prop.c b/gcc/ipa-prop.c
index 2842088d8f1b..23710067ee78 100644
--- a/gcc/ipa-prop.c
+++ b/gcc/ipa-prop.c
@@ -377,7 +377,10 @@ compute_complex_pass_through (struct ipa_node_params *info,
   type = TREE_TYPE (op1);
 
   op1 = get_ref_base_and_extent (op1, &offset, &size, &max_size);
-  if (TREE_CODE (op1) != INDIRECT_REF)
+  if (TREE_CODE (op1) != INDIRECT_REF
+      /* If this is a varying address, punt.  */
+      || max_size == -1
+      || max_size != size)
     return;
   op1 = TREE_OPERAND (op1, 0);
   if (TREE_CODE (op1) != SSA_NAME
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ab3876debb3b..765ae6354ccf 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2009-08-14  Richard Guenther  <rguenther@suse.de>
+
+	* gcc.c-torture/execute/20090814-1.c: New testcase.
+
 2009-08-14  David Edelsohn  <edelsohn@gnu.org>
 
 	* gcc.dg/graphite/graphite_autopar: Move to libgomp testsuite.
diff --git a/gcc/testsuite/gcc.c-torture/execute/20090814-1.c b/gcc/testsuite/gcc.c-torture/execute/20090814-1.c
new file mode 100644
index 000000000000..857393b5760c
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/20090814-1.c
@@ -0,0 +1,23 @@
+int __attribute__((noinline))
+bar (int *a)
+{
+  return *a;
+}
+int i;
+int __attribute__((noinline))
+foo (int (*a)[2])
+{
+  return bar (&(*a)[i]);
+}
+
+extern void abort (void);
+int a[2];
+int main()
+{
+  a[0] = -1;
+  a[1] = 42;
+  i = 1;
+  if (foo (&a) != 42)
+    abort ();
+  return 0;
+}