diff options
| author | Richard Guenther <rguenther@suse.de> | 2010-03-01 12:56:44 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-03-01 12:56:44 +0000 |
| commit | 434c8f4b99a89391ee874db02f0395979792eb3f (patch) | |
| tree | 203acddae995515ee65514805003aa7a64565cc4 /gcc/expr.c | |
| parent | 291c0a12c4a00c0aa5a67e570e3194b808ad6946 (diff) | |
| download | gcc-434c8f4b99a89391ee874db02f0395979792eb3f.tar.gz | |
re PR tree-optimization/43213 (Worse code generated with -O2)
2010-03-01 Richard Guenther <rguenther@suse.de>
PR middle-end/43213
* expr.c (expand_assignment): Use the alias-oracle to tell
if the rhs aliases the result decl.
* gcc.dg/pr43213.c: New testcase.
From-SVN: r157142
Diffstat (limited to 'gcc/expr.c')
| -rw-r--r-- | gcc/expr.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/expr.c b/gcc/expr.c index cd013b023a6..1e74f2a6911 100644 --- a/gcc/expr.c +++ b/gcc/expr.c @@ -4432,9 +4432,11 @@ expand_assignment (tree to, tree from, bool nontemporal) /* In case we are returning the contents of an object which overlaps the place the value is being stored, use a safe function when copying a value through a pointer into a structure value return block. */ - if (TREE_CODE (to) == RESULT_DECL && TREE_CODE (from) == INDIRECT_REF + if (TREE_CODE (to) == RESULT_DECL + && TREE_CODE (from) == INDIRECT_REF && ADDR_SPACE_GENERIC_P - (TYPE_ADDR_SPACE (TREE_TYPE (TREE_TYPE (TREE_OPERAND (from, 0))))) + (TYPE_ADDR_SPACE (TREE_TYPE (TREE_TYPE (TREE_OPERAND (from, 0))))) + && refs_may_alias_p (to, from) && cfun->returns_struct && !cfun->returns_pcc_struct) { |