revert 99311. Looks like it broke darwin bootstrap.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@99317 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/CodeGen/CGVtable.cpp b/lib/CodeGen/CGVtable.cpp
index cedefba1e4e8638ca2e6425ce21f24ad175cfe3b..9204e4e565ccbb8e1e854c41e4f1ab97b6a70914 100644 (file)
--- a/lib/CodeGen/CGVtable.cpp
+++ b/lib/CodeGen/CGVtable.cpp
@@ -3805,17 +3805,7 @@ void CodeGenVTables::EmitVTableRelatedData(GlobalDecl GD) {
     return;
 
   TemplateSpecializationKind kind = RD->getTemplateSpecializationKind();
-
-
-  // The reason we have TSK_ExplicitInstantiationDeclaration in here (but not
-  // in  Sema::MaybeMarkVirtualMembersReferenced) is for the case
-  // template<> void stdio_sync_filebuf<wchar_t>::xsgetn() {
-  // }
-  // extern template class stdio_sync_filebuf<wchar_t>;
-  // Since we are called after the extern declaration is seen.
-
-  if (kind == TSK_ImplicitInstantiation ||
-      kind == TSK_ExplicitInstantiationDeclaration)
+  if (kind == TSK_ImplicitInstantiation)
     CGM.DeferredVtables.push_back(RD);
   else
     GenerateClassData(CGM.getVtableLinkage(RD), RD);

diff --git a/lib/CodeGen/CodeGenModule.cpp b/lib/CodeGen/CodeGenModule.cpp
index 69ce49cbb1827b4c96d97ec2f61411b031212c89..1606710bc5cd66e7ff83c92679d17d0b4736e34f 100644 (file)
--- a/lib/CodeGen/CodeGenModule.cpp
+++ b/lib/CodeGen/CodeGenModule.cpp
@@ -310,17 +310,8 @@ GetLinkageForFunction(ASTContext &Context, const FunctionDecl *FD,
   //   instantiated when used so that the body can be considered for 
   //   inlining, but that no out-of-line copy of the inline function would be
   //   generated in the translation unit. -- end note ]
-
-  // We check the specialization kind of the class for implicit methods.
-  // They have a TSK_Undeclared specialization kind.
-  TemplateSpecializationKind TSK;
-  const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(FD);
-  if (MD && MD->isImplicit())
-    TSK = MD->getParent()->getTemplateSpecializationKind();
-  else
-    TSK = FD->getTemplateSpecializationKind();
-
-  if (TSK == TSK_ExplicitInstantiationDeclaration)
+  if (FD->getTemplateSpecializationKind() 
+                                       == TSK_ExplicitInstantiationDeclaration)
     return CodeGenModule::GVA_C99Inline;
   
   return CodeGenModule::GVA_CXXInline;

diff --git a/lib/Sema/SemaTemplate.cpp b/lib/Sema/SemaTemplate.cpp
index d7b613e02b21185a770faa0b189eb3257ada2336..abe9363352ea3bc06fffa9601c4fd329dd2bfd4c 100644 (file)
--- a/lib/Sema/SemaTemplate.cpp
+++ b/lib/Sema/SemaTemplate.cpp
@@ -4389,7 +4389,13 @@ Sema::ActOnExplicitInstantiation(Scope *S,
   Def = cast_or_null<ClassTemplateSpecializationDecl>(
                                        Specialization->getDefinition());
   if (Def) {
-    Def->setTemplateSpecializationKind(TSK);
+    TemplateSpecializationKind Old_TSK = Def->getTemplateSpecializationKind();
+
+    // Fix a TSK_ExplicitInstantiationDeclaration followed by a
+    // TSK_ExplicitInstantiationDefinition
+    if (Old_TSK == TSK_ExplicitInstantiationDeclaration &&
+        TSK == TSK_ExplicitInstantiationDefinition)
+      Def->setTemplateSpecializationKind(TSK);
 
     InstantiateClassTemplateSpecializationMembers(TemplateNameLoc, Def, TSK);
   }

diff --git a/test/CodeGenCXX/PR6677.cpp b/test/CodeGenCXX/PR6677.cpp
index 29c737c8e9ba799e524e7c8151e26621242a7455..8d168f110608039b1429f0bc23a32692d6415943 100644 (file)
--- a/test/CodeGenCXX/PR6677.cpp
+++ b/test/CodeGenCXX/PR6677.cpp
@@ -3,9 +3,6 @@
 // CHECK-NOT: @_ZTVN5test118stdio_sync_filebufIwEE = constant
 // CHECK: @_ZTVN5test018stdio_sync_filebufIwEE = constant
 
-// CHECK: define linkonce_odr void @_ZN5test21CIiE5fobarIdEEvT_
-// CHECK: define available_externally void @_ZN5test21CIiE6zedbarEd
-
 namespace test0 {
   struct  basic_streambuf   {
     virtual       ~basic_streambuf();
@@ -16,12 +13,7 @@ namespace test0 {
   };
 
   // This specialization should cause the vtable to be emitted, even with
-  // the following extern template declaration (test at the top).
-
-  // The existance of the extern template declaration should prevent us from emitting
-  // destructors.
-  // CHECK: define available_externally void @_ZN5test018stdio_sync_filebufIwED0Ev
-  // CHECK: define available_externally void @_ZN5test018stdio_sync_filebufIwED2Ev
+  // the following extern template declaration.
   template<> void stdio_sync_filebuf<wchar_t>::xsgetn()  {
   }
   extern template class stdio_sync_filebuf<wchar_t>;
@@ -36,30 +28,6 @@ namespace test1 {
     virtual void      xsgetn();
   };
 
-  // Just a declaration should not force the vtable to be emitted
-  // (test at the top).
+  // Just a declaration should not force the vtable to be emitted.
   template<> void stdio_sync_filebuf<wchar_t>::xsgetn();
 }
-
-namespace test2 {
-  template<typename T1>
-  class C {
-    void zedbar(double) {
-    }
-    template<typename T2>
-    void fobar(T2 foo) {
-    }
-  };
-  extern template class C<int>;
-  void g() {
-    C<int> a;
-    // The extern template declaration should not prevent us from producing
-    /// foobar.
-    // (test at the top).
-    a.fobar(0.0);
-
-    // But it should prevent zebbar
-    // (test at the top).
-    a.zedbar(0.0);
-  }
-}