* pt.c (instantiate_decl): Tell the repository code about the

	clones, not the cloned functions.
	* repo.c (repo_template_used): Explicitly instantiate the cloned
	function, not the clones.

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

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index f4e08d6..7c0ebc5 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,10 @@
+2001-06-05  Mark Mitchell  <mark@codesourcery.com>
+
+       * pt.c (instantiate_decl): Tell the repository code about the
+       clones, not the cloned functions.
+       * repo.c (repo_template_used): Explicitly instantiate the cloned
+       function, not the clones.
+
 2001-06-05  Nathan Sidwell  <nathan@codesourcery.com>
 
        * call.c (build_user_type_conversion_1): Set ICS_USER_FLAG and

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 19de961..b82ac02 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -9821,7 +9821,25 @@ instantiate_decl (d, defer_ok)
 
   if (pattern_defined)
     {
-      repo_template_used (d);
+      /* Let the repository code that this template definition is
+        available.
+
+        The repository doesn't need to know about cloned functions
+        because they never actually show up in the object file.  It
+        does need to know about the clones; those are the symbols
+        that the linker will be emitting error messages about.  */
+      if (DECL_MAYBE_IN_CHARGE_CONSTRUCTOR_P (d)
+         || DECL_MAYBE_IN_CHARGE_DESTRUCTOR_P (d))
+       {
+         tree t;
+
+         for (t = TREE_CHAIN (d);
+              t && DECL_CLONED_FUNCTION_P (t); 
+              t = TREE_CHAIN (t))
+           repo_template_used (t);
+       }
+      else
+       repo_template_used (d);
 
       if (flag_external_templates && ! DECL_INTERFACE_KNOWN (d))
        {

diff --git a/gcc/cp/repo.c b/gcc/cp/repo.c
index 6dfcafc..f2f9591 100644 (file)
--- a/gcc/cp/repo.c
+++ b/gcc/cp/repo.c
@@ -137,7 +137,13 @@ repo_template_used (t)
   else if (DECL_P (t))
     {
       if (IDENTIFIER_REPO_CHOSEN (id))
-       mark_decl_instantiated (t, 0);
+       /* It doesn't make sense to instantiate a clone, so we
+          instantiate the cloned function instead.  Note that this
+          approach will not work correctly if collect2 assigns
+          different clones to different files -- but it shouldn't.  */
+       mark_decl_instantiated (DECL_CLONED_FUNCTION_P (t)
+                               ? DECL_CLONED_FUNCTION (t) : t, 
+                               0);
     }
   else
     my_friendly_abort (1);

diff --git a/gcc/testsuite/g++.old-deja/g++.pt/repo4.C b/gcc/testsuite/g++.old-deja/g++.pt/repo4.C
new file mode 100644 (file)
index 0000000..6180acb
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.pt/repo4.C
@@ -0,0 +1,15 @@
+// Build then link:
+// Special g++ Options: -frepo
+
+template <class T>
+struct S {
+  ~S ();
+};
+
+template <class T>
+S<T>::~S () {}
+
+int main ()
+{
+  S<int> s;
+}