diff options
| author | Diego Novillo <dnovillo@redhat.com> | 2004-07-28 17:49:06 +0000 |
|---|---|---|
| committer | Diego Novillo <dnovillo@gcc.gnu.org> | 2004-07-28 13:49:06 -0400 |
| commit | 852c7b12c56a25dfbad50418d9c4a093b7463bd4 (patch) | |
| tree | 5bdec7276630de906b45db2e568a8be1271435b5 | |
| parent | 05bfc51d876f2b0abcc4bde6439732d65db9da6b (diff) | |
| download | gcc-852c7b12c56a25dfbad50418d9c4a093b7463bd4.zip gcc-852c7b12c56a25dfbad50418d9c4a093b7463bd4.tar.gz gcc-852c7b12c56a25dfbad50418d9c4a093b7463bd4.tar.bz2 | |
tree-ssa.c (verify_flow_insensitive_alias_info): Process every variable that may have aliases, not just tags.
* tree-ssa.c (verify_flow_insensitive_alias_info): Process
every variable that may have aliases, not just tags.
From-SVN: r85267
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree-ssa.c | 25 |
2 files changed, 16 insertions, 14 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index cf2ddc3..259ad7c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-07-28 Diego Novillo <dnovillo@redhat.com> + + * tree-ssa.c (verify_flow_insensitive_alias_info): Process + every variable that may have aliases, not just tags. + 2004-07-28 Aldy Hernandez <aldyh@redhat.com> * config/rs6000/rs6000.md ("move_from_CR_gt_bit"): Rename to diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 52df869..3bb3595 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -348,28 +348,25 @@ verify_flow_insensitive_alias_info (void) for (i = 0; i < num_referenced_vars; i++) { + size_t j; var_ann_t ann; + varray_type may_aliases; var = referenced_var (i); ann = var_ann (var); + may_aliases = ann->may_aliases; - if (ann->mem_tag_kind == TYPE_TAG || ann->mem_tag_kind == NAME_TAG) + for (j = 0; may_aliases && j < VARRAY_ACTIVE_SIZE (may_aliases); j++) { - size_t j; - varray_type may_aliases = ann->may_aliases; - - for (j = 0; may_aliases && j < VARRAY_ACTIVE_SIZE (may_aliases); j++) - { - tree alias = VARRAY_TREE (may_aliases, j); + tree alias = VARRAY_TREE (may_aliases, j); - bitmap_set_bit (visited, var_ann (alias)->uid); + bitmap_set_bit (visited, var_ann (alias)->uid); - if (!may_be_aliased (alias)) - { - error ("Non-addressable variable inside an alias set."); - debug_variable (alias); - goto err; - } + if (!may_be_aliased (alias)) + { + error ("Non-addressable variable inside an alias set."); + debug_variable (alias); + goto err; } } } |