29#include "llvm/ADT/ArrayRef.h"
30#include "llvm/ADT/FoldingSet.h"
31#include "llvm/ADT/PointerUnion.h"
32#include "llvm/ADT/STLExtras.h"
33#include "llvm/ADT/SmallVector.h"
34#include "llvm/Support/ErrorHandling.h"
45template <
class TemplateParam>
48 return P.hasDefaultArgument() &&
49 P.getDefaultArgument().getArgument().containsUnexpandedParameterPack();
58 : TemplateLoc(TemplateLoc), LAngleLoc(LAngleLoc), RAngleLoc(RAngleLoc),
59 NumParams(Params.size()), ContainsUnexpandedParameterPack(
false),
60 HasRequiresClause(RequiresClause !=
nullptr),
61 HasConstrainedParameters(
false) {
62 for (
unsigned Idx = 0; Idx < NumParams; ++Idx) {
67 if (
const auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(P)) {
68 if (!IsPack && (NTTP->getType()->containsUnexpandedParameterPack() ||
70 ContainsUnexpandedParameterPack =
true;
71 if (NTTP->hasPlaceholderTypeConstraint())
72 HasConstrainedParameters =
true;
73 }
else if (
const auto *TTP = dyn_cast<TemplateTemplateParmDecl>(P)) {
75 (TTP->getTemplateParameters()->containsUnexpandedParameterPack() ||
77 ContainsUnexpandedParameterPack =
true;
79 }
else if (
const auto *TTP = dyn_cast<TemplateTypeParmDecl>(P)) {
81 ContainsUnexpandedParameterPack =
true;
85 ContainsUnexpandedParameterPack =
true;
87 if (TTP->hasTypeConstraint())
88 HasConstrainedParameters =
true;
90 llvm_unreachable(
"unexpected template parameter type");
94 if (HasRequiresClause) {
96 ContainsUnexpandedParameterPack =
true;
97 *getTrailingObjects<Expr *>() = RequiresClause;
102 if (ContainsUnexpandedParameterPack)
104 if (!HasConstrainedParameters)
110 for (
const NamedDecl *Param : llvm::reverse(
asArray())) {
111 if (!Param->isImplicit())
114 if (
const auto *TTP = dyn_cast<TemplateTypeParmDecl>(Param)) {
115 const auto *TC = TTP->getTypeConstraint();
116 if (TC && TC->getImmediatelyDeclaredConstraint()
117 ->containsUnexpandedParameterPack())
130 void *Mem =
C.Allocate(totalSizeToAlloc<NamedDecl *, Expr *>(
131 Params.size(), RequiresClause ? 1u : 0u),
134 RAngleLoc, RequiresClause);
140 ID.AddBoolean(RC !=
nullptr);
144 for (NamedDecl *D : *
this) {
145 if (
const auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(D)) {
147 ID.AddBoolean(NTTP->isParameterPack());
148 NTTP->getType().getCanonicalType().Profile(ID);
149 ID.AddBoolean(NTTP->hasPlaceholderTypeConstraint());
150 if (
const Expr *E = NTTP->getPlaceholderTypeConstraint())
151 E->Profile(ID,
C,
true);
154 if (
const auto *TTP = dyn_cast<TemplateTypeParmDecl>(D)) {
156 ID.AddBoolean(TTP->isParameterPack());
157 ID.AddBoolean(TTP->hasTypeConstraint());
158 if (
const TypeConstraint *TC = TTP->getTypeConstraint())
159 TC->getImmediatelyDeclaredConstraint()->Profile(ID,
C,
165 ID.AddInteger(TTP->templateParameterKind());
166 ID.AddBoolean(TTP->isParameterPack());
167 TTP->getTemplateParameters()->Profile(ID,
C);
172 unsigned NumRequiredArgs = 0;
173 for (
const NamedDecl *P :
asArray()) {
176 NumRequiredArgs += *Expansions;
182 if (
const auto *TTP = dyn_cast<TemplateTypeParmDecl>(P)) {
183 if (TTP->hasDefaultArgument())
185 }
else if (
const auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(P)) {
186 if (NTTP->hasDefaultArgument())
188 }
else if (
const auto *TTP = dyn_cast<TemplateTemplateParmDecl>(P);
189 TTP && TTP->hasDefaultArgument())
195 return NumRequiredArgs;
202 const NamedDecl *FirstParm =
getParam(0);
203 if (
const auto *TTP = dyn_cast<TemplateTypeParmDecl>(FirstParm))
204 return TTP->getDepth();
205 else if (
const auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(FirstParm))
206 return NTTP->getDepth();
217 if (
const auto *TTP = dyn_cast<TemplateTemplateParmDecl>(P))
229 if (HasConstrainedParameters)
230 for (
const NamedDecl *Param : *
this) {
231 if (
const auto *TTP = dyn_cast<TemplateTypeParmDecl>(Param)) {
232 if (
const auto *TC = TTP->getTypeConstraint())
233 ACs.emplace_back(TC->getImmediatelyDeclaredConstraint(),
234 TC->getArgPackSubstIndex());
235 }
else if (
const auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(Param)) {
236 if (
const Expr *E = NTTP->getPlaceholderTypeConstraint())
240 if (HasRequiresClause)
245 return HasRequiresClause || HasConstrainedParameters;
251 InjectedArgs =
new (Context) TemplateArgument[
size()];
252 llvm::transform(*
this, InjectedArgs, [&](NamedDecl *ND) {
256 return {InjectedArgs, NumParams};
264 const NamedDecl *TemplParam = TPL->
getParam(Idx);
265 if (
const auto *ParamValueDecl =
266 dyn_cast<NonTypeTemplateParmDecl>(TemplParam))
267 if (ParamValueDecl->getType()->getContainedDeducedType())
275 return new (
C)
char[
sizeof(
void*) * 2];
289void TemplateDecl::anchor() {}
296 ACs.emplace_back(TRC);
303 return static_cast<bool>(FD->getTrailingRequiresClause());
309 case TemplateDecl::TypeAliasTemplate:
311 case TemplateDecl::BuiltinTemplate:
322void RedeclarableTemplateDecl::anchor() {}
338 PrevDecls.push_back(Prev);
357 bool OnlyPartial )
const {
376template <
class EntryType,
typename... ProfileArguments>
379 llvm::FoldingSetVector<EntryType> &Specs,
void *&InsertPos,
380 ProfileArguments... ProfileArgs) {
383 llvm::FoldingSetNodeID ID;
385 EntryType *Entry = Specs.FindNodeOrInsertPos(ID, InsertPos);
386 return Entry ? SETraits::getDecl(Entry)->getMostRecentDecl() :
nullptr;
389template <
class EntryType,
typename... ProfileArguments>
392 llvm::FoldingSetVector<EntryType> &Specs,
void *&InsertPos,
393 ProfileArguments... ProfileArgs) {
404template<
class Derived,
class EntryType>
406 llvm::FoldingSetVector<EntryType> &Specializations, EntryType *Entry,
412 auto Args = SETraits::getTemplateArgs(Entry);
418 void *CorrectInsertPos;
420 InsertPos == CorrectInsertPos &&
421 "given incorrect InsertPos for specialization");
423 Specializations.InsertNode(Entry, InsertPos);
425 EntryType *Existing = Specializations.GetOrInsertNode(Entry);
428 "non-canonical specialization?");
433 SETraits::getDecl(Entry));
447 TD->setInvalidDecl();
459 auto *CommonPtr =
new (
C)
Common;
460 C.addDestruction(CommonPtr);
468llvm::FoldingSetVector<FunctionTemplateSpecializationInfo> &
496 Common *ThisCommon =
static_cast<Common *
>(Base::Common);
497 Common *PrevCommon =
nullptr;
500 if (Prev->Base::Common) {
501 PrevCommon =
static_cast<Common *
>(Prev->Base::Common);
504 PreviousDecls.push_back(Prev);
510 for (
auto *D : PreviousDecls)
511 D->Base::Common = ThisCommon;
517 "Can't merge incompatible declarations!");
519 Base::Common = PrevCommon;
534 TD->setInvalidDecl();
545 bool OnlyPartial )
const {
549llvm::FoldingSetVector<ClassTemplateSpecializationDecl> &
555llvm::FoldingSetVector<ClassTemplatePartialSpecializationDecl> &
563 auto *CommonPtr =
new (
C)
Common;
564 C.addDestruction(CommonPtr);
593 ID.AddInteger(TemplateArgs.size());
608 assert(Existing->
isCanonicalDecl() &&
"Non-canonical specialization?");
612 L->AddedCXXTemplateSpecialization(
this, D);
617 llvm::FoldingSetVector<ClassTemplatePartialSpecializationDecl> &PartialSpecs
620 PS.reserve(PartialSpecs.size());
630 if (Context.hasSameType(P.getCanonicalInjectedSpecializationType(Context),
674 bool Typename,
bool ParameterPack,
bool HasTypeConstraint,
678 additionalSizeToAlloc<TypeConstraint>(HasTypeConstraint ? 1 : 0))
679 TemplateTypeParmDecl(DC, KeyLoc, NameLoc, Id, Typename,
680 HasTypeConstraint, NumExpanded);
681 QualType TTPType =
C.getTemplateTypeParmType(D, P, ParameterPack, TTPDecl);
682 TTPDecl->setTypeForDecl(TTPType.
getTypePtr());
690 false,
false, std::nullopt);
695 bool HasTypeConstraint) {
697 additionalSizeToAlloc<TypeConstraint>(HasTypeConstraint ? 1 : 0))
699 false, HasTypeConstraint, std::nullopt);
722 DefaultArgument.set(
nullptr);
728 return dyn_cast<TemplateTypeParmType>(
getTypeForDecl())->getDepth();
732 return dyn_cast<TemplateTypeParmType>(
getTypeForDecl())->getIndex();
736 return dyn_cast<TemplateTypeParmType>(
getTypeForDecl())->isParameterPack();
742 assert(HasTypeConstraint &&
743 "HasTypeConstraint=true must be passed at construction in order to "
744 "call setTypeConstraint");
745 assert(!TypeConstraintInitialized &&
746 "TypeConstraint was already initialized!");
747 new (getTrailingObjects())
748 TypeConstraint(Loc, ImmediatelyDeclaredConstraint, ArgPackSubstIndex);
749 TypeConstraintInitialized =
true;
756NonTypeTemplateParmDecl::NonTypeTemplateParmDecl(
760 :
DeclaratorDecl(NonTypeTemplateParm, DC, IdLoc, Id,
T, TInfo, StartLoc),
762 ExpandedParameterPack(
true), NumExpandedTypes(ExpandedTypes.size()) {
763 if (!ExpandedTypes.empty() && !ExpandedTInfos.empty()) {
765 getTrailingObjects<std::pair<QualType, TypeSourceInfo *>>();
766 for (unsigned I = 0; I != NumExpandedTypes; ++I) {
767 new (&TypesAndInfos[I].first) QualType(ExpandedTypes[I]);
768 TypesAndInfos[I].second = ExpandedTInfos[I];
778 C.getLangOpts().CPlusPlus20 ?
T->getContainedAutoType() :
nullptr;
779 const bool HasConstraint = AT && AT->isConstrained();
782 additionalSizeToAlloc<std::pair<QualType, TypeSourceInfo *>,
Expr *>(
783 0, HasConstraint ? 1 : 0))
784 NonTypeTemplateParmDecl(DC, StartLoc, IdLoc, D, P, Id,
T,
785 ParameterPack, TInfo);
787 NTTP->setPlaceholderTypeConstraint(
nullptr);
797 const bool HasConstraint = AT && AT->isConstrained();
800 additionalSizeToAlloc<std::pair<QualType, TypeSourceInfo *>,
Expr *>(
801 ExpandedTypes.size(), HasConstraint ? 1 : 0))
802 NonTypeTemplateParmDecl(DC, StartLoc, IdLoc, D, P, Id,
T, TInfo,
803 ExpandedTypes, ExpandedTInfos);
805 NTTP->setPlaceholderTypeConstraint(
nullptr);
811 bool HasTypeConstraint) {
814 additionalSizeToAlloc<std::pair<QualType, TypeSourceInfo *>,
Expr *>(
815 0, HasTypeConstraint ? 1 : 0))
817 0, 0,
nullptr,
QualType(),
false,
nullptr);
818 if (HasTypeConstraint)
825 unsigned NumExpandedTypes,
826 bool HasTypeConstraint) {
829 additionalSizeToAlloc<std::pair<QualType, TypeSourceInfo *>,
Expr *>(
830 NumExpandedTypes, HasTypeConstraint ? 1 : 0))
832 0, 0,
nullptr,
QualType(),
nullptr, {}, {});
833 NTTP->NumExpandedTypes = NumExpandedTypes;
834 if (HasTypeConstraint)
835 NTTP->setPlaceholderTypeConstraint(
nullptr);
854 DefaultArgument.set(
nullptr);
863void TemplateTemplateParmDecl::anchor() {}
865TemplateTemplateParmDecl::TemplateTemplateParmDecl(
869 :
TemplateDecl(TemplateTemplateParm, DC, L, Id, Params),
871 ParameterPack(
true), ExpandedParameterPack(
true),
872 NumExpandedParams(Expansions.size()) {
873 llvm::uninitialized_copy(Expansions, getTrailingObjects());
880 return new (
C, DC) TemplateTemplateParmDecl(DC, L, D, P, ParameterPack, Id,
881 Kind, Typename, Params);
891 additionalSizeToAlloc<TemplateParameterList *>(Expansions.size()))
892 TemplateTemplateParmDecl(DC, L, D, P, Id,
Kind, Typename, Params,
898 return new (
C, ID) TemplateTemplateParmDecl(
905 unsigned NumExpansions) {
907 new (
C, ID, additionalSizeToAlloc<TemplateParameterList *>(NumExpansions))
908 TemplateTemplateParmDecl(
nullptr,
SourceLocation(), 0, 0,
nullptr,
911 TTP->NumExpandedParams = NumExpansions;
923 DefaultArgument.set(
nullptr);
932 : NumArguments(Args.size()) {
933 llvm::uninitialized_copy(Args, getTrailingObjects());
939 void *Mem = Context.Allocate(totalSizeToAlloc<TemplateArgument>(Args.size()));
940 return new (Mem) TemplateArgumentList(Args);
949 if (TemplateArgsAsWritten)
951 *TemplateArgsAsWritten);
954 C.Allocate(totalSizeToAlloc<MemberSpecializationInfo *>(MSInfo ? 1 : 0));
955 return new (Mem) FunctionTemplateSpecializationInfo(
956 FD, Template, TSK, TemplateArgs, ArgsAsWritten, POI, MSInfo);
970 SpecializedTemplate(SpecializedTemplate),
972 SpecializationKind(
TSK_Undeclared), StrictPackMatch(StrictPackMatch) {
973 assert(DK == Kind::ClassTemplateSpecialization || StrictPackMatch ==
false);
988 Context, ClassTemplateSpecialization, TK, DC, StartLoc, IdLoc,
989 SpecializedTemplate, Args, StrictPackMatch, PrevDecl);
995 if (!SpecializedTemplate->getTemplatedDecl()->isCompleteDefinition())
996 Result->setHasExternalLexicalStorage(
997 SpecializedTemplate->getTemplatedDecl()->hasExternalLexicalStorage());
1013 const auto *PS = dyn_cast<ClassTemplatePartialSpecializationDecl>(
this);
1015 PS ? PS->getTemplateArgsAsWritten() :
nullptr) {
1016 printTemplateArgumentList(
1017 OS, ArgsAsWritten->arguments(), Policy,
1021 printTemplateArgumentList(
1022 OS, TemplateArgs.asArray(), Policy,
1029 if (
const auto *PartialSpec =
1030 SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization*>())
1031 return PartialSpec->PartialSpecialization->getSpecializedTemplate();
1043 assert(!Pattern.isNull() &&
1044 "Class template specialization without pattern?");
1045 if (
const auto *CTPSD =
1046 dyn_cast<ClassTemplatePartialSpecializationDecl *>(Pattern))
1047 return CTPSD->getSourceRange();
1054 Range.setEnd(Args->getRAngleLoc());
1061 Range.setBegin(ExternKW);
1064 Range.setBegin(TemplateKW);
1066 Range.setEnd(Args->getRAngleLoc());
1070 llvm_unreachable(
"unhandled template specialization kind");
1074 auto *Info = dyn_cast_if_present<ExplicitInstantiationInfo *>(ExplicitInfo);
1077 if (Loc.isInvalid())
1081 ExplicitInfo = Info;
1083 Info->ExternKeywordLoc = Loc;
1088 auto *Info = dyn_cast_if_present<ExplicitInstantiationInfo *>(ExplicitInfo);
1091 if (Loc.isInvalid())
1095 ExplicitInfo = Info;
1097 Info->TemplateKeywordLoc = Loc;
1110 TD->setInvalidDecl();
1125ImplicitConceptSpecializationDecl::ImplicitConceptSpecializationDecl(
1128 :
Decl(ImplicitConceptSpecialization, DC, SL),
1129 NumTemplateArgs(ConvertedArgs.size()) {
1130 setTemplateArguments(ConvertedArgs);
1133ImplicitConceptSpecializationDecl::ImplicitConceptSpecializationDecl(
1134 EmptyShell
Empty,
unsigned NumTemplateArgs)
1135 :
Decl(ImplicitConceptSpecialization,
Empty),
1136 NumTemplateArgs(NumTemplateArgs) {}
1142 additionalSizeToAlloc<TemplateArgument>(ConvertedArgs.size()))
1143 ImplicitConceptSpecializationDecl(DC, SL, ConvertedArgs);
1149 return new (
C, ID, additionalSizeToAlloc<TemplateArgument>(NumTemplateArgs))
1150 ImplicitConceptSpecializationDecl(
EmptyShell{}, NumTemplateArgs);
1155 assert(Converted.size() == NumTemplateArgs);
1156 llvm::uninitialized_copy(Converted, getTrailingObjects());
1162void ClassTemplatePartialSpecializationDecl::anchor() {}
1164ClassTemplatePartialSpecializationDecl::ClassTemplatePartialSpecializationDecl(
1171 Context, ClassTemplatePartialSpecialization, TK, DC, StartLoc, IdLoc,
1174 SpecializedTemplate, Args,
false, PrevDecl),
1175 TemplateParams(Params), InstantiatedFromMember(
nullptr,
false),
1176 CanonInjectedTST(CanonInjectedTST) {
1187 ClassTemplatePartialSpecializationDecl *PrevDecl) {
1188 auto *
Result =
new (Context, DC) ClassTemplatePartialSpecializationDecl(
1189 Context, TK, DC, StartLoc, IdLoc, Params, SpecializedTemplate, Args,
1190 CanonInjectedTST, PrevDecl);
1198 return new (
C, ID) ClassTemplatePartialSpecializationDecl(
C);
1204 if (CanonInjectedTST.isNull()) {
1211 return CanonInjectedTST;
1215 if (
const ClassTemplatePartialSpecializationDecl *MT =
1218 return MT->getSourceRange();
1230void FriendTemplateDecl::anchor() {}
1238 if (!Params.empty()) {
1240 llvm::copy(Params, TPL);
1242 return new (Context, DC)
1243 FriendTemplateDecl(DC, L, TPL, Params.
size(), Friend, FLoc);
1248 return new (
C, ID) FriendTemplateDecl(
EmptyShell());
1262 TD->setInvalidDecl();
1274 auto *CommonPtr =
new (
C)
Common;
1275 C.addDestruction(CommonPtr);
1300 TD->setInvalidDecl();
1311 bool OnlyPartial )
const {
1315llvm::FoldingSetVector<VarTemplateSpecializationDecl> &
1321llvm::FoldingSetVector<VarTemplatePartialSpecializationDecl> &
1329 auto *CommonPtr =
new (
C)
Common;
1330 C.addDestruction(CommonPtr);
1357 ID.AddInteger(TemplateArgs.size());
1371 assert(Existing->
isCanonicalDecl() &&
"Non-canonical specialization?");
1375 L->AddedCXXTemplateSpecialization(
this, D);
1380 llvm::FoldingSetVector<VarTemplatePartialSpecializationDecl> &PartialSpecs =
1383 PS.reserve(PartialSpecs.size());
1385 PS.push_back(P.getMostRecentDecl());
1393 if (P.getInstantiatedFromMember()->getCanonicalDecl() == DCanon)
1394 return P.getMostRecentDecl();
1408 :
VarDecl(DK, Context, DC, StartLoc, IdLoc,
1410 SpecializedTemplate(SpecializedTemplate),
1425 VarTemplateSpecialization, Context, DC, StartLoc, IdLoc,
1426 SpecializedTemplate,
T, TInfo, S, Args);
1440 const auto *PS = dyn_cast<VarTemplatePartialSpecializationDecl>(
this);
1442 PS ? PS->getTemplateArgsAsWritten() :
nullptr) {
1443 printTemplateArgumentList(
1444 OS, ArgsAsWritten->arguments(), Policy,
1448 printTemplateArgumentList(
1449 OS, TemplateArgs.asArray(), Policy,
1455 if (
const auto *PartialSpec =
1456 SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization *>())
1457 return PartialSpec->PartialSpecialization->getSpecializedTemplate();
1468 assert(!Pattern.isNull() &&
1469 "Variable template specialization without pattern?");
1470 if (
const auto *VTPSD =
1471 dyn_cast<VarTemplatePartialSpecializationDecl *>(Pattern))
1472 return VTPSD->getSourceRange();
1484 Range.setEnd(Args->getRAngleLoc());
1491 Range.setBegin(ExternKW);
1494 Range.setBegin(TemplateKW);
1496 Range.setEnd(Args->getRAngleLoc());
1500 llvm_unreachable(
"unhandled template specialization kind");
1504 auto *Info = dyn_cast_if_present<ExplicitInstantiationInfo *>(ExplicitInfo);
1507 if (Loc.isInvalid())
1511 ExplicitInfo = Info;
1513 Info->ExternKeywordLoc = Loc;
1517 auto *Info = dyn_cast_if_present<ExplicitInstantiationInfo *>(ExplicitInfo);
1520 if (Loc.isInvalid())
1524 ExplicitInfo = Info;
1526 Info->TemplateKeywordLoc = Loc;
1533void VarTemplatePartialSpecializationDecl::anchor() {}
1535VarTemplatePartialSpecializationDecl::VarTemplatePartialSpecializationDecl(
1541 DC, StartLoc, IdLoc, SpecializedTemplate,
T,
1543 TemplateParams(Params), InstantiatedFromMember(
nullptr,
false) {
1554 auto *
Result =
new (Context, DC) VarTemplatePartialSpecializationDecl(
1555 Context, DC, StartLoc, IdLoc, Params, SpecializedTemplate,
T, TInfo, S,
1564 return new (
C, ID) VarTemplatePartialSpecializationDecl(
C);
1568 if (
const VarTemplatePartialSpecializationDecl *MT =
1571 return MT->getSourceRange();
1582#define CREATE_BUILTIN_TEMPLATE_PARAMETER_LIST
1583#include "clang/Basic/BuiltinTemplates.inc"
1586 llvm_unreachable(
"unhandled BuiltinTemplateKind!");
1589void BuiltinTemplateDecl::anchor() {}
1603 auto *
T = dyn_cast_or_null<BuiltinTemplateDecl>(
1605 return T &&
T->isPackProducingBuiltinTemplate();
1613 C.addDestruction(&TPOD->Value);
1619 auto *TPOD =
new (
C,
ID) TemplateParamObjectDecl(
nullptr, QualType(),
APValue());
1620 C.addDestruction(&TPOD->Value);
1626 OS <<
"<template param ";
1650std::tuple<NamedDecl *, TemplateArgument>
1653 case Decl::Kind::BuiltinTemplate:
1654 case Decl::Kind::ClassTemplate:
1655 case Decl::Kind::Concept:
1656 case Decl::Kind::FunctionTemplate:
1657 case Decl::Kind::TemplateTemplateParm:
1658 case Decl::Kind::TypeAliasTemplate:
1659 case Decl::Kind::VarTemplate:
1662 case Decl::Kind::ClassTemplateSpecialization: {
1664 auto P = CTSD->getSpecializedTemplateOrPartial();
1666 if (
const auto *CTPSD =
1667 dyn_cast<ClassTemplatePartialSpecializationDecl *>(P)) {
1668 TPL = CTPSD->getTemplateParameters();
1673 return {TPL->
getParam(Index), CTSD->getTemplateArgs()[Index]};
1675 case Decl::Kind::VarTemplateSpecialization: {
1677 auto P = VTSD->getSpecializedTemplateOrPartial();
1679 if (
const auto *VTPSD =
1680 dyn_cast<VarTemplatePartialSpecializationDecl *>(P)) {
1681 TPL = VTPSD->getTemplateParameters();
1686 return {TPL->
getParam(Index), VTSD->getTemplateArgs()[Index]};
1688 case Decl::Kind::ClassTemplatePartialSpecialization:
1690 ->getTemplateParameters()
1693 case Decl::Kind::VarTemplatePartialSpecialization:
1695 ->getTemplateParameters()
1699 case Decl::TemplateTypeParm:
1702 case Decl::Kind::CXXRecord:
1705 case Decl::Kind::CXXDeductionGuide:
1706 case Decl::Kind::CXXConversion:
1707 case Decl::Kind::CXXConstructor:
1708 case Decl::Kind::CXXDestructor:
1709 case Decl::Kind::CXXMethod:
1710 case Decl::Kind::Function:
1715 llvm_unreachable(
"Unhandled templated declaration kind");
1720 if (
const auto *FD = dyn_cast<FunctionDecl>(&D)) {
1740 if (
const auto *VD = dyn_cast<VarDecl>(&D)) {
1743 if (VD->isStaticDataMember())
1749 if (
const auto *CRD = dyn_cast<CXXRecordDecl>(&D)) {
1756 if (
const auto *CTSD = dyn_cast<ClassTemplateSpecializationDecl>(CRD)) {
1764 : *
static_cast<const Decl *
>(
1770 CRD->getMemberSpecializationInfo())
1771 return *Info->getInstantiatedFrom();
1775 if (
const auto *ED = dyn_cast<EnumDecl>(&D)) {
Defines the clang::ASTContext interface.
#define BuiltinTemplate(BTName)
Defines enum values for all the target-independent builtin functions.
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
static bool DefaultTemplateArgumentContainsUnexpandedPack(const TemplateParam &P)
static bool AdoptTemplateParameterList(TemplateParameterList *Params, DeclContext *Owner)
static TemplateParameterList * createBuiltinTemplateParameterList(const ASTContext &C, DeclContext *DC, BuiltinTemplateKind BTK)
Defines the C++ template declaration subclasses.
Defines the clang::Expr interface and subclasses for C++ expressions.
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
This file contains the declaration of the ODRHash class, which calculates a hash based on AST nodes,...
static StringRef getIdentifier(const Token &Tok)
Defines the clang::SourceLocation class and associated facilities.
Defines the clang::TypeLoc interface and its subclasses.
C Language Family Type Representation.
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
void printPretty(raw_ostream &OS, const ASTContext &Ctx, QualType Ty) const
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
QualType getCanonicalTemplateSpecializationType(ElaboratedTypeKeyword Keyword, TemplateName T, ArrayRef< TemplateArgument > CanonicalArgs) const
TemplateArgument getInjectedTemplateArg(NamedDecl *ParamDecl) const
ExternalASTSource * getExternalSource() const
Retrieve a pointer to the external AST source associated with this AST context, if any.
bool canonicalizeTemplateArguments(MutableArrayRef< TemplateArgument > Args) const
Canonicalize the given template argument list.
An abstract interface that should be implemented by listeners that want to be notified when an AST en...
BuiltinTemplateKind getBuiltinTemplateKind() const
bool isPackProducingBuiltinTemplate() const
CXXRecordDecl(Kind K, TagKind TK, const ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, IdentifierInfo *Id, CXXRecordDecl *PrevDecl)
CXXRecordDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
static CanQual< Type > CreateUnsafe(QualType Other)
Declaration of a class template.
void AddPartialSpecialization(ClassTemplatePartialSpecializationDecl *D, void *InsertPos)
Insert the specified partial specialization knowing that it is not already in.
llvm::FoldingSetVector< ClassTemplateSpecializationDecl > & getSpecializations() const
Retrieve the set of specializations of this class template.
llvm::FoldingSetVector< ClassTemplatePartialSpecializationDecl > & getPartialSpecializations() const
Retrieve the set of partial specializations of this class template.
ClassTemplatePartialSpecializationDecl * findPartialSpecialization(ArrayRef< TemplateArgument > Args, TemplateParameterList *TPL, void *&InsertPos)
Return the partial specialization with the provided arguments if it exists, otherwise return the inse...
ClassTemplateDecl(ASTContext &C, DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, NamedDecl *Decl)
CommonBase * newCommon(ASTContext &C) const override
static ClassTemplateDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, NamedDecl *Decl)
Create a class template node.
ClassTemplateDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
ClassTemplatePartialSpecializationDecl * findPartialSpecInstantiatedFromMember(ClassTemplatePartialSpecializationDecl *D)
Find a class template partial specialization which was instantiated from the given member partial spe...
void LoadLazySpecializations(bool OnlyPartial=false) const
Load any lazily-loaded specializations from the external source.
void AddSpecialization(ClassTemplateSpecializationDecl *D, void *InsertPos)
Insert the specified specialization knowing that it is not already in.
CanQualType getCanonicalInjectedSpecializationType(const ASTContext &Ctx) const
Retrieve the canonical template specialization type of the injected-class-name for this class templat...
Common * getCommonPtr() const
ClassTemplateSpecializationDecl * findSpecialization(ArrayRef< TemplateArgument > Args, void *&InsertPos)
Return the specialization with the provided arguments if it exists, otherwise return the insertion po...
static ClassTemplateDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
Create an empty class template node.
ClassTemplatePartialSpecializationDecl * getInstantiatedFromMember() const
Retrieve the member class template partial specialization from which this particular class template p...
CanQualType getCanonicalInjectedSpecializationType(const ASTContext &Ctx) const
Retrieves the canonical injected specialization type for this partial specialization.
void Profile(llvm::FoldingSetNodeID &ID) const
bool isMemberSpecialization() const
Determines whether this class template partial specialization template was a specialization of a memb...
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
static ClassTemplatePartialSpecializationDecl * Create(ASTContext &Context, TagKind TK, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, TemplateParameterList *Params, ClassTemplateDecl *SpecializedTemplate, ArrayRef< TemplateArgument > Args, CanQualType CanonInjectedTST, ClassTemplatePartialSpecializationDecl *PrevDecl)
static ClassTemplatePartialSpecializationDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
TemplateParameterList * getTemplateParameters() const
Get the list of template parameters.
Represents a class template specialization, which refers to a class template with a given set of temp...
TemplateSpecializationKind getSpecializationKind() const
Determine the kind of specialization that this declaration represents.
const ASTTemplateArgumentListInfo * getTemplateArgsAsWritten() const
Retrieve the template argument list as written in the sources, if any.
ClassTemplateDecl * getSpecializedTemplate() const
Retrieve the template that this specialization specializes.
static ClassTemplateSpecializationDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
llvm::PointerUnion< ClassTemplateDecl *, ClassTemplatePartialSpecializationDecl * > getSpecializedTemplateOrPartial() const
Retrieve the class template or class template partial specialization which was specialized by this.
void getNameForDiagnostic(raw_ostream &OS, const PrintingPolicy &Policy, bool Qualified) const override
Appends a human-readable name for this declaration into the given stream.
static ClassTemplateSpecializationDecl * Create(ASTContext &Context, TagKind TK, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, ClassTemplateDecl *SpecializedTemplate, ArrayRef< TemplateArgument > Args, bool StrictPackMatch, ClassTemplateSpecializationDecl *PrevDecl)
void setExternKeywordLoc(SourceLocation Loc)
Sets the location of the extern keyword.
const TemplateArgumentList & getTemplateArgs() const
Retrieve the template arguments of the class template specialization.
SourceLocation getExternKeywordLoc() const
Gets the location of the extern keyword, if present.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
SourceLocation getTemplateKeywordLoc() const
Gets the location of the template keyword, if present.
ClassTemplateSpecializationDecl(ASTContext &Context, Kind DK, TagKind TK, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, ClassTemplateDecl *SpecializedTemplate, ArrayRef< TemplateArgument > Args, bool StrictPackMatch, ClassTemplateSpecializationDecl *PrevDecl)
void setTemplateKeywordLoc(SourceLocation Loc)
Sets the location of the template keyword.
ConceptDecl(DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, Expr *ConstraintExpr)
static ConceptDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
static ConceptDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, Expr *ConstraintExpr=nullptr)
A reference to a concept and its template args, as it appears in the code.
DeclContext - This is used only as base class of specific decl types that can act as declaration cont...
Decl - This represents one declaration (or definition), e.g.
ASTContext & getASTContext() const LLVM_READONLY
ASTMutationListener * getASTMutationListener() const
void setInvalidDecl(bool Invalid=true)
setInvalidDecl - Indicates the Decl had a semantic error.
Kind
Lists the kind of concrete classes of Decl.
bool isCanonicalDecl() const
Whether this particular Decl is a canonical one.
bool isInvalidDecl() const
bool isTemplateParameterPack() const
isTemplateParameter - Determines whether this declaration is a template parameter pack.
void setDeclContext(DeclContext *DC)
setDeclContext - Set both the semantic and lexical DeclContext to DC.
virtual Decl * getCanonicalDecl()
Retrieves the "canonical" declaration of the given declaration.
The name of a declaration.
Represents a ValueDecl that came out of a declarator.
SourceLocation getOuterLocStart() const
Return start of source range taking into account any outer template declarations.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
unsigned getNumTemplateParameterLists() const
EnumDecl * getInstantiatedFromMemberEnum() const
Returns the enumeration (declared within the template) from which this enumeration type was instantia...
This represents one expression.
bool containsUnexpandedParameterPack() const
Whether this expression contains an unexpanded parameter pack (for C++11 variadic templates).
virtual bool LoadExternalSpecializations(const Decl *D, bool OnlyPartial)
Load all the external specializations for the Decl.
Declaration of a friend template.
static FriendTemplateDecl * Create(ASTContext &Context, DeclContext *DC, SourceLocation Loc, MutableArrayRef< TemplateParameterList * > Params, FriendUnion Friend, SourceLocation FriendLoc)
llvm::PointerUnion< NamedDecl *, TypeSourceInfo * > FriendUnion
static FriendTemplateDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
Represents a function declaration or definition.
FunctionDecl * getInstantiatedFromMemberFunction() const
If this function is an instantiation of a member function of a class template specialization,...
Declaration of a template function.
FunctionDecl * findSpecialization(ArrayRef< TemplateArgument > Args, void *&InsertPos)
Return the specialization with the provided arguments if it exists, otherwise return the insertion po...
void addSpecialization(FunctionTemplateSpecializationInfo *Info, void *InsertPos)
Add a specialization of this function template.
CommonBase * newCommon(ASTContext &C) const override
Common * getCommonPtr() const
FunctionTemplateDecl * getPreviousDecl()
Retrieve the previous declaration of this function template, or nullptr if no such declaration exists...
static FunctionTemplateDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
Create an empty function template node.
FunctionTemplateDecl(ASTContext &C, DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, NamedDecl *Decl)
static FunctionTemplateDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, NamedDecl *Decl)
Create a function template node.
llvm::FoldingSetVector< FunctionTemplateSpecializationInfo > & getSpecializations() const
Retrieve the set of function template specializations of this function template.
void mergePrevDecl(FunctionTemplateDecl *Prev)
Merge Prev with our RedeclarableTemplateDecl::Common.
void LoadLazySpecializations() const
Load any lazily-loaded specializations from the external source.
Provides information about a function template specialization, which is a FunctionDecl that has been ...
static FunctionTemplateSpecializationInfo * Create(ASTContext &C, FunctionDecl *FD, FunctionTemplateDecl *Template, TemplateSpecializationKind TSK, TemplateArgumentList *TemplateArgs, const TemplateArgumentListInfo *TemplateArgsAsWritten, SourceLocation POI, MemberSpecializationInfo *MSInfo)
One of these records is kept for each identifier that is lexed.
void setTemplateArguments(ArrayRef< TemplateArgument > Converted)
static ImplicitConceptSpecializationDecl * Create(const ASTContext &C, DeclContext *DC, SourceLocation SL, ArrayRef< TemplateArgument > ConvertedArgs)
static ImplicitConceptSpecializationDecl * CreateDeserialized(const ASTContext &C, GlobalDeclID ID, unsigned NumTemplateArgs)
Provides information a specialization of a member of a class template, which may be a member function...
This represents a decl that may have a name.
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
NamedDecl(Kind DK, DeclContext *DC, SourceLocation L, DeclarationName N)
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
NamedDecl * getMostRecentDecl()
virtual void getNameForDiagnostic(raw_ostream &OS, const PrintingPolicy &Policy, bool Qualified) const
Appends a human-readable name for this declaration into the given stream.
NonTypeTemplateParmDecl - Declares a non-type template parameter, e.g., "Size" in.
static NonTypeTemplateParmDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID, bool HasTypeConstraint)
SourceLocation getDefaultArgumentLoc() const
Retrieve the location of the default argument, if any.
bool hasDefaultArgument() const
Determine whether this template parameter has a default argument.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
bool defaultArgumentWasInherited() const
Determines whether the default argument was inherited from a previous declaration of this template.
const TemplateArgumentLoc & getDefaultArgument() const
Retrieve the default argument, if any.
static NonTypeTemplateParmDecl * Create(const ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, unsigned D, unsigned P, const IdentifierInfo *Id, QualType T, bool ParameterPack, TypeSourceInfo *TInfo)
void setPlaceholderTypeConstraint(Expr *E)
void setDefaultArgument(const ASTContext &C, const TemplateArgumentLoc &DefArg)
Set the default argument for this template parameter, and whether that default argument was inherited...
A (possibly-)qualified type.
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
void print(raw_ostream &OS, const PrintingPolicy &Policy, const Twine &PlaceHolder=Twine(), unsigned Indentation=0) const
QualType getUnqualifiedType() const
Retrieve the unqualified variant of the given type, removing as little sugar as possible.
RedeclarableTemplateDecl(Kind DK, ASTContext &C, DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, NamedDecl *Decl)
void loadLazySpecializationsImpl(bool OnlyPartial=false) const
CommonBase * getCommonPtr() const
Retrieves the "common" pointer shared by all (re-)declarations of the same template.
RedeclarableTemplateDecl * getPreviousDecl()
Return the previous declaration of this declaration or NULL if this is the first declaration.
CommonBase * Common
Pointer to the common data shared by all declarations of this template.
SpecEntryTraits< EntryType >::DeclType * findSpecializationImpl(llvm::FoldingSetVector< EntryType > &Specs, void *&InsertPos, ProfileArguments... ProfileArgs)
virtual CommonBase * newCommon(ASTContext &C) const =0
RedeclarableTemplateDecl * getCanonicalDecl() override
Retrieves the canonical declaration of this template.
void addSpecializationImpl(llvm::FoldingSetVector< EntryType > &Specs, EntryType *Entry, void *InsertPos)
SpecEntryTraits< EntryType >::DeclType * findSpecializationLocally(llvm::FoldingSetVector< EntryType > &Specs, void *&InsertPos, ProfileArguments... ProfileArgs)
ArrayRef< TemplateArgument > getInjectedTemplateArgs(const ASTContext &Context) const
Retrieve the "injected" template arguments that correspond to the template parameters of this templat...
Encodes a location in the source.
bool isValid() const
Return true if this is a valid SourceLocation object.
A trivial tuple used to represent a source range.
SourceLocation getBegin() const
void Profile(llvm::FoldingSetNodeID &ID, const ASTContext &Context, bool Canonical, bool ProfileLambdaExpr=false) const
Produce a unique representation of the given statement.
bool isThisDeclarationADefinition() const
Return true if this declaration is a completion definition of the type.
unsigned getNumTemplateParameterLists() const
A convenient class for passing around template argument information.
A template argument list.
static TemplateArgumentList * CreateCopy(ASTContext &Context, ArrayRef< TemplateArgument > Args)
Create a new template argument list that copies the given set of template arguments.
Location wrapper for a TemplateArgument.
SourceLocation getLocation() const
const TemplateArgument & getArgument() const
SourceRange getSourceRange() const LLVM_READONLY
Represents a template argument.
bool isNull() const
Determine whether this template argument has no value.
The base class of all kinds of template declarations (e.g., class, function, etc.).
NamedDecl * TemplatedDecl
TemplateParameterList * TemplateParams
void getAssociatedConstraints(llvm::SmallVectorImpl< AssociatedConstraint > &AC) const
Get the total constraint-expression associated with this template, including constraint-expressions d...
bool hasAssociatedConstraints() const
NamedDecl * getTemplatedDecl() const
Get the underlying, templated declaration.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
TemplateDecl(Kind DK, DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, NamedDecl *Decl)
TemplateParameterList * getTemplateParameters() const
Get the list of template parameters.
Represents a C++ template name within the type system.
TemplateDecl * getAsTemplateDecl(bool IgnoreDeduced=false) const
Retrieve the underlying template declaration that this template name refers to, if known.
A template parameter object.
void printAsExpr(llvm::raw_ostream &OS) const
Print this object as an equivalent expression.
const APValue & getValue() const
void printName(llvm::raw_ostream &OS, const PrintingPolicy &Policy) const override
Print this template parameter object in a human-readable format.
void printAsInit(llvm::raw_ostream &OS) const
Print this object as an initializer suitable for a variable of the object's type.
Stores a list of template parameters for a TemplateDecl and its derived classes.
NamedDecl * getParam(unsigned Idx)
ArrayRef< TemplateArgument > getInjectedTemplateArgs(const ASTContext &Context)
Get the template argument list of the template parameter list.
unsigned getDepth() const
Get the depth of this template parameter list in the set of template parameter lists.
bool hasAssociatedConstraints() const
unsigned getMinRequiredArguments() const
Returns the minimum number of arguments needed to form a template specialization.
static TemplateParameterList * Create(const ASTContext &C, SourceLocation TemplateLoc, SourceLocation LAngleLoc, ArrayRef< NamedDecl * > Params, SourceLocation RAngleLoc, Expr *RequiresClause)
Expr * getRequiresClause()
The constraint-expression of the associated requires-clause.
void Profile(llvm::FoldingSetNodeID &ID, const ASTContext &C) const
bool containsUnexpandedParameterPack() const
Determine whether this template parameter list contains an unexpanded parameter pack.
TemplateParameterList(const ASTContext &C, SourceLocation TemplateLoc, SourceLocation LAngleLoc, ArrayRef< NamedDecl * > Params, SourceLocation RAngleLoc, Expr *RequiresClause)
void getAssociatedConstraints(llvm::SmallVectorImpl< AssociatedConstraint > &AC) const
All associated constraints derived from this template parameter list, including the requires clause a...
ArrayRef< NamedDecl * > asArray()
static bool shouldIncludeTypeForArgument(const PrintingPolicy &Policy, const TemplateParameterList *TPL, unsigned Idx)
SourceLocation getTemplateLoc() const
Defines the position of a template parameter within a template parameter list.
TemplateTemplateParmDecl - Declares a template template parameter, e.g., "T" in.
const TemplateArgumentLoc & getDefaultArgument() const
Retrieve the default argument, if any.
static TemplateTemplateParmDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
static TemplateTemplateParmDecl * Create(const ASTContext &C, DeclContext *DC, SourceLocation L, unsigned D, unsigned P, bool ParameterPack, IdentifierInfo *Id, TemplateNameKind ParameterKind, bool Typename, TemplateParameterList *Params)
SourceLocation getDefaultArgumentLoc() const
Retrieve the location of the default argument, if any.
void setDefaultArgument(const ASTContext &C, const TemplateArgumentLoc &DefArg)
Set the default argument for this template parameter, and whether that default argument was inherited...
bool hasDefaultArgument() const
Determine whether this template parameter has a default argument.
Declaration of a template type parameter.
SourceLocation getDefaultArgumentLoc() const
Retrieves the location of the default argument declaration.
const TemplateArgumentLoc & getDefaultArgument() const
Retrieve the default argument, if any.
unsigned getIndex() const
Retrieve the index of the template parameter.
void setTypeConstraint(ConceptReference *CR, Expr *ImmediatelyDeclaredConstraint, UnsignedOrNone ArgPackSubstIndex)
static TemplateTypeParmDecl * CreateDeserialized(const ASTContext &C, GlobalDeclID ID)
bool hasDefaultArgument() const
Determine whether this template parameter has a default argument.
bool defaultArgumentWasInherited() const
Determines whether the default argument was inherited from a previous declaration of this template.
bool isParameterPack() const
Returns whether this is a parameter pack.
static TemplateTypeParmDecl * Create(const ASTContext &C, DeclContext *DC, SourceLocation KeyLoc, SourceLocation NameLoc, unsigned D, unsigned P, IdentifierInfo *Id, bool Typename, bool ParameterPack, bool HasTypeConstraint=false, UnsignedOrNone NumExpanded=std::nullopt)
unsigned getDepth() const
Retrieve the depth of the template parameter.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
void setDefaultArgument(const ASTContext &C, const TemplateArgumentLoc &DefArg)
Set the default argument for this template parameter.
Declaration of an alias template.
CommonBase * newCommon(ASTContext &C) const override
static TypeAliasTemplateDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
Create an empty alias template node.
TypeAliasTemplateDecl(ASTContext &C, DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, NamedDecl *Decl)
static TypeAliasTemplateDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, NamedDecl *Decl)
Create a function template node.
Models the abbreviated syntax to constrain a template type parameter: template <convertible_to<string...
Expr * getImmediatelyDeclaredConstraint() const
Get the immediately-declared constraint expression introduced by this type-constraint,...
const Type * getTypeForDecl() const
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
SourceLocation getBeginLoc() const LLVM_READONLY
A container of type source information.
QualType getType() const
Return the type wrapped by this type source info.
AutoType * getContainedAutoType() const
Get the AutoType whose type will be deduced for a variable with an initializer of this type.
Represents a variable declaration or definition.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
VarDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
VarDecl * getInstantiatedFromStaticDataMember() const
If this variable is an instantiated static data member of a class template specialization,...
@ Definition
This declaration is definitely a definition.
Declaration of a variable template.
VarTemplateDecl * getDefinition()
VarTemplateDecl * getCanonicalDecl() override
Retrieves the canonical declaration of this template.
void AddPartialSpecialization(VarTemplatePartialSpecializationDecl *D, void *InsertPos)
Insert the specified partial specialization knowing that it is not already in.
Common * getCommonPtr() const
VarTemplatePartialSpecializationDecl * findPartialSpecialization(ArrayRef< TemplateArgument > Args, TemplateParameterList *TPL, void *&InsertPos)
Return the partial specialization with the provided arguments if it exists, otherwise return the inse...
void AddSpecialization(VarTemplateSpecializationDecl *D, void *InsertPos)
Insert the specified specialization knowing that it is not already in.
VarTemplateDecl * getPreviousDecl()
Retrieve the previous declaration of this variable template, or nullptr if no such declaration exists...
CommonBase * newCommon(ASTContext &C) const override
void LoadLazySpecializations(bool OnlyPartial=false) const
Load any lazily-loaded specializations from the external source.
VarTemplateDecl(ASTContext &C, DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, NamedDecl *Decl)
static VarTemplateDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
Create an empty variable template node.
static VarTemplateDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, VarDecl *Decl)
Create a variable template node.
llvm::FoldingSetVector< VarTemplatePartialSpecializationDecl > & getPartialSpecializations() const
Retrieve the set of partial specializations of this class template.
llvm::FoldingSetVector< VarTemplateSpecializationDecl > & getSpecializations() const
Retrieve the set of specializations of this variable template.
bool isThisDeclarationADefinition() const
Returns whether this template declaration defines the primary variable pattern.
VarTemplateSpecializationDecl * findSpecialization(ArrayRef< TemplateArgument > Args, void *&InsertPos)
Return the specialization with the provided arguments if it exists, otherwise return the insertion po...
VarTemplatePartialSpecializationDecl * findPartialSpecInstantiatedFromMember(VarTemplatePartialSpecializationDecl *D)
Find a variable template partial specialization which was instantiated from the given member partial ...
static VarTemplatePartialSpecializationDecl * Create(ASTContext &Context, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, TemplateParameterList *Params, VarTemplateDecl *SpecializedTemplate, QualType T, TypeSourceInfo *TInfo, StorageClass S, ArrayRef< TemplateArgument > Args)
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
TemplateParameterList * getTemplateParameters() const
Get the list of template parameters.
VarTemplatePartialSpecializationDecl * getInstantiatedFromMember() const
Retrieve the member variable template partial specialization from which this particular variable temp...
bool isMemberSpecialization() const
Determines whether this variable template partial specialization was a specialization of a member par...
void Profile(llvm::FoldingSetNodeID &ID) const
static VarTemplatePartialSpecializationDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
Represents a variable template specialization, which refers to a variable template with a given set o...
VarTemplateSpecializationDecl(Kind DK, ASTContext &Context, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, VarTemplateDecl *SpecializedTemplate, QualType T, TypeSourceInfo *TInfo, StorageClass S, ArrayRef< TemplateArgument > Args)
const ASTTemplateArgumentListInfo * getTemplateArgsAsWritten() const
Retrieve the template argument list as written in the sources, if any.
void setTemplateKeywordLoc(SourceLocation Loc)
Sets the location of the template keyword.
const TemplateArgumentList & getTemplateArgs() const
Retrieve the template arguments of the variable template specialization.
SourceLocation getTemplateKeywordLoc() const
Gets the location of the template keyword, if present.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
static VarTemplateSpecializationDecl * Create(ASTContext &Context, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, VarTemplateDecl *SpecializedTemplate, QualType T, TypeSourceInfo *TInfo, StorageClass S, ArrayRef< TemplateArgument > Args)
llvm::PointerUnion< VarTemplateDecl *, VarTemplatePartialSpecializationDecl * > getSpecializedTemplateOrPartial() const
Retrieve the variable template or variable template partial specialization which was specialized by t...
TemplateSpecializationKind getSpecializationKind() const
Determine the kind of specialization that this declaration represents.
VarTemplateDecl * getSpecializedTemplate() const
Retrieve the template that this specialization specializes.
SourceLocation getExternKeywordLoc() const
Gets the location of the extern keyword, if present.
static VarTemplateSpecializationDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
void setExternKeywordLoc(SourceLocation Loc)
Sets the location of the extern keyword.
void getNameForDiagnostic(raw_ostream &OS, const PrintingPolicy &Policy, bool Qualified) const override
Appends a human-readable name for this declaration into the given stream.
The JSON file list parser is used to communicate input to InstallAPI.
CanQual< Type > CanQualType
Represents a canonical, potentially-qualified type.
bool isa(CodeGen::Address addr)
bool isPackProducingBuiltinTemplateName(TemplateName N)
nullptr
This class represents a compute construct, representing a 'Kind' of ‘parallel’, 'serial',...
StorageClass
Storage classes.
UnsignedOrNone getExpandedPackSize(const NamedDecl *Param)
Check whether the template parameter is a pack expansion, and if so, determine the number of paramete...
void * allocateDefaultArgStorageChain(const ASTContext &C)
@ Result
The result type of a method or function.
const FunctionProtoType * T
TagTypeKind
The kind of a tag type.
BuiltinTemplateKind
Kinds of BuiltinTemplateDecl.
std::tuple< NamedDecl *, TemplateArgument > getReplacedTemplateParameter(Decl *D, unsigned Index)
Internal helper used by Subst* nodes to retrieve a parameter from the AssociatedDecl,...
TemplateNameKind
Specifies the kind of template name that an identifier refers to.
@ TNK_Type_template
The name refers to a template whose specialization produces a type.
const Decl & adjustDeclToTemplate(const Decl &D)
If we have a 'templated' declaration for a template, adjust 'D' to refer to the actual template.
TemplateSpecializationKind
Describes the kind of template specialization that a particular template specialization declaration r...
@ TSK_ExplicitInstantiationDefinition
This template specialization was instantiated from a template due to an explicit instantiation defini...
@ TSK_ExplicitInstantiationDeclaration
This template specialization was instantiated from a template due to an explicit instantiation declar...
@ TSK_ExplicitSpecialization
This template specialization was declared or defined by an explicit specialization (C++ [temp....
@ TSK_ImplicitInstantiation
This template specialization was implicitly instantiated from a template.
@ TSK_Undeclared
This template specialization was formed from a template-id but has not yet been declared,...
U cast(CodeGen::Address addr)
@ None
No keyword precedes the qualified type name.
@ Struct
The "struct" keyword introduces the elaborated-type-specifier.
@ Typename
The "typename" keyword precedes the qualified type name, e.g., typename T::type.
Represents an explicit template argument list in C++, e.g., the "<int>" in "sort<int>".
static const ASTTemplateArgumentListInfo * Create(const ASTContext &C, const TemplateArgumentListInfo &List)
Data that is common to all of the declarations of a given class template.
CanQualType CanonInjectedTST
The Injected Template Specialization Type for this declaration.
llvm::FoldingSetVector< ClassTemplatePartialSpecializationDecl > PartialSpecializations
The class template partial specializations for this class template.
llvm::FoldingSetVector< ClassTemplateSpecializationDecl > Specializations
The class template specializations for this class template, including explicit specializations and in...
A placeholder type used to construct an empty shell of a decl-derived type that will be filled in lat...
Provides information about an explicit instantiation of a variable or class template.
const ASTTemplateArgumentListInfo * TemplateArgsAsWritten
The template arguments as written..
Data that is common to all of the declarations of a given function template.
llvm::FoldingSetVector< FunctionTemplateSpecializationInfo > Specializations
The function template specializations for this function template, including explicit specializations ...
Describes how types, statements, expressions, and declarations should be printed.
unsigned AlwaysIncludeTypeForTemplateArgument
Whether to use type suffixes (eg: 1U) on integral non-type template parameters.
Data that is common to all of the declarations of a given variable template.
llvm::FoldingSetVector< VarTemplatePartialSpecializationDecl > PartialSpecializations
The variable template partial specializations for this variable template.
llvm::FoldingSetVector< VarTemplateSpecializationDecl > Specializations
The variable template specializations for this variable template, including explicit specializations ...