diff options
| author | Jason Merrill <jason@redhat.com> | 2023-12-11 11:35:31 -0500 |
|---|---|---|
| committer | Jason Merrill <jason@redhat.com> | 2023-12-12 12:47:21 -0500 |
| commit | de072b52292dc5218845904eee709c35a1418c3b (patch) | |
| tree | 60041fe234d123a58da39eb7656367131dd7771c /gcc/gimple-ssa-warn-access.cc | |
| parent | 321477fc3a0f8de18c4452f431309f896ae3a854 (diff) | |
| download | gcc-de072b52292dc5218845904eee709c35a1418c3b.zip gcc-de072b52292dc5218845904eee709c35a1418c3b.tar.gz gcc-de072b52292dc5218845904eee709c35a1418c3b.tar.bz2 | |
tree: add to clobber_kind
In discussion of PR71093 it came up that more clobber_kind options would be
useful within the C++ front-end.
gcc/ChangeLog:
* tree-core.h (enum clobber_kind): Rename CLOBBER_EOL to
CLOBBER_STORAGE_END. Add CLOBBER_STORAGE_BEGIN,
CLOBBER_OBJECT_BEGIN, CLOBBER_OBJECT_END.
* gimple-lower-bitint.cc
* gimple-ssa-warn-access.cc
* gimplify.cc
* tree-inline.cc
* tree-ssa-ccp.cc: Adjust for rename.
* tree-pretty-print.cc: And handle new values.
gcc/cp/ChangeLog:
* call.cc (build_trivial_dtor_call): Use CLOBBER_OBJECT_END.
* decl.cc (build_clobber_this): Take clobber_kind argument.
(start_preparsed_function): Pass CLOBBER_OBJECT_BEGIN.
(begin_destructor_body): Pass CLOBBER_OBJECT_END.
gcc/testsuite/ChangeLog:
* gcc.dg/pr87052.c: Adjust expected CLOBBER output.
Co-authored-by: Nathaniel Shead <nathanieloshead@gmail.com>
Diffstat (limited to 'gcc/gimple-ssa-warn-access.cc')
| -rw-r--r-- | gcc/gimple-ssa-warn-access.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/gimple-ssa-warn-access.cc b/gcc/gimple-ssa-warn-access.cc index 1646bd1..f04c253 100644 --- a/gcc/gimple-ssa-warn-access.cc +++ b/gcc/gimple-ssa-warn-access.cc @@ -4364,7 +4364,7 @@ void pass_waccess::check_stmt (gimple *stmt) { if (m_check_dangling_p - && gimple_clobber_p (stmt, CLOBBER_EOL)) + && gimple_clobber_p (stmt, CLOBBER_STORAGE_END)) { /* Ignore clobber statements in blocks with exceptional edges. */ basic_block bb = gimple_bb (stmt); |