From a555a02ce606c46f41433e524e81162af396b11c Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Tue, 10 Jan 2006 14:55:59 +0000 Subject: [PATCH] tree-ssa-structalias.c (get_constraint_for_component_ref): Never override with anything constraint. 2006-01-10 Richard Guenther * tree-ssa-structalias.c (get_constraint_for_component_ref): Never override with anything constraint. From-SVN: r109544 --- gcc/ChangeLog | 5 +++++ gcc/tree-ssa-structalias.c | 17 +++-------------- 2 files changed, 8 insertions(+), 14 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ad3f304892d3..4d6c661ef2b4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2006-01-10 Richard Guenther + + * tree-ssa-structalias.c (get_constraint_for_component_ref): + Never override with anything constraint. + 2006-01-10 Jan Beulich * config/i386/i386.c (ix86_data_alignment): Don't force alignment to diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index 63ba8d4deb84..e7b47fc31b2e 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -2373,25 +2373,14 @@ get_constraint_for_component_ref (tree t, VEC(ce_s, heap) **results) t = get_ref_base_and_extent (t, &bitpos, &bitsize, &bitmaxsize); get_constraint_for (t, results); result = VEC_last (ce_s, *results); + result->offset = bitpos; gcc_assert (beforelength + 1 == VEC_length (ce_s, *results)); /* This can also happen due to weird offsetof type macros. */ if (TREE_CODE (t) != ADDR_EXPR && result->type == ADDRESSOF) result->type = SCALAR; - - /* If we know where this goes, then yay. Otherwise, booo. */ - if (bitmaxsize != -1 - && bitsize == bitmaxsize) - { - result->offset = bitpos; - } - else - { - result->var = anything_id; - result->offset = 0; - } - + if (result->type == SCALAR) { /* In languages like C, you can access one past the end of an @@ -2409,7 +2398,7 @@ get_constraint_for_component_ref (tree t, VEC(ce_s, heap) **results) for (curr = get_varinfo (result->var); curr; curr = curr->next) { if (offset_overlaps_with_access (curr->offset, curr->size, - result->offset, bitsize)) + result->offset, bitmaxsize)) { result->var = curr->id; break; -- 2.47.2