diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 74ac8b441f1ebbe2112684ae629ae06faf7ac0bc..eccb89aa39b1f658cdce459e6b756402d71812e6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2018-04-30 Jason Merrill <jason@redhat.com> + + * tree.c (build_clobber): New. + * tree.h: Declare it. + * gimplify.c (gimplify_bind_expr, gimplify_target_expr): Use it. + 2018-04-30 David Malcolm <dmalcolm@redhat.com> * diagnostic-show-locus.c (layout::layout): Update for diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 6253c9b91a0c3487109135c31ba6395ccc355aaa..7e32e75d2c67a421f4110f476a9fed692a043864 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,7 @@ +2018-04-30 Jason Merrill <jason@redhat.com> + + * decl.c (build_clobber_this): Use build_clobber. + 2018-04-27 Jakub Jelinek <jakub@redhat.com> PR c++/85553 diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c index 03bc041780fc5103c61f91f8ce272244b8536088..07f3a61fed6cb3dbdb1ae9bc30047d2c2aca3ec3 100644 --- a/gcc/cp/decl.c +++ b/gcc/cp/decl.c @@ -14874,8 +14874,7 @@ build_clobber_this () if (!vbases) ctype = CLASSTYPE_AS_BASE (ctype); - tree clobber = build_constructor (ctype, NULL); - TREE_THIS_VOLATILE (clobber) = true; + tree clobber = build_clobber (ctype); tree thisref = current_class_ref; if (ctype != current_class_type) diff --git a/gcc/gimplify.c b/gcc/gimplify.c index c32869b4c59d3b7057efbbf8698b0188acd969f7..b5b80ab7d98b65bcd955e835f4e908dd6d31e397 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -1379,9 +1379,8 @@ gimplify_bind_expr (tree *expr_p, gimple_seq *pre_p) && !is_gimple_reg (t) && flag_stack_reuse != SR_NONE) { - tree clobber = build_constructor (TREE_TYPE (t), NULL); + tree clobber = build_clobber (TREE_TYPE (t)); gimple *clobber_stmt; - TREE_THIS_VOLATILE (clobber) = 1; clobber_stmt = gimple_build_assign (t, clobber); gimple_set_location (clobber_stmt, end_locus); gimplify_seq_add_stmt (&cleanup, clobber_stmt); @@ -6603,9 +6602,7 @@ gimplify_target_expr (tree *expr_p, gimple_seq *pre_p, gimple_seq *post_p) { if (flag_stack_reuse == SR_ALL) { - tree clobber = build_constructor (TREE_TYPE (temp), - NULL); - TREE_THIS_VOLATILE (clobber) = true; + tree clobber = build_clobber (TREE_TYPE (temp)); clobber = build2 (MODIFY_EXPR, TREE_TYPE (temp), temp, clobber); gimple_push_cleanup (temp, clobber, false, pre_p, true); } diff --git a/gcc/tree.c b/gcc/tree.c index e93f24dd4d30f24df6e25c398a9d063edee7f7fb..b661d3d0dcd0c816329b72f60c300fff2b856372 100644 --- a/gcc/tree.c +++ b/gcc/tree.c @@ -2059,6 +2059,16 @@ build_constructor_va (tree type, int nelts, ...) return build_constructor (type, v); } +/* Return a node of type TYPE for which TREE_CLOBBER_P is true. */ + +tree +build_clobber (tree type) +{ + tree clobber = build_constructor (type, NULL); + TREE_THIS_VOLATILE (clobber) = true; + return clobber; +} + /* Return a new FIXED_CST node whose type is TYPE and value is F. */ tree diff --git a/gcc/tree.h b/gcc/tree.h index 1e14d9f5866cce27c5c3090f5165771fd405d5fb..74a0d1881a6e598489da8afab8c5e32759db0610 100644 --- a/gcc/tree.h +++ b/gcc/tree.h @@ -4173,6 +4173,7 @@ extern tree build_constructor (tree, vec<constructor_elt, va_gc> *); extern tree build_constructor_single (tree, tree, tree); extern tree build_constructor_from_list (tree, tree); extern tree build_constructor_va (tree, int, ...); +extern tree build_clobber (tree); extern tree build_real_from_int_cst (tree, const_tree); extern tree build_complex (tree, tree, tree); extern tree build_complex_inf (tree, bool);