re PR c++/18733 (friend rejected)

	PR c++/18733
	* pt.c (check_explicit_specialization): Use special logic to validate
	befriended specializations.

	PR c++/18733
	* g++.dg/template/friend33.C: New testcase.

From-SVN: r92527

gcc/cp/ChangeLog

+2004-12-23  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
+
+	PR c++/18733
+	* pt.c (check_explicit_specialization): Use special logic to validate
+	befriended specializations.
+
 2004-12-22  Mark Mitchell  <mark@codesourcery.com>
 
 	* rtti.c (emit_support_tinfos): Avoid using C99 semantics.

gcc/cp/pt.c

@@ -1738,7 +1738,15 @@ check_explicit_specialization (tree declarator,
   tree dname = DECL_NAME (decl);
   tmpl_spec_kind tsk;
 
-  tsk = current_tmpl_spec_kind (template_count);
+  if (is_friend)
+    {
+      if (!processing_specialization)
+	tsk = tsk_none;
+      else
+	tsk = tsk_excessive_parms;
+    }
+  else
+    tsk = current_tmpl_spec_kind (template_count);
 
   switch (tsk)
     {

gcc/testsuite/ChangeLog

+2004-12-23  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
+
+	PR c++/18733
+	* g++.dg/template/friend33.C: New testcase.
+
 2004-12-22  Mark Mitchell  <mark@codesourcery.com>
 
 	PR c++/18464

gcc/testsuite/g++.dg/template/friend33.C

+// { dg-do compile }
+// PR c++/18733: Validation of template headers in friends
+
+template<int> struct A
+{
+  void foo();
+};
+
+struct B
+{
+  friend void A<0>::foo();
+};