diff options
| author | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-09-17 01:10:28 +0000 |
|---|---|---|
| committer | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-09-17 01:10:28 +0000 |
| commit | 61d3f8df95edd4f783c5f6ba046326ab08a6bcb2 (patch) | |
| tree | 3307a55b4fb35c7579d8c021d2f9e2130d4e38b4 | |
| parent | 26f77198c44f4e8981689d66f6b6d5338c505de4 (diff) | |
| download | ppe42-gcc-61d3f8df95edd4f783c5f6ba046326ab08a6bcb2.tar.gz ppe42-gcc-61d3f8df95edd4f783c5f6ba046326ab08a6bcb2.zip | |
PR tree-optimization/17528
* tree-ssa-alias.c (compute_flow_insensitive_aliasing): Do not
erase the may-alias set for a tag when merging it with
another.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@87624 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/tree-ssa-alias.c | 3 |
2 files changed, 7 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 31e4df25e35..bc9fb613629 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2004-09-16 Diego Novillo <dnovillo@redhat.com> + + PR tree-optimization/17528 + * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Do not + erase the may-alias set for a tag when merging it with + another. + 2004-09-16 Kaz Kojima <kkojima@gcc.gnu.org> * config/sh/sh.md (call): Extend 32-bit addresses to DImode diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c index 801de5bfaa5..d30dc38d637 100644 --- a/gcc/tree-ssa-alias.c +++ b/gcc/tree-ssa-alias.c @@ -977,7 +977,6 @@ compute_flow_insensitive_aliasing (struct alias_info *ai) { struct alias_map_d *p_map2 = ai->pointers[j]; tree tag2 = var_ann (p_map2->var)->type_mem_tag; - var_ann_t tag2_ann = var_ann (tag2); sbitmap may_aliases2 = p_map2->may_aliases; /* If the pointers may not point to each other, do nothing. */ @@ -999,8 +998,6 @@ compute_flow_insensitive_aliasing (struct alias_info *ai) EXECUTE_IF_SET_IN_SBITMAP (may_aliases2, 0, k, add_may_alias (tag1, referenced_var (k))); sbitmap_a_or_b (may_aliases1, may_aliases1, may_aliases2); - sbitmap_zero (may_aliases2); - tag2_ann->may_aliases = NULL; } else { |
