aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/g++.dg/cpp0x/pr71225.C17
2 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b8ee57d..21d1193 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-11-12 Jakub Jelinek <jakub@redhat.com>
+
+ PR c++/71225
+ * g++.dg/cpp0x/pr71225.C: New test.
+
2016-11-11 Eric Botcazou <ebotcazou@adacore.com>
* gcc.target/sparc/20161111-1.c: New test.
diff --git a/gcc/testsuite/g++.dg/cpp0x/pr71225.C b/gcc/testsuite/g++.dg/cpp0x/pr71225.C
new file mode 100644
index 0000000..8a328e4
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/pr71225.C
@@ -0,0 +1,17 @@
+// PR c++/71225
+// { dg-do compile { target c++11 } }
+
+template <bool, class> struct A;
+template <class T> struct B;
+template <typename T>
+struct C
+{
+ struct D
+ {
+ template <int N = 42, typename A<N == 43 || B<T>(), int>::type = 0>
+ void foo () const {}
+ template <int N = 42, typename A<N == 43 || !B<T> (), int>::type = 0>
+ void foo () const {}
+ void bar () { foo (); }
+ };
+};