aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-sra.c
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2010-07-28 10:03:00 +0000
committerEric Botcazou <ebotcazou@gcc.gnu.org>2010-07-28 10:03:00 +0000
commitc2cf2f4a617f9fe6e69daca04b37e91b99bad0fe (patch)
tree08bae8855a426548ccb425008d01bcf366851c46 /gcc/tree-sra.c
parenteea13eaddc2a75a685f8a074e57f3510f9ca9c57 (diff)
downloadgcc-c2cf2f4a617f9fe6e69daca04b37e91b99bad0fe.zip
gcc-c2cf2f4a617f9fe6e69daca04b37e91b99bad0fe.tar.gz
gcc-c2cf2f4a617f9fe6e69daca04b37e91b99bad0fe.tar.bz2
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
Diffstat (limited to 'gcc/tree-sra.c')
-rw-r--r--gcc/tree-sra.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c
index 4893962..0c1932e 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))