re PR c++/10551 (Failure to emit explicitly instantiated template w/--no-implicit-templates)

	PR c++/10551
	* pt.c (mark_decl_instantiated): Defer all explicit instantiations
	that have not yet been written out.

	PR c++/10551
	* g++.dg/template/explicit1.C: New test.

From-SVN: r66263

gcc/cp/ChangeLog

 2003-04-29  Mark Mitchell  <mark@codesourcery.com>
 
+	PR c++/10551
+	* pt.c (mark_decl_instantiated): Defer all explicit instantiations
+	that have not yet been written out.
+
+2003-04-29  Mark Mitchell  <mark@codesourcery.com>
+
 	PR c++/10549
 	* class.c (layout_class_type): Mark overlong bitfields as having
 	the maximum size permitted by their type, after layout.

gcc/cp/pt.c

@@ -9915,11 +9915,6 @@ mark_decl_instantiated (result, extern_p)
      tree result;
      int extern_p;
 {
-  if (TREE_CODE (result) != FUNCTION_DECL)
-    /* The TREE_PUBLIC flag for function declarations will have been
-       set correctly by tsubst.  */
-    TREE_PUBLIC (result) = 1;
-
   /* We used to set this unconditionally; we moved that to
      do_decl_instantiation so it wouldn't get set on members of
      explicit class template instantiations.  But we still need to set
@@ -9928,6 +9923,16 @@ mark_decl_instantiated (result, extern_p)
   if (extern_p)
     SET_DECL_EXPLICIT_INSTANTIATION (result);
 
+  /* If this entity has already been written out, it's too late to
+     make any modifications.  */
+  if (TREE_ASM_WRITTEN (result))
+    return;
+
+  if (TREE_CODE (result) != FUNCTION_DECL)
+    /* The TREE_PUBLIC flag for function declarations will have been
+       set correctly by tsubst.  */
+    TREE_PUBLIC (result) = 1;
+
   if (! extern_p)
     {
       DECL_INTERFACE_KNOWN (result) = 1;
@@ -9941,7 +9946,8 @@ mark_decl_instantiated (result, extern_p)
       else if (TREE_PUBLIC (result))
 	maybe_make_one_only (result);
     }
-  else if (TREE_CODE (result) == FUNCTION_DECL)
+
+  if (TREE_CODE (result) == FUNCTION_DECL)
     defer_fn (result);
 }
 

gcc/testsuite/ChangeLog

 2003-04-29  Mark Mitchell  <mark@codesourcery.com>
 
+	PR c++/10551
+	* g++.dg/template/explicit1.C: New test.
+
+2003-04-29  Mark Mitchell  <mark@codesourcery.com>
+
 	PR c++/10549
 	* g++.dg/other/bitfield1.C: New test.
 

gcc/testsuite/g++.dg/template/explicit1.C

+// { dg-do link }
+// { dg-options "-fno-implicit-templates" }
+
+template <class T> struct C {
+  ~C();
+};
+template <class T> C<T>::~C() {}
+
+struct X {
+  C<X> *p;
+  ~X() { delete p; }
+};
+
+template class C<X>;
+C<X> x;
+
+int main () {}