From 3ec1a7379f92411a4a311aaa347dfb14d2e23815 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Thu, 20 Dec 2007 15:40:33 +0100 Subject: re PR c++/34459 (incorrect code when compiled with optimization (-O1)) 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. From-SVN: r131101 --- gcc/tree-ssa-dse.c | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) (limited to 'gcc/tree-ssa-dse.c') diff --git a/gcc/tree-ssa-dse.c b/gcc/tree-ssa-dse.c index 3435fa3..3e0f04b 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 '"); -- cgit v1.1