pt.c (check_explicit_specialization): Copy TREE_PRIVATE and TREE_PROTECTED from the...

	* pt.c (check_explicit_specialization): Copy TREE_PRIVATE and
	TREE_PROTECTED from the template being specialized.

From-SVN: r39813

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index efced16555b52a0031a564e87036da131782175e..e2de97ab4abbcec302da1ac08fb2b98164f7bd72 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2001-02-17  Mark Mitchell  <mark@codesourcery.com>
+
+       * pt.c (check_explicit_specialization): Copy TREE_PRIVATE and
+       TREE_PROTECTED from the template being specialized.
+
 2001-02-17  Jason Merrill  <jason@redhat.com>
 
        * decl2.c (build_artificial_parm): Set TREE_READONLY.

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 2f34815274b4fe19859f13799c177e5e6805bd58..b28c60a2b5b2677a30c369940d4acaff84fa7cc2 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -1662,6 +1662,11 @@ check_explicit_specialization (declarator, decl, template_count, flags)
             DECL is specializing.  */
          copy_default_args_to_explicit_spec (decl);
 
+         /* This specialization has the same protection as the
+            template it specializes.  */
+         TREE_PRIVATE (decl) = TREE_PRIVATE (gen_tmpl);
+         TREE_PROTECTED (decl) = TREE_PROTECTED (gen_tmpl);
+
          /* Mangle the function name appropriately.  Note that we do
             not mangle specializations of non-template member
             functions of template classes, e.g. with

diff --git a/gcc/testsuite/g++.old-deja/g++.other/access11.C b/gcc/testsuite/g++.old-deja/g++.other/access11.C
new file mode 100644 (file)
index 0000000..04340c7
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.other/access11.C
@@ -0,0 +1,20 @@
+// Build don't link:
+// Origin: r.spatschek@fz-juelich.de
+// Special g++ Options: -w
+
+class A
+{
+private:
+  template <class T> void g(T t)  {}
+  int i;
+};
+
+template <>
+void A::g<int>(int t) { i = 1; } // ERROR - private
+
+int main()
+{
+  A a;
+ 
+  a.g<int>(0); // ERROR - private
+}