From 8d2c775f0175a71fefe00156505c9f5c50af4114 Mon Sep 17 00:00:00 2001 From: Daniel Berlin Date: Thu, 29 Sep 2005 19:38:00 +0000 Subject: [PATCH] re PR tree-optimization/24117 (struct is not marked fully as call clobbered) 2005-09-29 Daniel Berlin Fix PR tree-optimization/24117 * tree-ssa-structalias.c (find_func_aliases): Strip nops before considering whether to use anyoffset. From-SVN: r104791 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/gcc.dg/tree-ssa/pr24117.c | 24 ++++++++++++++++++++++++ gcc/tree-ssa-structalias.c | 6 ++++-- 3 files changed, 34 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr24117.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ebedfcacf59..2242dcdf8cd 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2005-09-29 Daniel Berlin + + Fix PR tree-optimization/24117 + * tree-ssa-structalias.c (find_func_aliases): Strip nops + before considering whether to use anyoffset. + 2005-09-29 Paolo Bonzini Revert this patch: diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr24117.c b/gcc/testsuite/gcc.dg/tree-ssa/pr24117.c new file mode 100644 index 00000000000..ffa5dd04c46 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr24117.c @@ -0,0 +1,24 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-optimized" } */ + +typedef struct { + int x; + int z; +} Foo_t; + +char *xm; +void bar(void); + +void foo(void) +{ + Foo_t x; + x.x = 1; + x.z = 2; + xm = (char *)&x; + bar(); + /* We can't propagate x.z past bar, so this link_error should still be there. */ + if (x.z != 2) + link_error (); +} +/* { dg-final { scan-tree-dump-times "link_error" 1 "optimized"} } */ +/* { dg-final { cleanup-tree-dump "optimized" } } */ diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index c41519ca846..890006afd20 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -2817,16 +2817,18 @@ find_func_aliases (tree t, struct alias_info *ai) case tcc_expression: case tcc_unary: { + tree anyoffsetrhs = rhsop; bool need_anyoffset = false; rhs = get_constraint_for (rhsop, &need_anyoffset); process_constraint (new_constraint (lhs, rhs)); - + + STRIP_NOPS (anyoffsetrhs); /* When taking the address of an aggregate type, from the LHS we can access any field of the RHS. */ if (need_anyoffset || (rhs.type == ADDRESSOF && !(get_varinfo (rhs.var)->is_special_var) - && AGGREGATE_TYPE_P (TREE_TYPE (TREE_TYPE (rhsop))))) + && AGGREGATE_TYPE_P (TREE_TYPE (TREE_TYPE (anyoffsetrhs))))) { rhs.var = anyoffset_id; rhs.type = ADDRESSOF; -- 2.30.2