From: Eric Botcazou <ebotcazou@adacore.com>
Date: Wed, 28 Jul 2010 10:03:00 +0000 (+0000)
Subject: re PR tree-optimization/44885 (miscompilation of gnat.dg/aliasing3.adb after mem... 
X-Git-Tag: releases/gcc-4.6.0~5367
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=c2cf2f4a617f9fe6e69daca04b37e91b99bad0fe;p=thirdparty%2Fgcc.git

re PR tree-optimization/44885 (miscompilation of gnat.dg/aliasing3.adb after mem-ref2)

	PR tree-optimization/44885
	* tree-sra.c (find_param_candidates): Skip pointer types to arrays
	with non-aliased component.

From-SVN: r162621
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 177c873987fe..f13b647bdd50 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2010-07-28  Eric Botcazou  <ebotcazou@adacore.com>
+
+	PR tree-optimization/44885
+	* tree-sra.c (find_param_candidates): Skip pointer types to arrays
+	with non-aliased component.
+
 2010-07-28  Joseph Myers  <joseph@codesourcery.com>
 
 	* config/darwin-driver.c (SWITCH_TAKES_ARG,
diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c
index 4893962b65e8..0c1932e21bfa 100644
--- a/gcc/tree-sra.c
+++ b/gcc/tree-sra.c
@@ -3147,6 +3147,8 @@ find_param_candidates (void)
 
 	  if (TREE_CODE (type) == FUNCTION_TYPE
 	      || TYPE_VOLATILE (type)
+	      || (TREE_CODE (type) == ARRAY_TYPE
+		  && TYPE_NONALIASED_COMPONENT (type))
 	      || !is_gimple_reg (parm)
 	      || is_va_list_type (type)
 	      || ptr_parm_has_direct_uses (parm))