Introduce basic support for instantiating the definitions of member

functions of class templates. Only compound statements and expression
statements are currently implemented.


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

1 files changed, 20 insertions, 0 deletions

diff --git a/lib/Sema/SemaTemplateInstantiate.cpp b/lib/Sema/SemaTemplateInstantiate.cpp
index 5c6ed758d9..9503ad9180 100644
--- a/lib/Sema/SemaTemplateInstantiate.cpp
+++ b/lib/Sema/SemaTemplateInstantiate.cpp
@@ -24,6 +24,26 @@ using namespace clang;
 // Template Instantiation Support
 //===----------------------------------------------------------------------===/
 
+/// \brief Retrieve the template argument list that should be used to
+/// instantiate the given declaration.
+const TemplateArgumentList &
+Sema::getTemplateInstantiationArgs(NamedDecl *D) {
+  if (ClassTemplateSpecializationDecl *Spec 
+        = dyn_cast<ClassTemplateSpecializationDecl>(D))
+    return Spec->getTemplateArgs();
+
+  DeclContext *EnclosingTemplateCtx = D->getDeclContext();
+  while (!isa<ClassTemplateSpecializationDecl>(EnclosingTemplateCtx)) {
+    assert(!EnclosingTemplateCtx->isFileContext() &&
+           "Tried to get the instantiation arguments of a non-template");
+    EnclosingTemplateCtx = EnclosingTemplateCtx->getParent();
+  }
+
+  ClassTemplateSpecializationDecl *EnclosingTemplate 
+    = cast<ClassTemplateSpecializationDecl>(EnclosingTemplateCtx);
+  return EnclosingTemplate->getTemplateArgs();
+}
+
 Sema::InstantiatingTemplate::
 InstantiatingTemplate(Sema &SemaRef, SourceLocation PointOfInstantiation,
                       CXXRecordDecl *Entity,