From: Marek Polacek <polacek@redhat.com>
Date: Wed, 2 Jan 2019 22:39:16 +0000 (+0000)
Subject: PR c++/81486 - CTAD failing with ().
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fbf3e66ffc72fe977d916c686bcb3a2919d83f03;p=gcc.git

PR c++/81486 - CTAD failing with ().

	* g++.dg/cpp1z/class-deduction60.C: New test.
	* g++.dg/cpp1z/class-deduction61.C: New test.

From-SVN: r267535
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b4cf17811ab..a7e0e1bdf14 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -6,6 +6,10 @@
 	PR c++/88631 - CTAD failing for value-initialization.
 	* g++.dg/cpp1z/class-deduction59.C: New test.
 
+	PR c++/81486 - CTAD failing with ().
+	* g++.dg/cpp1z/class-deduction60.C: New test.
+	* g++.dg/cpp1z/class-deduction61.C: New test.
+	
 2019-01-02  Martin Sebor  <msebor@redhat.com>
             Jeff Law  <law@redhat.com>
 
diff --git a/gcc/testsuite/g++.dg/cpp1z/class-deduction60.C b/gcc/testsuite/g++.dg/cpp1z/class-deduction60.C
new file mode 100644
index 00000000000..dbc5732a2a8
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/class-deduction60.C
@@ -0,0 +1,19 @@
+// PR c++/81486
+// { dg-do compile { target c++17 } }
+
+template <class T>
+struct C {
+  C(T);
+};
+
+template <>
+struct C<void> { };
+
+C() -> C<void>;
+
+int
+main()
+{
+  auto a = C{};
+  auto b = C();
+}
diff --git a/gcc/testsuite/g++.dg/cpp1z/class-deduction61.C b/gcc/testsuite/g++.dg/cpp1z/class-deduction61.C
new file mode 100644
index 00000000000..9ef095e2af0
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/class-deduction61.C
@@ -0,0 +1,15 @@
+// PR c++/81486
+// { dg-do compile { target c++17 } }
+
+template <typename... Ts>
+struct foo
+{
+  template <typename... Us>
+  foo(Us...) { }
+};
+
+int
+main ()
+{
+  auto f = foo();
+}