diff options
| author | Richard Guenther <rguenther@suse.de> | 2009-08-30 11:52:13 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2009-08-30 11:52:13 +0000 |
| commit | a778c4e72121c5b705e7d9448effe43e32dc4943 (patch) | |
| tree | 472a7d66ee84dccb85b005956f034ca58e36abc4 /gcc/tree-ssa-alias.h | |
| parent | 01d93568e892e196fbc28454f9f9e3553cbfcd7e (diff) | |
| download | gcc-a778c4e72121c5b705e7d9448effe43e32dc4943.zip gcc-a778c4e72121c5b705e7d9448effe43e32dc4943.tar.gz gcc-a778c4e72121c5b705e7d9448effe43e32dc4943.tar.bz2 | |
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
Diffstat (limited to 'gcc/tree-ssa-alias.h')
| -rw-r--r-- | gcc/tree-ssa-alias.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/tree-ssa-alias.h b/gcc/tree-ssa-alias.h index 3a08750..4970692 100644 --- a/gcc/tree-ssa-alias.h +++ b/gcc/tree-ssa-alias.h @@ -88,6 +88,7 @@ typedef struct ao_ref_s /* In tree-ssa-alias.c */ extern void ao_ref_init (ao_ref *, tree); +extern void ao_ref_init_from_ptr_and_size (ao_ref *, tree, tree); extern tree ao_ref_base (ao_ref *); extern alias_set_type ao_ref_alias_set (ao_ref *); extern bool ptr_deref_may_alias_global_p (tree); |