From: Ville Voutilainen <ville.voutilainen@gmail.com>
Date: Mon, 18 Dec 2017 18:46:30 +0000 (+0200)
Subject: re PR libstdc++/68430 (std::is_constructible<T>::value == true for unconstructible... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5dd44f4ea5924ad31f7e70b6afba353032b8387d;p=gcc.git

re PR libstdc++/68430 (std::is_constructible<T>::value == true for unconstructible type T)

PR libstdc++/68430

* testsuite/20_util/is_constructible/68430.cc: New.

From-SVN: r255785
---

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 1275ea5e85f..08096d10e7c 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,8 @@
+2017-12-18  Ville Voutilainen  <ville.voutilainen@gmail.com>
+
+	PR libstdc++/68430
+	* testsuite/20_util/is_constructible/68430.cc: New.
+
 2017-12-16  Martin Sebor  <msebor@redhat.com>
 
 	PR tree-optimization/83239
diff --git a/libstdc++-v3/testsuite/20_util/is_constructible/68430.cc b/libstdc++-v3/testsuite/20_util/is_constructible/68430.cc
new file mode 100644
index 00000000000..3f880b397cf
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/is_constructible/68430.cc
@@ -0,0 +1,6 @@
+// { dg-do compile { target c++11 } }
+
+#include <type_traits>
+
+template<class T> struct Foo { Foo(T = nullptr) {} };
+static_assert(!std::is_constructible<Foo<int>>::value, "");