diff options
| author | Jason Merrill <jason@redhat.com> | 2016-10-05 18:59:02 -0400 |
|---|---|---|
| committer | Jason Merrill <jason@gcc.gnu.org> | 2016-10-05 18:59:02 -0400 |
| commit | bf9b09fbe23d4efb07eec21bbb3f73f1a075cb2b (patch) | |
| tree | 5a876d8698a058b630252e34bb1ce6e5df218eed /gcc/cp/cvt.c | |
| parent | 5794b9f622dce668aa92ebabdf26abd0e799c665 (diff) | |
| download | gcc-bf9b09fbe23d4efb07eec21bbb3f73f1a075cb2b.zip gcc-bf9b09fbe23d4efb07eec21bbb3f73f1a075cb2b.tar.gz gcc-bf9b09fbe23d4efb07eec21bbb3f73f1a075cb2b.tar.bz2 | |
Implement P0135R1, Guaranteed copy elision.
* cvt.c (ocp_convert): Don't re-copy a TARGET_EXPR in C++17.
From-SVN: r240820
Diffstat (limited to 'gcc/cp/cvt.c')
| -rw-r--r-- | gcc/cp/cvt.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gcc/cp/cvt.c b/gcc/cp/cvt.c index 2f5f15a..ecc8ef8 100644 --- a/gcc/cp/cvt.c +++ b/gcc/cp/cvt.c @@ -693,8 +693,11 @@ ocp_convert (tree type, tree expr, int convtype, int flags, if (error_operand_p (e)) return error_mark_node; - if (MAYBE_CLASS_TYPE_P (type) && (convtype & CONV_FORCE_TEMP)) - /* We need a new temporary; don't take this shortcut. */; + if (MAYBE_CLASS_TYPE_P (type) && (convtype & CONV_FORCE_TEMP) + && !(cxx_dialect >= cxx1z + && TREE_CODE (e) == TARGET_EXPR)) + /* We need a new temporary; don't take this shortcut. But in C++17, don't + force a temporary if we already have one. */; else if (same_type_ignoring_top_level_qualifiers_p (type, TREE_TYPE (e))) { if (same_type_p (type, TREE_TYPE (e))) |