diff options
| author | Richard Guenther <rguenther@suse.de> | 2006-02-14 09:58:57 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2006-02-14 09:58:57 +0000 |
| commit | 0a4288d92e5c080b448db4041091aea932b44980 (patch) | |
| tree | 3a082476ee7a2b29e659feef49b9952c45987e90 /gcc/tree-ssa-structalias.c | |
| parent | d1f8db0c36b50bc14d1287d04804bd51fca076cb (diff) | |
| download | gcc-0a4288d92e5c080b448db4041091aea932b44980.zip gcc-0a4288d92e5c080b448db4041091aea932b44980.tar.gz gcc-0a4288d92e5c080b448db4041091aea932b44980.tar.bz2 | |
re PR tree-optimization/26258 (Wrong alias information for struct addresses in PHIs)
2006-02-14 Richard Guenther <rguenther@suse.de>
PR tree-optimization/26258
* tree-ssa-structalias.c (find_func_aliases): Handle aggregates
in PHI argument processing.
* gcc.dg/torture/pr26258.c: New testcase.
From-SVN: r110963
Diffstat (limited to 'gcc/tree-ssa-structalias.c')
| -rw-r--r-- | gcc/tree-ssa-structalias.c | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index fbe9ddf..2ddbe0f 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -3239,7 +3239,33 @@ find_func_aliases (tree origt) get_constraint_for (PHI_RESULT (t), &lhsc); for (i = 0; i < PHI_NUM_ARGS (t); i++) { + tree rhstype; + tree strippedrhs = PHI_ARG_DEF (t, i); + + STRIP_NOPS (strippedrhs); + rhstype = TREE_TYPE (strippedrhs); get_constraint_for (PHI_ARG_DEF (t, i), &rhsc); + + if (TREE_CODE (strippedrhs) == ADDR_EXPR + && AGGREGATE_TYPE_P (TREE_TYPE (rhstype)) + && VEC_length (ce_s, rhsc) == 1) + { + struct constraint_expr *origrhs; + varinfo_t origvar; + struct constraint_expr tmp; + + gcc_assert (VEC_length (ce_s, rhsc) == 1); + origrhs = VEC_last (ce_s, rhsc); + tmp = *origrhs; + VEC_pop (ce_s, rhsc); + origvar = get_varinfo (origrhs->var); + for (; origvar; origvar = origvar->next) + { + tmp.var = origvar->id; + VEC_safe_push (ce_s, heap, rhsc, &tmp); + } + } + for (j = 0; VEC_iterate (ce_s, lhsc, j, c); j++) { struct constraint_expr *c2; |