diff options
| author | Tom de Vries <tom@codesourcery.com> | 2011-07-30 12:37:47 +0000 |
|---|---|---|
| committer | Tom de Vries <vries@gcc.gnu.org> | 2011-07-30 12:37:47 +0000 |
| commit | b3421a06f981f875e0aee932b4f80c52dcb37e72 (patch) | |
| tree | bfab37b2b93f99da187abb936e89b5750831b3b1 /gcc | |
| parent | ee27f97bd8b9ac9dc6b7b5f4e4d47e09a8d915ce (diff) | |
| download | gcc-b3421a06f981f875e0aee932b4f80c52dcb37e72.zip gcc-b3421a06f981f875e0aee932b4f80c52dcb37e72.tar.gz gcc-b3421a06f981f875e0aee932b4f80c52dcb37e72.tar.bz2 | |
re PR middle-end/43513 (The stack pointer is adjusted twice)
2011-07-30 Tom de Vries <tom@codesourcery.com>
PR middle-end/43513
* tree-ssa-dce.c (ref_may_be_aliased): Add assert.
(propagate_necessity): Handle WITH_SIZE_EXPR call arg.
From-SVN: r176959
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-ssa-dce.c | 3 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6c707bb..99968b3 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2011-07-30 Tom de Vries <tom@codesourcery.com> + + PR middle-end/43513 + * tree-ssa-dce.c (ref_may_be_aliased): Add assert. + (propagate_necessity): Handle WITH_SIZE_EXPR call arg. + 2011-07-29 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> * config/mips/driver-native.c [__sgi__]: Include <invent.h>, diff --git a/gcc/tree-ssa-dce.c b/gcc/tree-ssa-dce.c index 9597b57..bf69bbf 100644 --- a/gcc/tree-ssa-dce.c +++ b/gcc/tree-ssa-dce.c @@ -490,6 +490,7 @@ find_obviously_necessary_stmts (struct edge_list *el) static bool ref_may_be_aliased (tree ref) { + gcc_assert (TREE_CODE (ref) != WITH_SIZE_EXPR); while (handled_component_p (ref)) ref = TREE_OPERAND (ref, 0); if (TREE_CODE (ref) == MEM_REF @@ -850,6 +851,8 @@ propagate_necessity (struct edge_list *el) if (TREE_CODE (arg) == SSA_NAME || is_gimple_min_invariant (arg)) continue; + if (TREE_CODE (arg) == WITH_SIZE_EXPR) + arg = TREE_OPERAND (arg, 0); if (!ref_may_be_aliased (arg)) mark_aliased_reaching_defs_necessary (stmt, arg); } |