diff options
| author | Richard Henderson <rth@redhat.com> | 2015-12-22 11:42:24 -0800 |
|---|---|---|
| committer | Richard Henderson <rth@gcc.gnu.org> | 2015-12-22 11:42:24 -0800 |
| commit | 7c11b0fef088480510a74f0f43015776c40be047 (patch) | |
| tree | a8d42a55a283fef873d7bbbede9d1387b48f417a /gcc/gimple-streamer-out.c | |
| parent | ebe9921f0ce92a25657dee9e7913b944db8f0271 (diff) | |
| download | gcc-7c11b0fef088480510a74f0f43015776c40be047.tar.gz | |
re PR ipa/67811 ([TM] ICE with try-block in transaction)
PR ipa/67811
* gimple.h (struct gtransaction): Add label_norm, label_uninst;
replace label with label_over.
(gimple_build_transaction): Remove label parameter.
(gimple_transaction_label_norm): New.
(gimple_transaction_label_uninst): New.
(gimple_transaction_label_over): Rename from gimple_transaction_label.
(gimple_transaction_label_norm_ptr): New.
(gimple_transaction_label_uninst_ptr): New.
(gimple_transaction_label_over_ptr): Rename from
gimple_transaction_label_ptr.
(gimple_transaction_set_label_norm): New.
(gimple_transaction_set_label_uninst): New.
(gimple_transaction_set_label_over): Rename from
gimple_transaction_set_label.
* gimple-pretty-print.c (dump_gimple_transaction): Update.
* gimple-streamer-in.c (input_gimple_stmt) [GIMPLE_TRANSACTION]: Same.
* gimple-streamer-out.c (output_gimple_stmt) [GIMPLE_TRANSACTION]: Same.
* gimple-walk.c (walk_gimple_op) [GIMPLE_TRANSACTION]: Same.
* tree-cfg.c (make_edges_bb) [GIMPLE_TRANSACTION]: Same.
(cleanup_dead_labels) [GIMPLE_TRANSACTION]: Same.
(verify_gimple_transaction): Same.
(gimple_redirect_edge_and_branch) [GIMPLE_TRANSACTION]: Same.
* tree-inline.c (remap_gimple_stmt) [GIMPLE_TRANSACTION]: Same.
* gimple.c (gimple_build_transaction): Remove label parameter;
initialize all three label memebers.
* gimplify.c (gimplify_transaction): Update call
to gimple_build_transaction.
* trans-mem.c (make_tm_uninst): New.
(lower_transaction): Create uninstrumented code path here...
(ipa_tm_scan_calls_transaction): ... not here.
(ipa_uninstrument_transaction): Remove.
testsuite/
* g++.dg/tm/noexcept-1.C: Update expected must_not_throw count.
* g++.dg/tm/noexcept-4.C: Likewise.
* g++.dg/tm/noexcept-5.C: Likewise.
* g++.dg/tm/pr67811.C: New.
From-SVN: r231907
Diffstat (limited to 'gcc/gimple-streamer-out.c')
| -rw-r--r-- | gcc/gimple-streamer-out.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/gimple-streamer-out.c b/gcc/gimple-streamer-out.c index 1431f5ce3c9..cbcb4db4a62 100644 --- a/gcc/gimple-streamer-out.c +++ b/gcc/gimple-streamer-out.c @@ -180,9 +180,11 @@ output_gimple_stmt (struct output_block *ob, gimple *stmt) case GIMPLE_TRANSACTION: { - gtransaction *trans_stmt = as_a <gtransaction *> (stmt); - gcc_assert (gimple_transaction_body (trans_stmt) == NULL); - stream_write_tree (ob, gimple_transaction_label (trans_stmt), true); + gtransaction *txn = as_a <gtransaction *> (stmt); + gcc_assert (gimple_transaction_body (txn) == NULL); + stream_write_tree (ob, gimple_transaction_label_norm (txn), true); + stream_write_tree (ob, gimple_transaction_label_uninst (txn), true); + stream_write_tree (ob, gimple_transaction_label_over (txn), true); } break; |