re PR c++/17410 (Specialization of nested template rejected because of unrelated...

2013-05-16  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/17410
	* g++.dg/template/pr17410.C: New.

From-SVN: r198979

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4e7a01f6dd4b0b86bdfe940ca6406dfb9c2d3bb8..c454367ddc70a6ad0e2574738a08cf13756fa956 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-05-16  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/17410
+       * g++.dg/template/pr17410.C: New.
+
 2013-05-16  Jakub Jelinek  <jakub@redhat.com>
 
        * gcc.target/i386/rotate-3.c: New test.

diff --git a/gcc/testsuite/g++.dg/template/pr17410.C b/gcc/testsuite/g++.dg/template/pr17410.C
new file mode 100644 (file)
index 0000000..8be9588
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/pr17410.C
@@ -0,0 +1,17 @@
+// PR c++/17410
+
+template <class>
+struct Outer {
+  template <class> struct Inner {};
+}; 
+
+template <class T>
+struct A;
+
+template <template <class> class Q, class P>
+struct A <Q<P> > {};
+
+template <class T> struct UNRELATED;
+template <class T> struct UNRELATED<Outer<void>::Inner<T*> >;
+
+template struct A<Outer<void>::Inner<int*> >;