diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 042e0c0ed9d..1d7d395e344 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2002-12-18 Kriang Lerdsuwanakij + + PR c++/8099 + * friend.c (make_friend_class): Allow partial specialization + when declaration is not a template friend. + 2002-12-18 Kriang Lerdsuwanakij PR c++/3663 diff --git a/gcc/cp/friend.c b/gcc/cp/friend.c index 9e474114312..050862d0151 100644 --- a/gcc/cp/friend.c +++ b/gcc/cp/friend.c @@ -205,24 +205,25 @@ make_friend_class (type, friend_type) return; } - if (CLASS_TYPE_P (friend_type) - && CLASSTYPE_TEMPLATE_SPECIALIZATION (friend_type) - && uses_template_parms (friend_type)) - { - /* [temp.friend] - - Friend declarations shall not declare partial - specializations. */ - error ("partial specialization `%T' declared `friend'", - friend_type); - return; - } - if (processing_template_decl > template_class_depth (type)) /* If the TYPE is a template then it makes sense for it to be friends with itself; this means that each instantiation is friends with all other instantiations. */ - is_template_friend = 1; + { + if (CLASS_TYPE_P (friend_type) + && CLASSTYPE_TEMPLATE_SPECIALIZATION (friend_type) + && uses_template_parms (friend_type)) + { + /* [temp.friend] + Friend declarations shall not declare partial + specializations. */ + error ("partial specialization `%T' declared `friend'", + friend_type); + return; + } + + is_template_friend = 1; + } else if (same_type_p (type, friend_type)) { pedwarn ("class `%T' is implicitly friends with itself", diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a1510c04a33..d5f296f2d4a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2002-12-18 Kriang Lerdsuwanakij + + PR c++/8099 + * g++.dg/template/friend9.C: New test. + 2002-11-18 Kriang Lerdsuwanakij PR c++/3663 diff --git a/gcc/testsuite/g++.dg/template/friend9.C b/gcc/testsuite/g++.dg/template/friend9.C new file mode 100644 index 00000000000..4464e5f8ee8 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/friend9.C @@ -0,0 +1,18 @@ +// { dg-do compile } +// Origin: Wolfgang Bangerth + +// PR c++/8099 +// Partial specialization as friend class + +template struct X; +template struct X<1,T>; + +template class Y { + static int i; + template friend struct X; + friend struct X<1,P>; +}; + +template struct X<1,T> { + X () { Y::i; }; // access private field +};