diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2013-04-02 20:25:36 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2013-04-02 20:25:36 +0200 |
| commit | 5d751b0c970f54e3a99a177d4b2d77db81116e09 (patch) | |
| tree | 4ee3c2b7dfdc5ebe044adb7a6e509a7d8ffa2e13 /gcc/tree-sra.c | |
| parent | e594716a6a02ffcc0a33862ff6ea8325ac2263e8 (diff) | |
| download | gcc-5d751b0c970f54e3a99a177d4b2d77db81116e09.zip gcc-5d751b0c970f54e3a99a177d4b2d77db81116e09.tar.gz gcc-5d751b0c970f54e3a99a177d4b2d77db81116e09.tar.bz2 | |
re PR c++/34949 (Dead code in empty destructors.)
PR c++/34949
* tree-cfg.c (verify_gimple_assign_single): Allow lhs
of gimple_clobber_p to be MEM_REF.
* gimplify.c (gimplify_modify_expr): Gimplify *to_p of
an assignment from TREE_CLOBBER_P. Allow it to be MEM_REF
after gimplification.
* asan.c (get_mem_ref_of_assignment): Don't instrument
gimple_clobber_p stmts.
* tree-ssa-dse.c (dse_optimize_stmt): Allow DSE of
gimple_clobber_p stmt if they have MEM_REF lhs and
are dead because of another gimple_clobber_p stmt.
* tree-ssa-live.c (clear_unused_block_pointer): Treat
gimple_clobber_p stmts like debug stmts.
(remove_unused_locals): Remove clobbers with MEM_REF lhs
that refer to unused VAR_DECLs or uninitialized values.
* tree-sra.c (sra_ipa_reset_debug_stmts): Also remove
gimple_clobber_p stmts if they refer to removed parameters.
(get_repl_default_def_ssa_name, sra_ipa_modify_expr): Fix up
formatting.
From-SVN: r197369
Diffstat (limited to 'gcc/tree-sra.c')
| -rw-r--r-- | gcc/tree-sra.c | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c index 93446c2..78efa25 100644 --- a/gcc/tree-sra.c +++ b/gcc/tree-sra.c @@ -2965,8 +2965,8 @@ sra_modify_constructor_assign (gimple *stmt, gimple_stmt_iterator *gsi) static tree get_repl_default_def_ssa_name (struct access *racc) { - gcc_checking_assert (!racc->grp_to_be_replaced && - !racc->grp_to_be_debug_replaced); + gcc_checking_assert (!racc->grp_to_be_replaced + && !racc->grp_to_be_debug_replaced); if (!racc->replacement_decl) racc->replacement_decl = create_access_replacement (racc); return get_or_create_ssa_default_def (cfun, racc->replacement_decl); @@ -4462,8 +4462,8 @@ sra_ipa_modify_expr (tree *expr, bool convert, { adj = &adjustments[i]; - if (adj->base == base && - (adj->offset == offset || adj->remove_param)) + if (adj->base == base + && (adj->offset == offset || adj->remove_param)) { cand = adj; break; @@ -4676,6 +4676,14 @@ sra_ipa_reset_debug_stmts (ipa_parm_adjustment_vec adjustments) if (name) FOR_EACH_IMM_USE_STMT (stmt, ui, name) { + if (gimple_clobber_p (stmt)) + { + gimple_stmt_iterator cgsi = gsi_for_stmt (stmt); + unlink_stmt_vdef (stmt); + gsi_remove (&cgsi, true); + release_defs (stmt); + continue; + } /* All other users must have been removed by ipa_sra_modify_function_body. */ gcc_assert (is_gimple_debug (stmt)); |