re PR c++/39987 (Rejects default argument that is a template via access failure)

2009-08-04  Dodji Seketeli  <dodji@redhat.com>

gcc/cp/ChangeLog:
	PR c++/39987
	* pt.c (tsubst_default_argument): Let access checks of the
	default argument happen in the context of the current function.

gcc/testsuite/ChangeLog:
	PR c++/39987
	* g++.dg/overload/defarg4.C: New test.

From-SVN: r150467

gcc/cp/ChangeLog

+2009-08-04  Dodji Seketeli  <dodji@redhat.com>
+
+	PR c++/39987
+	* pt.c (tsubst_default_argument): Let access checks of the
+	default argument happen in the context of the current function.
+
 2009-08-04  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 
 	PR c++/16696

gcc/cp/pt.c

@@ -8253,11 +8253,11 @@ tsubst_default_argument (tree fn, tree type, tree arg)
       cp_function_chain->x_current_class_ref = saved_class_ref;
     }
 
-  pop_access_scope (fn);
-
   /* Make sure the default argument is reasonable.  */
   arg = check_default_argument (type, arg);
 
+  pop_access_scope (fn);
+
   return arg;
 }
 

gcc/testsuite/ChangeLog

+2009-08-04  Dodji Seketeli  <dodji@redhat.com>
+
+	PR c++/39987
+	* g++.dg/overload/defarg4.C: New test.
+
 2009-08-04  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 
 	PR c++/16696