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-cfg.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-cfg.c')
| -rw-r--r-- | gcc/tree-cfg.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 6be417b..8a36976 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -3815,9 +3815,9 @@ verify_gimple_assign_single (gimple stmt) } if (gimple_clobber_p (stmt) - && !DECL_P (lhs)) + && !(DECL_P (lhs) || TREE_CODE (lhs) == MEM_REF)) { - error ("non-decl LHS in clobber statement"); + error ("non-decl/MEM_REF LHS in clobber statement"); debug_generic_expr (lhs); return true; } |