]> git.ipfire.org Git - thirdparty/gcc.git/commit
re PR tree-optimization/41186 (VN doesn't look through non-aliasing by offset memcpy)
authorRichard Guenther <rguenther@suse.de>
Sun, 30 Aug 2009 11:52:13 +0000 (11:52 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Sun, 30 Aug 2009 11:52:13 +0000 (11:52 +0000)
commita778c4e72121c5b705e7d9448effe43e32dc4943
tree472a7d66ee84dccb85b005956f034ca58e36abc4
parent01d93568e892e196fbc28454f9f9e3553cbfcd7e
re PR tree-optimization/41186 (VN doesn't look through non-aliasing by offset memcpy)

2009-08-30  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/41186
* tree-ssa-alias.c (ptr_deref_may_alias_ref_p): Remove.
(ao_ref_init_from_ptr_and_size): New function.
(ref_maybe_used_by_call_p_1): Be more precise tracking
used ranges for builtin functions.
(ref_maybe_used_by_call_p): Adjust.
(call_may_clobber_ref_p_1): Be more precise tracking clobbered
ranges for builtin functions.
* tree-ssa-alias.h (ao_ref_init_from_ptr_and_size): Declare.

* g++.dg/torture/pr41186.C: New testcase.
* g++.dg/tree-ssa/pr41186.C: Likewise.

From-SVN: r151226
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/torture/pr41186.C [new file with mode: 0644]
gcc/testsuite/g++.dg/tree-ssa/pr41186.C [new file with mode: 0644]
gcc/tree-ssa-alias.c
gcc/tree-ssa-alias.h