* pt.c (tsubst_init): Set TARGET_EXPR_DIRECT_INIT_P.

From-SVN: r246953

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 0aa6351c06b57fd3586910a4786db5fb694a239f..aa35f8347826a52109bc4f06ea26e83eccfa8746 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,7 @@
+2017-04-17  Jason Merrill  <jason@redhat.com>
+
+       * pt.c (tsubst_init): Set TARGET_EXPR_DIRECT_INIT_P.
+
 2017-04-15  Alexandre Oliva <aoliva@redhat.com>
 
        * decl.c (name_unnamed_type): Split out of...

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 862c2c2c08c433faf654cd089eb1b2b904573752..f8436b30b37172436ccd37f9a42922debc938d71 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -14413,6 +14413,8 @@ tsubst_init (tree init, tree decl, tree args,
                               complain);
       if (TREE_CODE (init) == AGGR_INIT_EXPR)
        init = get_target_expr_sfinae (init, complain);
+      if (TREE_CODE (init) == TARGET_EXPR)
+       TARGET_EXPR_DIRECT_INIT_P (init) = true;
     }
 
   return init;

diff --git a/gcc/testsuite/g++.dg/cpp0x/variadic-init2.C b/gcc/testsuite/g++.dg/cpp0x/variadic-init2.C
new file mode 100644 (file)
index 0000000..8d5228c
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/variadic-init2.C
@@ -0,0 +1,20 @@
+// { dg-do compile { target c++11 } }
+
+struct MoveOnly {
+  MoveOnly() = default;
+  MoveOnly(MoveOnly const&) = delete;
+  MoveOnly(MoveOnly&&) = default;
+};
+
+struct StoresMoveOnly {
+  StoresMoveOnly() {}
+  ~StoresMoveOnly() = default;
+    
+  MoveOnly value;
+};
+
+template <class ...Args> void test(Args... args) {
+  StoresMoveOnly s(args...);
+}
+
+int main() { test(); }