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);
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));
444 assert(!Params->
empty() &&
"template with no template parameters");
448 TD->setInvalidDecl();
460 auto *CommonPtr =
new (
C)
Common;
461 C.addDestruction(CommonPtr);
469llvm::FoldingSetVector<FunctionTemplateSpecializationInfo> &
497 Common *ThisCommon =
static_cast<Common *
>(Base::Common);
498 Common *PrevCommon =
nullptr;
501 if (Prev->Base::Common) {
502 PrevCommon =
static_cast<Common *
>(Prev->Base::Common);
505 PreviousDecls.push_back(Prev);
511 for (
auto *D : PreviousDecls)
512 D->Base::Common = ThisCommon;
518 "Can't merge incompatible declarations!");
520 Base::Common = PrevCommon;
532 assert(!Params->
empty() &&
"template with no template parameters");
536 TD->setInvalidDecl();
551llvm::FoldingSetVector<ClassTemplateSpecializationDecl> &
557llvm::FoldingSetVector<ClassTemplatePartialSpecializationDecl> &
565 auto *CommonPtr =
new (
C)
Common;
566 C.addDestruction(CommonPtr);
595 ID.AddInteger(TemplateArgs.size());
610 assert(Existing->
isCanonicalDecl() &&
"Non-canonical specialization?");
614 L->AddedCXXTemplateSpecialization(
this, D);
619 llvm::FoldingSetVector<ClassTemplatePartialSpecializationDecl> &PartialSpecs
622 PS.reserve(PartialSpecs.size());
632 if (Context.hasSameType(P.getCanonicalInjectedSpecializationType(Context),
676 bool Typename,
bool ParameterPack,
bool HasTypeConstraint,
680 additionalSizeToAlloc<TypeConstraint>(HasTypeConstraint ? 1 : 0))
681 TemplateTypeParmDecl(DC, KeyLoc, NameLoc, Id, Typename,
682 HasTypeConstraint, NumExpanded);
683 QualType TTPType =
C.getTemplateTypeParmType(D, P, ParameterPack, TTPDecl);
684 TTPDecl->setTypeForDecl(TTPType.
getTypePtr());
692 false,
false, std::nullopt);
697 bool HasTypeConstraint) {
699 additionalSizeToAlloc<TypeConstraint>(HasTypeConstraint ? 1 : 0))
701 false, HasTypeConstraint, std::nullopt);
724 DefaultArgument.set(
nullptr);
730 return dyn_cast<TemplateTypeParmType>(
getTypeForDecl())->getDepth();
734 return dyn_cast<TemplateTypeParmType>(
getTypeForDecl())->getIndex();
738 return dyn_cast<TemplateTypeParmType>(
getTypeForDecl())->isParameterPack();
744 assert(HasTypeConstraint &&
745 "HasTypeConstraint=true must be passed at construction in order to "
746 "call setTypeConstraint");
747 assert(!TypeConstraintInitialized &&
748 "TypeConstraint was already initialized!");
749 new (getTrailingObjects())
750 TypeConstraint(Loc, ImmediatelyDeclaredConstraint, ArgPackSubstIndex);
751 TypeConstraintInitialized =
true;
758NonTypeTemplateParmDecl::NonTypeTemplateParmDecl(
762 :
DeclaratorDecl(NonTypeTemplateParm, DC, IdLoc, Id, T, TInfo, StartLoc),
764 ExpandedParameterPack(
true), NumExpandedTypes(ExpandedTypes.size()) {
765 if (!ExpandedTypes.empty() && !ExpandedTInfos.empty()) {
767 getTrailingObjects<std::pair<QualType, TypeSourceInfo *>>();
768 for (unsigned I = 0; I != NumExpandedTypes; ++I) {
769 new (&TypesAndInfos[I].first) QualType(ExpandedTypes[I]);
770 TypesAndInfos[I].second = ExpandedTInfos[I];
780 C.getLangOpts().CPlusPlus20 ? T->getContainedAutoType() :
nullptr;
781 const bool HasConstraint = AT && AT->isConstrained();
784 additionalSizeToAlloc<std::pair<QualType, TypeSourceInfo *>,
Expr *>(
785 0, HasConstraint ? 1 : 0))
786 NonTypeTemplateParmDecl(DC, StartLoc, IdLoc, D, P, Id, T,
787 ParameterPack, TInfo);
789 NTTP->setPlaceholderTypeConstraint(
nullptr);
799 const bool HasConstraint = AT && AT->isConstrained();
802 additionalSizeToAlloc<std::pair<QualType, TypeSourceInfo *>,
Expr *>(
803 ExpandedTypes.size(), HasConstraint ? 1 : 0))
804 NonTypeTemplateParmDecl(DC, StartLoc, IdLoc, D, P, Id, T, TInfo,
805 ExpandedTypes, ExpandedTInfos);
807 NTTP->setPlaceholderTypeConstraint(
nullptr);
813 bool HasTypeConstraint) {
816 additionalSizeToAlloc<std::pair<QualType, TypeSourceInfo *>,
Expr *>(
817 0, HasTypeConstraint ? 1 : 0))
819 0, 0,
nullptr,
QualType(),
false,
nullptr);
820 if (HasTypeConstraint)
827 unsigned NumExpandedTypes,
828 bool HasTypeConstraint) {
831 additionalSizeToAlloc<std::pair<QualType, TypeSourceInfo *>,
Expr *>(
832 NumExpandedTypes, HasTypeConstraint ? 1 : 0))
834 0, 0,
nullptr,
QualType(),
nullptr, {}, {});
835 NTTP->NumExpandedTypes = NumExpandedTypes;
836 if (HasTypeConstraint)
837 NTTP->setPlaceholderTypeConstraint(
nullptr);
856 DefaultArgument.set(
nullptr);
865void TemplateTemplateParmDecl::anchor() {}
867TemplateTemplateParmDecl::TemplateTemplateParmDecl(
871 :
TemplateDecl(TemplateTemplateParm, DC, L, Id, Params),
873 ParameterPack(
true), ExpandedParameterPack(
true),
874 NumExpandedParams(Expansions.size()) {
875 llvm::uninitialized_copy(Expansions, getTrailingObjects());
882 assert(!Params->
empty() &&
"template with no template parameters");
883 return new (
C, DC) TemplateTemplateParmDecl(DC, L, D, P, ParameterPack, Id,
884 Kind, Typename, Params);
893 assert(!Params->
empty() &&
"template with no template parameters");
895 additionalSizeToAlloc<TemplateParameterList *>(Expansions.size()))
896 TemplateTemplateParmDecl(DC, L, D, P, Id,
Kind, Typename, Params,
902 return new (
C, ID) TemplateTemplateParmDecl(
909 unsigned NumExpansions) {
911 new (
C, ID, additionalSizeToAlloc<TemplateParameterList *>(NumExpansions))
912 TemplateTemplateParmDecl(
nullptr,
SourceLocation(), 0, 0,
nullptr,
915 TTP->NumExpandedParams = NumExpansions;
927 DefaultArgument.set(
nullptr);
936 : NumArguments(Args.size()) {
937 llvm::uninitialized_copy(Args, getTrailingObjects());
943 void *Mem = Context.Allocate(totalSizeToAlloc<TemplateArgument>(Args.size()));
944 return new (Mem) TemplateArgumentList(Args);
953 if (TemplateArgsAsWritten)
955 *TemplateArgsAsWritten);
958 C.Allocate(totalSizeToAlloc<MemberSpecializationInfo *>(MSInfo ? 1 : 0));
959 return new (Mem) FunctionTemplateSpecializationInfo(
960 FD, Template, TSK, TemplateArgs, ArgsAsWritten, POI, MSInfo);
974 SpecializedTemplate(SpecializedTemplate),
976 SpecializationKind(
TSK_Undeclared), StrictPackMatch(StrictPackMatch) {
977 assert(DK == Kind::ClassTemplateSpecialization || StrictPackMatch ==
false);
992 Context, ClassTemplateSpecialization, TK, DC, StartLoc, IdLoc,
993 SpecializedTemplate, Args, StrictPackMatch, PrevDecl);
999 if (!SpecializedTemplate->getTemplatedDecl()->isCompleteDefinition())
1000 Result->setHasExternalLexicalStorage(
1001 SpecializedTemplate->getTemplatedDecl()->hasExternalLexicalStorage());
1017 const auto *PS = dyn_cast<ClassTemplatePartialSpecializationDecl>(
this);
1019 PS ? PS->getTemplateArgsAsWritten() :
nullptr) {
1020 printTemplateArgumentList(
1021 OS, ArgsAsWritten->arguments(), Policy,
1025 printTemplateArgumentList(
1026 OS, TemplateArgs.asArray(), Policy,
1033 if (
const auto *PartialSpec =
1034 SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization*>())
1035 return PartialSpec->PartialSpecialization->getSpecializedTemplate();
1047 assert(!Pattern.isNull() &&
1048 "Class template specialization without pattern?");
1049 if (
const auto *CTPSD =
1050 dyn_cast<ClassTemplatePartialSpecializationDecl *>(Pattern))
1051 return CTPSD->getSourceRange();
1058 Range.setEnd(Args->getRAngleLoc());
1065 Range.setBegin(ExternKW);
1068 Range.setBegin(TemplateKW);
1070 Range.setEnd(Args->getRAngleLoc());
1074 llvm_unreachable(
"unhandled template specialization kind");
1078 auto *Info = dyn_cast_if_present<ExplicitInstantiationInfo *>(ExplicitInfo);
1081 if (Loc.isInvalid())
1085 ExplicitInfo = Info;
1087 Info->ExternKeywordLoc = Loc;
1092 auto *Info = dyn_cast_if_present<ExplicitInstantiationInfo *>(ExplicitInfo);
1095 if (Loc.isInvalid())
1099 ExplicitInfo = Info;
1101 Info->TemplateKeywordLoc = Loc;
1111 assert(!Params->
empty() &&
"template with no template parameters");
1115 TD->setInvalidDecl();
1130ImplicitConceptSpecializationDecl::ImplicitConceptSpecializationDecl(
1133 :
Decl(ImplicitConceptSpecialization, DC, SL),
1134 NumTemplateArgs(ConvertedArgs.size()) {
1135 setTemplateArguments(ConvertedArgs);
1138ImplicitConceptSpecializationDecl::ImplicitConceptSpecializationDecl(
1139 EmptyShell
Empty,
unsigned NumTemplateArgs)
1140 :
Decl(ImplicitConceptSpecialization,
Empty),
1141 NumTemplateArgs(NumTemplateArgs) {}
1147 additionalSizeToAlloc<TemplateArgument>(ConvertedArgs.size()))
1148 ImplicitConceptSpecializationDecl(DC, SL, ConvertedArgs);
1154 return new (
C, ID, additionalSizeToAlloc<TemplateArgument>(NumTemplateArgs))
1155 ImplicitConceptSpecializationDecl(
EmptyShell{}, NumTemplateArgs);
1160 assert(Converted.size() == NumTemplateArgs);
1161 llvm::uninitialized_copy(Converted, getTrailingObjects());
1167void ClassTemplatePartialSpecializationDecl::anchor() {}
1169ClassTemplatePartialSpecializationDecl::ClassTemplatePartialSpecializationDecl(
1176 Context, ClassTemplatePartialSpecialization, TK, DC, StartLoc, IdLoc,
1179 SpecializedTemplate, Args,
false, PrevDecl),
1180 TemplateParams(Params), InstantiatedFromMember(
nullptr,
false),
1181 CanonInjectedTST(CanonInjectedTST) {
1192 ClassTemplatePartialSpecializationDecl *PrevDecl) {
1193 assert(!Params->
empty() &&
"template with no template parameters");
1194 auto *
Result =
new (Context, DC) ClassTemplatePartialSpecializationDecl(
1195 Context, TK, DC, StartLoc, IdLoc, Params, SpecializedTemplate, Args,
1196 CanonInjectedTST, PrevDecl);
1204 return new (
C, ID) ClassTemplatePartialSpecializationDecl(
C);
1210 if (CanonInjectedTST.isNull()) {
1217 return CanonInjectedTST;
1221 if (
const ClassTemplatePartialSpecializationDecl *MT =
1224 return MT->getSourceRange();
1236void FriendTemplateDecl::anchor() {}
1244 if (!Params.empty()) {
1246 llvm::copy(Params, TPL);
1248 return new (Context, DC)
1249 FriendTemplateDecl(DC, L, TPL, Params.
size(), Friend, FLoc);
1254 return new (
C, ID) FriendTemplateDecl(
EmptyShell());
1265 assert(!Params->
empty() &&
"template with no template parameters");
1269 TD->setInvalidDecl();
1281 auto *CommonPtr =
new (
C)
Common;
1282 C.addDestruction(CommonPtr);
1304 assert(!Params->
empty() &&
"template with no template parameters");
1308 TD->setInvalidDecl();
1323llvm::FoldingSetVector<VarTemplateSpecializationDecl> &
1329llvm::FoldingSetVector<VarTemplatePartialSpecializationDecl> &
1337 auto *CommonPtr =
new (
C)
Common;
1338 C.addDestruction(CommonPtr);
1365 ID.AddInteger(TemplateArgs.size());
1379 assert(Existing->
isCanonicalDecl() &&
"Non-canonical specialization?");
1383 L->AddedCXXTemplateSpecialization(
this, D);
1388 llvm::FoldingSetVector<VarTemplatePartialSpecializationDecl> &PartialSpecs =
1391 PS.reserve(PartialSpecs.size());
1393 PS.push_back(P.getMostRecentDecl());
1401 if (P.getInstantiatedFromMember()->getCanonicalDecl() == DCanon)
1402 return P.getMostRecentDecl();
1416 :
VarDecl(DK, Context, DC, StartLoc, IdLoc,
1418 SpecializedTemplate(SpecializedTemplate),
1433 VarTemplateSpecialization, Context, DC, StartLoc, IdLoc,
1434 SpecializedTemplate, T, TInfo, S, Args);
1448 const auto *PS = dyn_cast<VarTemplatePartialSpecializationDecl>(
this);
1450 PS ? PS->getTemplateArgsAsWritten() :
nullptr) {
1451 printTemplateArgumentList(
1452 OS, ArgsAsWritten->arguments(), Policy,
1456 printTemplateArgumentList(
1457 OS, TemplateArgs.asArray(), Policy,
1463 if (
const auto *PartialSpec =
1464 SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization *>())
1465 return PartialSpec->PartialSpecialization->getSpecializedTemplate();
1476 assert(!Pattern.isNull() &&
1477 "Variable template specialization without pattern?");
1478 if (
const auto *VTPSD =
1479 dyn_cast<VarTemplatePartialSpecializationDecl *>(Pattern))
1480 return VTPSD->getSourceRange();
1492 Range.setEnd(Args->getRAngleLoc());
1499 Range.setBegin(ExternKW);
1502 Range.setBegin(TemplateKW);
1504 Range.setEnd(Args->getRAngleLoc());
1508 llvm_unreachable(
"unhandled template specialization kind");
1512 auto *Info = dyn_cast_if_present<ExplicitInstantiationInfo *>(ExplicitInfo);
1515 if (Loc.isInvalid())
1519 ExplicitInfo = Info;
1521 Info->ExternKeywordLoc = Loc;
1525 auto *Info = dyn_cast_if_present<ExplicitInstantiationInfo *>(ExplicitInfo);
1528 if (Loc.isInvalid())
1532 ExplicitInfo = Info;
1534 Info->TemplateKeywordLoc = Loc;
1541void VarTemplatePartialSpecializationDecl::anchor() {}
1543VarTemplatePartialSpecializationDecl::VarTemplatePartialSpecializationDecl(
1549 DC, StartLoc, IdLoc, SpecializedTemplate, T,
1551 TemplateParams(Params), InstantiatedFromMember(
nullptr,
false) {
1562 assert(!Params->
empty() &&
"template with no template parameters");
1563 auto *
Result =
new (Context, DC) VarTemplatePartialSpecializationDecl(
1564 Context, DC, StartLoc, IdLoc, Params, SpecializedTemplate, T, TInfo, S,
1573 return new (
C, ID) VarTemplatePartialSpecializationDecl(
C);
1577 if (
const VarTemplatePartialSpecializationDecl *MT =
1580 return MT->getSourceRange();
1591#define CREATE_BUILTIN_TEMPLATE_PARAMETER_LIST
1592#include "clang/Basic/BuiltinTemplates.inc"
1595 llvm_unreachable(
"unhandled BuiltinTemplateKind!");
1598void BuiltinTemplateDecl::anchor() {}
1612 auto *T = dyn_cast_or_null<BuiltinTemplateDecl>(
1614 return T && T->isPackProducingBuiltinTemplate();
1622 C.addDestruction(&TPOD->Value);
1628 auto *TPOD =
new (
C,
ID) TemplateParamObjectDecl(
nullptr, QualType(),
APValue());
1629 C.addDestruction(&TPOD->Value);
1635 OS <<
"<template param ";
1659std::tuple<NamedDecl *, TemplateArgument>
1662 case Decl::Kind::BuiltinTemplate:
1663 case Decl::Kind::ClassTemplate:
1664 case Decl::Kind::Concept:
1665 case Decl::Kind::FunctionTemplate:
1666 case Decl::Kind::TemplateTemplateParm:
1667 case Decl::Kind::TypeAliasTemplate:
1668 case Decl::Kind::VarTemplate:
1671 case Decl::Kind::ClassTemplateSpecialization: {
1673 auto P = CTSD->getSpecializedTemplateOrPartial();
1674 if (
const auto *CTPSD =
1675 dyn_cast<ClassTemplatePartialSpecializationDecl *>(P)) {
1678 CTSD->getTemplateInstantiationArgs()[Index]};
1682 return {TPL->
getParam(Index), CTSD->getTemplateArgs()[Index]};
1684 case Decl::Kind::VarTemplateSpecialization: {
1686 auto P = VTSD->getSpecializedTemplateOrPartial();
1687 if (
const auto *VTPSD =
1688 dyn_cast<VarTemplatePartialSpecializationDecl *>(P)) {
1691 VTSD->getTemplateInstantiationArgs()[Index]};
1695 return {TPL->
getParam(Index), VTSD->getTemplateArgs()[Index]};
1697 case Decl::Kind::ClassTemplatePartialSpecialization:
1699 ->getTemplateParameters()
1702 case Decl::Kind::VarTemplatePartialSpecialization:
1704 ->getTemplateParameters()
1708 case Decl::TemplateTypeParm:
1711 case Decl::Kind::CXXRecord:
1714 case Decl::Kind::CXXDeductionGuide:
1715 case Decl::Kind::CXXConversion:
1716 case Decl::Kind::CXXConstructor:
1717 case Decl::Kind::CXXDestructor:
1718 case Decl::Kind::CXXMethod:
1719 case Decl::Kind::Function: {
1726 llvm_unreachable(
"Unhandled templated declaration kind");
1731 if (
const auto *FD = dyn_cast<FunctionDecl>(&D)) {
1751 if (
const auto *VD = dyn_cast<VarDecl>(&D)) {
1754 if (VD->isStaticDataMember())
1760 if (
const auto *CRD = dyn_cast<CXXRecordDecl>(&D)) {
1767 if (
const auto *CTSD = dyn_cast<ClassTemplateSpecializationDecl>(CRD)) {
1775 : *
static_cast<const Decl *
>(
1781 CRD->getMemberSpecializationInfo())
1782 return *Info->getInstantiatedFrom();
1786 if (
const auto *ED = dyn_cast<EnumDecl>(&D)) {
1797ExplicitInstantiationDecl::ExplicitInstantiationDecl(
1803 SpecAndTSK(
Specialization, TSK), ExternLoc(ExternLoc), NameLoc(NameLoc) {
1806 Flags |= HasQualifierFlag;
1808 Flags |= HasArgsAsWrittenFlag;
1811 TypeAndFlags.setPointerAndInt(TypeAsWritten, Flags);
1813 *getTrailingObjects<NestedNameSpecifierLoc>() = QualifierLoc;
1815 *getTrailingObjects<const ASTTemplateArgumentListInfo *>() = ArgsAsWritten;
1826 QualifierLoc ? 1 : 0, ArgsAsWritten ? 1 : 0);
1827 return new (
C, DC,
Extra) ExplicitInstantiationDecl(
1828 DC,
Specialization, ExternLoc, TemplateLoc, QualifierLoc, ArgsAsWritten,
1829 NameLoc, TypeAsWritten, TSK);
1834 unsigned TrailingFlags) {
1837 (TrailingFlags & HasQualifierFlag) ? 1 : 0,
1838 (TrailingFlags & HasArgsAsWrittenFlag) ? 1 : 0);
1841 D->TypeAndFlags.setInt(TrailingFlags);
1846 if (
auto *TSI = getRawTypeSourceInfo()) {
1848 return TL.getElaboratedKeywordLoc();
1849 if (
auto TL = TSI->getTypeLoc().getAs<
TagTypeLoc>())
1850 return TL.getElaboratedKeywordLoc();
1857 return *getTrailingObjects<NestedNameSpecifierLoc>();
1858 if (
auto *TSI = getRawTypeSourceInfo())
1859 return TSI->getTypeLoc().getPrefix();
1864 auto *TSI = getRawTypeSourceInfo();
1867 TypeLoc TL = TSI->getTypeLoc();
1876 if (
const auto *Args = getTrailingArgsInfo())
1877 return Args->NumTemplateArgs;
1878 if (
auto *TSI = getRawTypeSourceInfo())
1880 return TL.getNumArgs();
1886 if (
const auto *Args = getTrailingArgsInfo())
1888 auto *TSI = getRawTypeSourceInfo();
1893 if (
const auto *Args = getTrailingArgsInfo())
1894 return Args->getLAngleLoc();
1895 if (
auto *TSI = getRawTypeSourceInfo())
1897 return TL.getLAngleLoc();
1902 if (
const auto *Args = getTrailingArgsInfo())
1903 return Args->getRAngleLoc();
1904 if (
auto *TSI = getRawTypeSourceInfo())
1906 return TL.getRAngleLoc();
1914 if (TSI->getType().hasPostfixDeclaratorSyntax())
1915 return TSI->getTypeLoc().getEndLoc();
1918 return RAngle.
isValid() ? RAngle : NameLoc;
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
SourceLocation getLocation() 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.
ArrayRef< TemplateParameterList * > getTemplateParameterLists() const
EnumDecl * getInstantiatedFromMemberEnum() const
Returns the enumeration (declared within the template) from which this enumeration type was instantia...
Represents an explicit instantiation of a template entity in source code.
SourceLocation getEndLoc() const LLVM_READONLY
static ExplicitInstantiationDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID, unsigned TrailingFlags)
TypeSourceInfo * getTypeAsWritten() const
For function / variable templates, returns the declared type (return type or variable type).
SourceLocation getTemplateArgsLAngleLoc() const
TemplateArgumentLoc getTemplateArg(unsigned I) const
unsigned getNumTemplateArgs() const
Number of explicit template arguments, regardless of storage.
bool hasTrailingQualifier() const
Whether the qualifier is stored as a trailing object (function / variable templates) rather than insi...
SourceLocation getTemplateArgsRAngleLoc() const
SourceLocation getTagKWLoc() const
For class templates / nested classes, the tag keyword location is stored inside TypeSourceInfo; other...
NestedNameSpecifierLoc getQualifierLoc() const
Returns the qualifier regardless of where it is stored.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
static ExplicitInstantiationDecl * Create(ASTContext &C, DeclContext *DC, NamedDecl *Specialization, SourceLocation ExternLoc, SourceLocation TemplateLoc, NestedNameSpecifierLoc QualifierLoc, const ASTTemplateArgumentListInfo *ArgsAsWritten, SourceLocation NameLoc, TypeSourceInfo *TypeAsWritten, TemplateSpecializationKind TSK)
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 ...
TemplateArgumentList * TemplateArguments
The template arguments used to produce the function template specialization from the function templat...
FunctionTemplateDecl * getTemplate() const
Retrieve the template from which this function was specialized.
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.
A C++ nested-name-specifier augmented with source location information.
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.
ArrayRef< TemplateParameterList * > getTemplateParameterLists() 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.
ArrayRef< TemplateArgument > asArray() const
Produce this as an array ref.
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
Base wrapper for a particular "section" of type source info.
T getAs() const
Convert to the specified TypeLoc type, returning a null TypeLoc if this TypeLoc is not of the desired...
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)
@ Specialization
We are substituting template parameters for template arguments in order to form a template specializa...
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.
OptionalUnsigned< unsigned > UnsignedOrNone
@ ExplicitInstantiation
We are parsing an explicit instantiation.
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 ...