summaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorpaolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4>2013-06-10 16:07:29 +0000
committerpaolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4>2013-06-10 16:07:29 +0000
commit73a517d8083ca63ed44be0445dd663832bcc155b (patch)
treee67c2e877c399c65d00448ef90272c6855fb1695 /gcc
parenta16734cd4161f821e9faaeb1e24f94d99c7af338 (diff)
downloadgcc-73a517d8083ca63ed44be0445dd663832bcc155b.tar.gz
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
Diffstat (limited to 'gcc')
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/g++.dg/cpp0x/pr52440.C27
2 files changed, 32 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1727138fb98..b718d6947ee 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 00000000000..0210f53b9d9
--- /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);
+}