From 9949572916f27c168ed85ec83ab9924a50c53538 Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Wed, 28 Jun 2006 21:12:20 -0400 Subject: re PR c++/27768 (wrong-code with vectors) PR c++/27768 * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Add may_aliases already in the tag's annotations to the bitmap. From-SVN: r115062 --- gcc/tree-ssa-alias.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'gcc/tree-ssa-alias.c') diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c index 2da4e61..1607c71 100644 --- a/gcc/tree-ssa-alias.c +++ b/gcc/tree-ssa-alias.c @@ -1162,6 +1162,7 @@ compute_flow_insensitive_aliasing (struct alias_info *ai) struct alias_map_d *p_map = ai->pointers[i]; tree tag = var_ann (p_map->var)->symbol_mem_tag; var_ann_t tag_ann = var_ann (tag); + tree var; /* Call-clobbering information is not finalized yet at this point. */ if (PTR_IS_REF_ALL (p_map->var)) @@ -1170,11 +1171,15 @@ compute_flow_insensitive_aliasing (struct alias_info *ai) p_map->total_alias_vops = 0; p_map->may_aliases = BITMAP_ALLOC (&alias_obstack); + /* Add any pre-existing may_aliases to the bitmap used to represent + TAG's alias set in case we need to group aliases. */ + for (j = 0; VEC_iterate (tree, tag_ann->may_aliases, j, var); ++j) + bitmap_set_bit (p_map->may_aliases, DECL_UID (var)); + for (j = 0; j < ai->num_addressable_vars; j++) { struct alias_map_d *v_map; var_ann_t v_ann; - tree var; bool tag_stored_p, var_stored_p; v_map = ai->addressable_vars[j]; -- cgit v1.1