From: Mark Mitchell <mmitchel@gcc.gnu.org>
Date: Tue, 30 Apr 2002 17:00:59 +0000 (+0000)
Subject: re PR c++/6492 (New boost regression (friends))
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3e0ec82fa75231234279a846f1d3174d48f2ddcc;p=gcc.git

re PR c++/6492 (New boost regression (friends))

	PR c++/6492
	* pt.c (tsubst_friend_class): If the friend has an explicit scope,
	enter that scope before name lookup.

From-SVN: r52951
---

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 39c6bf695b3..7551df7b14e 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -4831,30 +4831,36 @@ tsubst_friend_class (friend_tmpl, args)
 {
   tree friend_type;
   tree tmpl;
+  tree context;
 
-  /* First, we look for a class template.  */
-  if (DECL_CONTEXT (friend_tmpl))
-    tmpl = friend_tmpl;
-  else
+  context = DECL_CONTEXT (friend_tmpl);
+
+  if (context)
     {
-      tmpl = lookup_name (DECL_NAME (friend_tmpl), /*prefer_type=*/0); 
+      if (TREE_CODE (context) == NAMESPACE_DECL)
+	push_nested_namespace (context);
+      else
+	push_nested_class (context, 2);
+    }
 
-      /* But, if we don't find one, it might be because we're in a
-	 situation like this:
+  /* First, we look for a class template.  */
+  tmpl = lookup_name (DECL_NAME (friend_tmpl), /*prefer_type=*/0); 
 
-	   template <class T>
-	   struct S {
-	     template <class U>
-	     friend struct S;
-	   };
+  /* But, if we don't find one, it might be because we're in a
+     situation like this:
 
-	 Here, in the scope of (say) S<int>, `S' is bound to a TYPE_DECL
-	 for `S<int>', not the TEMPLATE_DECL.  */
-      if (!tmpl || !DECL_CLASS_TEMPLATE_P (tmpl))
-	{
-	  tmpl = lookup_name (DECL_NAME (friend_tmpl), /*prefer_type=*/1);
-	  tmpl = maybe_get_template_decl_from_type_decl (tmpl);
-	}
+       template <class T>
+       struct S {
+	 template <class U>
+	 friend struct S;
+       };
+
+     Here, in the scope of (say) S<int>, `S' is bound to a TYPE_DECL
+     for `S<int>', not the TEMPLATE_DECL.  */
+  if (!tmpl || !DECL_CLASS_TEMPLATE_P (tmpl))
+    {
+      tmpl = lookup_name (DECL_NAME (friend_tmpl), /*prefer_type=*/1);
+      tmpl = maybe_get_template_decl_from_type_decl (tmpl);
     }
 
   if (tmpl && DECL_CLASS_TEMPLATE_P (tmpl))
@@ -4865,12 +4871,15 @@ tsubst_friend_class (friend_tmpl, args)
 	 of course.  We only need the innermost template parameters
 	 because that is all that redeclare_class_template will look
 	 at.  */
-      tree parms 
-	= tsubst_template_parms (DECL_TEMPLATE_PARMS (friend_tmpl),
-				 args, tf_error | tf_warning);
-      if (!parms)
-        return error_mark_node;
-      redeclare_class_template (TREE_TYPE (tmpl), parms);
+      if (TMPL_PARMS_DEPTH (DECL_TEMPLATE_PARMS (friend_tmpl))
+	  > TMPL_ARGS_DEPTH (args))
+	{
+	  tree parms;
+	  parms = tsubst_template_parms (DECL_TEMPLATE_PARMS (friend_tmpl),
+					 args, tf_error | tf_warning);
+	  redeclare_class_template (TREE_TYPE (tmpl), parms);
+	}
+
       friend_type = TREE_TYPE (tmpl);
     }
   else
@@ -4892,6 +4901,14 @@ tsubst_friend_class (friend_tmpl, args)
       friend_type = TREE_TYPE (pushdecl_top_level (tmpl));
     }
 
+  if (context) 
+    {
+      if (TREE_CODE (context) == NAMESPACE_DECL)
+	pop_nested_namespace (context);
+      else
+	pop_nested_class ();
+    }
+
   return friend_type;
 }