On 09/21/2011 06:55 PM, Jason Merrill wrote:
I think we do.
Agreed. I'm finishing testing the below, Ok if it passes?
Thanks,
Paolo.
//
/cp
2011-09-21 Jonathan Wakely
Paolo Carlini
PR c++/50344
* friend.c (make_friend_class): cv-qualification is ok in a
friend declaration.
/testsuite
2011-09-21 Jonathan Wakely
Paolo Carlini
PR c++/50344
* g++.dg/template/friend52.C: New.
Index: testsuite/g++.dg/template/friend52.C
===
--- testsuite/g++.dg/template/friend52.C(revision 0)
+++ testsuite/g++.dg/template/friend52.C(revision 0)
@@ -0,0 +1,17 @@
+// PR c++/50344
+// { dg-options "" }
+
+template class C
+{
+ friend T;
+ int i;
+};
+
+struct S
+{
+int f()
+{
+ C c;
+ return c.i;
+}
+};
Index: cp/friend.c
===
--- cp/friend.c (revision 179052)
+++ cp/friend.c (working copy)
@@ -1,6 +1,6 @@
/* Help friends in C++.
Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
- 2007, 2008, 2010 Free Software Foundation, Inc.
+ 2007, 2008, 2010, 2011 Free Software Foundation, Inc.
This file is part of GCC.
@@ -237,6 +237,8 @@ make_friend_class (tree type, tree friend_type, bo
return;
}
+ friend_type = cv_unqualified (friend_type);
+
if (friend_depth)
/* If the TYPE is a template then it makes sense for it to be
friends with itself; this means that each instantiation is