diff options
| author | Richard Guenther <rguenther@suse.de> | 2012-08-07 12:11:43 +0000 |
|---|---|---|
| committer | Richard Guenther <rguenther@suse.de> | 2012-08-07 12:11:43 +0000 |
| commit | 9e65ed4b38ae0dc0207b836ceb73210e6a7457be (patch) | |
| tree | 02e3ec579b10a719a3d7f4d2ad5c2cdc6cc883c1 /gcc/tree-cfg.c | |
| parent | 85a8808171f8ec09ea6d7c996693a6e4f3f2b3e5 (diff) | |
2012-08-07 Richard Guenther <rguenther@suse.de>
* tree-into-ssa.c (rewrite_stmt): Remove clobbers for variables
we rewrite into SSA form.
(rewrite_enter_block): Adjust.
* gimple-iterator.c (gsi_replace): Also allow replacement with
a stmt without a lhs.
* tree-ssa-live.c (remove_unused_locals): Remove code handling
clobbers of SSA names.
* tree-nested.c (convert_local_reference_stmt): Remove clobbers
for variables we access through the local chain.
* tree-cfg.c (verify_gimple_assign_single): Verify clobbers
clobber full decls only.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@190200 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-cfg.c')
| -rw-r--r-- | gcc/tree-cfg.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 601899c4e01..bc4045ef56d 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -3930,6 +3930,14 @@ verify_gimple_assign_single (gimple stmt) return true; } + if (gimple_clobber_p (stmt) + && !DECL_P (lhs)) + { + error ("non-decl LHS in clobber statement"); + debug_generic_expr (lhs); + return true; + } + if (handled_component_p (lhs)) res |= verify_types_in_gimple_reference (lhs, true); |