diff options
| author | Richard Guenther <rguenther@suse.de> | 2006-02-26 21:02:43 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2006-02-26 21:02:43 +0000 |
| commit | 651402f11e592b08c479c5e5e16367738b4d1fc7 (patch) | |
| tree | 0c8731228fa873a40ebda7c821f6c84a41b9a12f /gcc | |
| parent | 37818e7cec777ac18d89ec448cb94603d3ec5c7f (diff) | |
| download | gcc-651402f11e592b08c479c5e5e16367738b4d1fc7.zip gcc-651402f11e592b08c479c5e5e16367738b4d1fc7.tar.gz gcc-651402f11e592b08c479c5e5e16367738b4d1fc7.tar.bz2 | |
re PR tree-optimization/26421 (tree-ssa-alias.c:find_used_portions considers foo(&var) use all elements of var)
2006-02-26 Richard Guenther <rguenther@suse.de>
PR tree-optimization/26421
* tree-ssa-alias.c (find_used_portions): Don't treat parameters
in function calls that are ADDR_EXPRs as using the whole structure.
* gcc.dg/tree-ssa/pr26421.c: New testcase.
From-SVN: r111461
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/pr26421.c | 19 | ||||
| -rw-r--r-- | gcc/tree-ssa-alias.c | 11 |
4 files changed, 41 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c2e5639..1d562dc 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2006-02-26 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/26421 + * tree-ssa-alias.c (find_used_portions): Don't treat parameters + in function calls that are ADDR_EXPRs as using the whole structure. + 2006-02-26 Steven Bosscher <stevenb.gcc@gmail.com> * common.opt (-floop-optimize, -frerun-loop-opt): Remove. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 68924f5..81f9b5e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2006-02-26 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/26421 + * gcc.dg/tree-ssa/pr26421.c: New testcase. + 2006-02-26 Steven Bosscher <stevenb.gcc@gmail.com> * gcc.dg/20031201-1.c: Don't use -frerun-loop-opt. diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr26421.c b/gcc/testsuite/gcc.dg/tree-ssa/pr26421.c new file mode 100644 index 0000000..edb3685 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr26421.c @@ -0,0 +1,19 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-alias1-vops" } */ + +typedef struct { + int i; + int j; + int k; +} Foo; + +void bar(Foo*); +void foo(void) +{ + Foo a; + a.i = 1; + bar(&a); +} + +/* { dg-final { scan-tree-dump-times "V_MAY_DEF" 1 "alias1" } } */ +/* { dg-final { cleanup-tree-dump "alias1" } } */ diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c index fe69198..5e13f00 100644 --- a/gcc/tree-ssa-alias.c +++ b/gcc/tree-ssa-alias.c @@ -3078,6 +3078,17 @@ find_used_portions (tree *tp, int *walk_subtrees, void *lhs_p) } } break; + case CALL_EXPR: + { + tree *arg; + for (arg = &TREE_OPERAND (*tp, 1); *arg; arg = &TREE_CHAIN (*arg)) + { + if (TREE_CODE (TREE_VALUE (*arg)) != ADDR_EXPR) + find_used_portions (&TREE_VALUE (*arg), walk_subtrees, NULL); + } + *walk_subtrees = 0; + return NULL_TREE; + } case VAR_DECL: case PARM_DECL: case RESULT_DECL: |