diff options
| author | Andrew Pinski <apinski@apple.com> | 2004-09-15 01:18:01 +0000 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2004-09-14 18:18:01 -0700 |
| commit | 5ffcd77909762ca7091b915aef658f28c635ed36 (patch) | |
| tree | c63fef83707b3e5ee663fc4a4f4e20245a0d7801 | |
| parent | 798e5365d456e7eff966c7d107a64a6ca9eee8e8 (diff) | |
| download | gcc-5ffcd77909762ca7091b915aef658f28c635ed36.zip gcc-5ffcd77909762ca7091b915aef658f28c635ed36.tar.gz gcc-5ffcd77909762ca7091b915aef658f28c635ed36.tar.bz2 | |
pointer-reference-alias.C: New test.
2004-09-14 Andrew Pinski <apinski@apple.com>
* g++.dg/tree-ssa/pointer-reference-alias.C: New test.
2004-09-14 Andrew Pinski <apinski@apple.com>
* tree-ssa-copy.c (may_propagate_copy): Don't check the aliasing
sets of the pointers but the aliasing sets of what they point to.
From-SVN: r87527
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/tree-ssa/pointer-reference-alias.C | 13 | ||||
| -rw-r--r-- | gcc/tree-ssa-copy.c | 4 |
4 files changed, 24 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2ce328f..9100659 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-09-14 Andrew Pinski <apinski@apple.com> + + * tree-ssa-copy.c (may_propagate_copy): Don't check the aliasing + sets of the pointers but the aliasing sets of what they point to. + 2004-09-14 Roger Sayle <roger@eyesopen.com> PR rtl-optimization/9771 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a8f7e5d..78de08e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2004-09-14 Andrew Pinski <apinski@apple.com> + + * g++.dg/tree-ssa/pointer-reference-alias.C: New test. + 2004-09-14 Roger Sayle <roger@eyesopen.com> PR rtl-optimization/9771 diff --git a/gcc/testsuite/g++.dg/tree-ssa/pointer-reference-alias.C b/gcc/testsuite/g++.dg/tree-ssa/pointer-reference-alias.C new file mode 100644 index 0000000..028240b --- /dev/null +++ b/gcc/testsuite/g++.dg/tree-ssa/pointer-reference-alias.C @@ -0,0 +1,13 @@ +/* { dg-do compile } */ +/* { dg-options "-O1 -fdump-tree-vars" } */ + +int f(int *a) +{ + int &b = *a; + b = 0; + return *a; +} + +/* There should be only one dereferencing of a. */ +/* { dg-final { scan-tree-dump-times "\\*a" 1 "vars"} } */ + diff --git a/gcc/tree-ssa-copy.c b/gcc/tree-ssa-copy.c index 7b27c68..611bae7 100644 --- a/gcc/tree-ssa-copy.c +++ b/gcc/tree-ssa-copy.c @@ -112,8 +112,8 @@ may_propagate_copy (tree dest, tree orig) return false; else if (!lang_hooks.types_compatible_p (type_d, type_o)) return false; - else if (!alias_sets_conflict_p (get_alias_set (type_d), - get_alias_set (type_o))) + else if (!alias_sets_conflict_p (get_alias_set (TREE_TYPE (type_d)), + get_alias_set (TREE_TYPE (type_o)))) return false; } |