From: paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Mon, 10 Jun 2013 16:07:29 +0000 (+0000)
Subject: 2013-06-10  Paolo Carlini  <paolo.carlini@oracle.com>
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=73a517d8083ca63ed44be0445dd663832bcc155b;p=thirdparty%2Fgcc.git

2013-06-10  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/52440
	* g++.dg/cpp0x/pr52440.C: New.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199899 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1727138fb98f..b718d6947ee3 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-06-10  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/52440
+	* g++.dg/cpp0x/pr52440.C: New.
+
 2013-06-10  Jakub Jelinek  <jakub@redhat.com>
 
 	PR target/56564
diff --git a/gcc/testsuite/g++.dg/cpp0x/pr52440.C b/gcc/testsuite/g++.dg/cpp0x/pr52440.C
new file mode 100644
index 000000000000..0210f53b9d9b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/pr52440.C
@@ -0,0 +1,27 @@
+// PR c++/52440
+// { dg-do compile { target c++11 } }
+
+template<bool>
+struct V
+{
+  typedef void type;
+};
+
+template<typename T>
+struct X
+{
+  template<typename>
+  static constexpr bool always_true()
+  {
+    return true;
+  }
+
+  template<typename U,
+           typename = typename V<always_true<U>()>::type>
+  X(U &&) {}
+};
+
+int main()
+{
+  X<int> x(42);
+}