re PR tree-optimization/69776 (Wrong optimization with aliasing)
authorRichard Biener <rguenther@suse.de>
Tue, 16 Feb 2016 15:00:45 +0000 (15:00 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Tue, 16 Feb 2016 15:00:45 +0000 (15:00 +0000)
commit87440c298eb2ed47166b8d57a4afc90d310f3a8f
tree8d0e66b862f18cc6aaa9eaf860c087a6377e9e42
parent6d87c306c6a44f8db81a9a9f2f5de4d943d5e57f
re PR tree-optimization/69776 (Wrong optimization with aliasing)

2016-02-16  Richard Biener  <rguenther@suse.de>

PR tree-optimization/69776
* tree-ssa-alias.c (indirect_ref_may_alias_decl_p): Get alias
sets from caller.
(indirect_refs_may_alias_p): Likewise.
(refs_may_alias_p_1): Pass alias sets as from ao_ref.
* tree-ssa-sccvn.c (vn_reference_lookup): Also adjust vr alias-set
according to tbaa_p.
* tree-ssa-dom.c (lookup_avail_expr): Add tbaa_p flag.
(optimize_stmt): For redundant store discovery do not allow tbaa.

* gcc.dg/torture/pr69776-2.c: New testcase.

From-SVN: r233453
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/torture/pr69776-2.c [new file with mode: 0644]
gcc/tree-ssa-alias.c
gcc/tree-ssa-dom.c
gcc/tree-ssa-sccvn.c