diff options
author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-12-20 14:40:33 +0000 |
---|---|---|
committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-12-20 14:40:33 +0000 |
commit | 1bef3e76b824e3a791b19ebd0a0ef8e1887fcad0 (patch) | |
tree | 5990689e70d0a0e74d6934d8c11527dd589c94c9 /gcc/tree-ssa-dse.c | |
parent | bd27f10defae57d8ca9f20a3bb135eb8f8928a09 (diff) | |
download | gcc-1bef3e76b824e3a791b19ebd0a0ef8e1887fcad0.tar.gz |
PR c++/34459
* tree-ssa-dse.c (dse_optimize_stmt): Don't eliminate store if
USE_STMT not only stores into the same object as STMT, but might
read it too.
* gcc.c-torture/execute/20071219-1.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@131101 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-ssa-dse.c')
-rw-r--r-- | gcc/tree-ssa-dse.c | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/tree-ssa-dse.c b/gcc/tree-ssa-dse.c index 3435fa30382..3e0f04be124 100644 --- a/gcc/tree-ssa-dse.c +++ b/gcc/tree-ssa-dse.c @@ -470,6 +470,26 @@ dse_optimize_stmt (struct dom_walk_data *walk_data, vuse_vec_p vv; tree stmt_lhs; + if (LOADED_SYMS (use_stmt)) + { + tree use_base + = get_base_address (GIMPLE_STMT_OPERAND (use_stmt, 0)); + /* If use_stmt is or might be a nop assignment, e.g. for + struct { ... } S a, b, *p; ... + b = a; b = b; + or + b = a; b = *p; where p might be &b, then USE_STMT + acts as a use as well as definition, so store in STMT + is not dead. */ + if (TREE_CODE (use_base) == VAR_DECL + && bitmap_bit_p (LOADED_SYMS (use_stmt), + DECL_UID (use_base))) + { + record_voperand_set (dse_gd->stores, &bd->stores, ann->uid); + return; + } + } + if (dump_file && (dump_flags & TDF_DETAILS)) { fprintf (dump_file, " Deleted dead store '"); |