summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/template/ttp5.C
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/g++.dg/template/ttp5.C')
-rw-r--r--gcc/testsuite/g++.dg/template/ttp5.C20
1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/template/ttp5.C b/gcc/testsuite/g++.dg/template/ttp5.C
new file mode 100644
index 000000000..ee9d1ff7c
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/ttp5.C
@@ -0,0 +1,20 @@
+// { dg-do compile }
+
+// Origin: sneechy@hotmail.com
+
+// PR c++/8772: Incorrect diagnostics for template template parameter
+// mismatch
+
+template <int> struct A {
+ template <int> struct B {
+ enum { v = 1 };
+ };
+};
+
+template <template <int> class F> struct C {
+ enum { v = F<1>::v || 2 };
+};
+
+template <int n> struct D {
+ enum { v = C<A<n>::B>::v }; // { dg-error "mismatch|class template" }
+};