Implement basic parsing and semantic analysis for explicit
specialization of class templates, e.g.,
template<typename T> class X;
template<> class X<int> { /* blah */ };
Each specialization is a different *Decl node (naturally), and can
have different members. We keep track of forward declarations and
definitions as for other class/struct/union types.
This is only the basic framework: we still have to deal with checking
the template headers properly, improving recovery when there are
failures, handling nested name specifiers, etc.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@64848 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Sema/Sema.h b/lib/Sema/Sema.h
index 9b2b6e5..1bc4692 100644
--- a/lib/Sema/Sema.h
+++ b/lib/Sema/Sema.h
@@ -1513,14 +1513,26 @@
AttributeList *Attr,
MultiTemplateParamsArg TemplateParameterLists);
- virtual TypeTy *
- ActOnClassTemplateSpecialization(DeclTy *Template,
- SourceLocation TemplateLoc,
+ virtual TypeResult
+ ActOnClassTemplateId(DeclTy *Template, SourceLocation TemplateLoc,
+ SourceLocation LAngleLoc,
+ ASTTemplateArgsPtr TemplateArgs,
+ SourceLocation *TemplateArgLocs,
+ SourceLocation RAngleLoc,
+ const CXXScopeSpec *SS);
+
+ virtual DeclTy *
+ ActOnClassTemplateSpecialization(Scope *S, unsigned TagSpec, TagKind TK,
+ SourceLocation KWLoc,
+ const CXXScopeSpec &SS,
+ DeclTy *Template,
+ SourceLocation TemplateNameLoc,
SourceLocation LAngleLoc,
ASTTemplateArgsPtr TemplateArgs,
SourceLocation *TemplateArgLocs,
SourceLocation RAngleLoc,
- const CXXScopeSpec *SS = 0);
+ AttributeList *Attr,
+ MultiTemplateParamsArg TemplateParameterLists);
bool CheckTemplateArgumentList(TemplateDecl *Template,
SourceLocation TemplateLoc,