diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2010-07-28 10:03:00 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2010-07-28 10:03:00 +0000 |
| commit | c2cf2f4a617f9fe6e69daca04b37e91b99bad0fe (patch) | |
| tree | 08bae8855a426548ccb425008d01bcf366851c46 | |
| parent | eea13eaddc2a75a685f8a074e57f3510f9ca9c57 (diff) | |
| download | gcc-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
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-sra.c | 2 |
2 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 177c873..f13b647 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 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)) |