diff options
| author | dberlin <dberlin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-04-11 20:15:33 +0000 |
|---|---|---|
| committer | dberlin <dberlin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-04-11 20:15:33 +0000 |
| commit | 48140fa8e27a3b4cbbd494ff8c9772d798ca37d5 (patch) | |
| tree | 5d436d627d39db10a9dd78f74cca0af2b9c8c1da | |
| parent | fbccfefaa27328106bd1ff73d2e62f2640fa0e45 (diff) | |
| download | ppe42-gcc-48140fa8e27a3b4cbbd494ff8c9772d798ca37d5.tar.gz ppe42-gcc-48140fa8e27a3b4cbbd494ff8c9772d798ca37d5.zip | |
2005-04-11 Daniel Berlin <dberlin@dberlin.org>
Fix PR tree-optimization/20926
* tree-ssa-alias.c (add_type_alias): Handle subvars.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@97982 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-ssa-alias.c | 14 |
2 files changed, 19 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0818b493467..beb69e756cb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2005-04-11 Daniel Berlin <dberlin@dberlin.org> + + Fix PR tree-optimization/20926 + + * tree-ssa-alias.c (add_type_alias): Handle subvars. + 2005-04-11 Devang Patel <dpatel@apple.com> * config/rs6000.c (rs6000_emit_vector_select): Fix vector select diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c index 0f7001757c5..7d8e783174e 100644 --- a/gcc/tree-ssa-alias.c +++ b/gcc/tree-ssa-alias.c @@ -2704,6 +2704,7 @@ add_type_alias (tree ptr, tree var) varray_type aliases; tree tag; var_ann_t ann = var_ann (ptr); + subvar_t svars; if (ann->type_mem_tag == NULL_TREE) { @@ -2748,7 +2749,18 @@ found_tag: for PTR's type tag. */ gcc_assert (var_ann (var)->type_mem_tag == NOT_A_TAG); tag = ann->type_mem_tag; - add_may_alias (tag, var); + + /* If VAR has subvars, add the subvars to the tag instead of the + actual var. */ + if (var_can_have_subvars (var) + && (svars = get_subvars_for_var (var))) + { + subvar_t sv; + for (sv = svars; sv; sv = sv->next) + add_may_alias (tag, sv->var); + } + else + add_may_alias (tag, var); /* TAG and its set of aliases need to be marked for renaming. */ mark_sym_for_renaming (tag); |
