From 7a1162112b7fbbd0fd3c8dc5b59e065f170e0042 Mon Sep 17 00:00:00 2001 From: Diego Novillo Date: Fri, 17 Sep 2004 01:10:28 +0000 Subject: [PATCH] re PR tree-optimization/17528 (tree optimization incorrectly optimizes away entire function (incorrect aliasing detection?)) 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. From-SVN: r87624 --- gcc/ChangeLog | 7 +++++++ 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 + + 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 * 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 { -- 2.30.2