* decl.c (build_cp_library_fn): Set DECL_CONTEXT.

	* method.c (mangle_expression): Adjust test for legal expression
	operators.

	* pt.c (instantiate_decl): Save and restore the local
	specializations list.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@34302 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index b451266..6120852 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,13 @@
+2000-05-31  Mark Mitchell  <mark@codesourcery.com>
+
+       * decl.c (build_cp_library_fn): Set DECL_CONTEXT.
+
+       * method.c (mangle_expression): Adjust test for legal expression
+       operators.
+
+       * pt.c (instantiate_decl): Save and restore the local
+       specializations list.
+
 2000-05-30  Jason Merrill  <jason@decepticon.cygnus.com>
 
        * decl.c (grok_reference_init): Pass LOOKUP_ONLYCONVERTING.

diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c
index cbee8e6..69f6e74 100644 (file)
--- a/gcc/cp/decl.c
+++ b/gcc/cp/decl.c
@@ -6821,6 +6821,7 @@ build_cp_library_fn (name, operator_code, type)
 {
   tree fn = build_library_fn_1 (name, operator_code, type);
   TREE_NOTHROW (fn) = TYPE_NOTHROW_P (type);
+  DECL_CONTEXT (fn) = FROB_CONTEXT (current_namespace);
   set_mangled_name_for_decl (fn);
   make_function_rtl (fn);
   return fn;

diff --git a/gcc/cp/method.c b/gcc/cp/method.c
index 13d627a..1981e77 100644 (file)
--- a/gcc/cp/method.c
+++ b/gcc/cp/method.c
@@ -523,13 +523,11 @@ mangle_expression (value)
       const char *name;
 
       name = operator_name_info[TREE_CODE (value)].mangled_name;
-      my_friendly_assert (name != NULL, 0);
-      if (name[0] != '_' || name[1] != '_')
+      if (name == NULL)
        /* On some erroneous inputs, we can get here with VALUE a
-          LOOKUP_EXPR.  In that case, the NAME will be the
-          identifier for "<invalid operator>".  We must survive
-          this routine in order to issue a sensible error
-          message, so we fall through to the case below.  */
+          LOOKUP_EXPR. We must survive this routine in order to issue
+          a sensible error message, so we fall through to the case
+          below.  */
        goto bad_value;
 
       for (i = 0; i < operands; ++i)

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index b64fc72..e414d84 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -9614,8 +9614,13 @@ instantiate_decl (d, defer_ok)
     }
   else if (TREE_CODE (d) == FUNCTION_DECL)
     {
+      htab_t saved_local_specializations;
+
+      /* Save away the current list, in case we are instantiating one
+        template from within the body of another.  */
+      saved_local_specializations = local_specializations;
+
       /* Set up the list of local specializations.  */
-      my_friendly_assert (local_specializations == NULL, 20000422);
       local_specializations = htab_create (37, 
                                           htab_hash_pointer,
                                           htab_eq_pointer,
@@ -9635,7 +9640,7 @@ instantiate_decl (d, defer_ok)
 
       /* We don't need the local specializations any more.  */
       htab_delete (local_specializations);
-      local_specializations = NULL;
+      local_specializations = saved_local_specializations;
 
       /* Finish the function.  */
       expand_body (finish_function (0));

diff --git a/gcc/testsuite/g++.old-deja/g++.pt/inline2.C b/gcc/testsuite/g++.old-deja/g++.pt/inline2.C
new file mode 100644 (file)
index 0000000..fcc1d00
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.pt/inline2.C
@@ -0,0 +1,16 @@
+// Build don't link:
+// Special g++ Options: -O
+// Origin: Mark Mitchell <mitchell@codesourcery.com>
+
+template <class T>
+struct S {
+  inline ~S () {}
+};
+
+template <class T>
+void f ()
+{
+  static S<T> s;
+}
+
+template void f<int>();