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

gcc/ChangeLog

+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,

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))