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 ParameterPack,
bool HasTypeConstraint,
UnsignedOrNone NumExpanded) {
679 additionalSizeToAlloc<TypeConstraint>(HasTypeConstraint ? 1 : 0))
680 TemplateTypeParmDecl(DC, KeyLoc, NameLoc, Id, Typename,
681 HasTypeConstraint, NumExpanded);
682 QualType TTPType =
C.getTemplateTypeParmType(D, P, ParameterPack, TTPDecl);
683 TTPDecl->setTypeForDecl(TTPType.
getTypePtr());
691 false,
false, std::nullopt);
696 bool HasTypeConstraint) {
698 additionalSizeToAlloc<TypeConstraint>(HasTypeConstraint ? 1 : 0))
700 false, HasTypeConstraint, std::nullopt);
723 DefaultArgument.set(
nullptr);
729 return dyn_cast<TemplateTypeParmType>(
getTypeForDecl())->getDepth();
733 return dyn_cast<TemplateTypeParmType>(
getTypeForDecl())->getIndex();
737 return dyn_cast<TemplateTypeParmType>(
getTypeForDecl())->isParameterPack();
743 assert(HasTypeConstraint &&
744 "HasTypeConstraint=true must be passed at construction in order to "
745 "call setTypeConstraint");
746 assert(!TypeConstraintInitialized &&
747 "TypeConstraint was already initialized!");
748 new (getTrailingObjects())
749 TypeConstraint(Loc, ImmediatelyDeclaredConstraint, ArgPackSubstIndex);
750 TypeConstraintInitialized =
true;
757NonTypeTemplateParmDecl::NonTypeTemplateParmDecl(
761 :
DeclaratorDecl(NonTypeTemplateParm, DC, IdLoc, Id, T, TInfo, StartLoc),
763 ExpandedParameterPack(
true), NumExpandedTypes(ExpandedTypes.size()) {
764 if (!ExpandedTypes.empty() && !ExpandedTInfos.empty()) {
766 getTrailingObjects<std::pair<QualType, TypeSourceInfo *>>();
767 for (unsigned I = 0; I != NumExpandedTypes; ++I) {
768 new (&TypesAndInfos[I].first) QualType(ExpandedTypes[I]);
769 TypesAndInfos[I].second = ExpandedTInfos[I];
779 C.getLangOpts().CPlusPlus20 ? T->getContainedAutoType() :
nullptr;
780 const bool HasConstraint = AT && AT->isConstrained();
783 additionalSizeToAlloc<std::pair<QualType, TypeSourceInfo *>,
Expr *>(
784 0, HasConstraint ? 1 : 0))
785 NonTypeTemplateParmDecl(DC, StartLoc, IdLoc, D, P, Id, T,
786 ParameterPack, TInfo);
788 NTTP->setPlaceholderTypeConstraint(
nullptr);
798 const bool HasConstraint = AT && AT->isConstrained();
801 additionalSizeToAlloc<std::pair<QualType, TypeSourceInfo *>,
Expr *>(
802 ExpandedTypes.size(), HasConstraint ? 1 : 0))
803 NonTypeTemplateParmDecl(DC, StartLoc, IdLoc, D, P, Id, T, TInfo,
804 ExpandedTypes, ExpandedTInfos);
806 NTTP->setPlaceholderTypeConstraint(
nullptr);
812 bool HasTypeConstraint) {
815 additionalSizeToAlloc<std::pair<QualType, TypeSourceInfo *>,
Expr *>(
816 0, HasTypeConstraint ? 1 : 0))
818 0, 0,
nullptr,
QualType(),
false,
nullptr);
819 if (HasTypeConstraint)
826 unsigned NumExpandedTypes,
827 bool HasTypeConstraint) {
830 additionalSizeToAlloc<std::pair<QualType, TypeSourceInfo *>,
Expr *>(
831 NumExpandedTypes, HasTypeConstraint ? 1 : 0))
833 0, 0,
nullptr,
QualType(),
nullptr, {}, {});
834 NTTP->NumExpandedTypes = NumExpandedTypes;
835 if (HasTypeConstraint)
836 NTTP->setPlaceholderTypeConstraint(
nullptr);
855 DefaultArgument.set(
nullptr);
864void TemplateTemplateParmDecl::anchor() {}
866TemplateTemplateParmDecl::TemplateTemplateParmDecl(
870 :
TemplateDecl(TemplateTemplateParm, DC, L, Id, Params),
872 ParameterPack(
true), ExpandedParameterPack(
true),
873 NumExpandedParams(Expansions.size()) {
874 llvm::uninitialized_copy(Expansions, getTrailingObjects());
881 assert(!Params->
empty() &&
"template with no template parameters");
882 return new (
C, DC) TemplateTemplateParmDecl(DC, L, D, P, ParameterPack, Id,
883 Kind, Typename, Params);
892 assert(!Params->
empty() &&
"template with no template parameters");
894 additionalSizeToAlloc<TemplateParameterList *>(Expansions.size()))
895 TemplateTemplateParmDecl(DC, L, D, P, Id,
Kind, Typename, Params,
901 return new (
C, ID) TemplateTemplateParmDecl(
908 unsigned NumExpansions) {
910 new (
C, ID, additionalSizeToAlloc<TemplateParameterList *>(NumExpansions))
911 TemplateTemplateParmDecl(
nullptr,
SourceLocation(), 0, 0,
nullptr,
914 TTP->NumExpandedParams = NumExpansions;
926 DefaultArgument.set(
nullptr);
935 : NumArguments(Args.size()) {
936 llvm::uninitialized_copy(Args, getTrailingObjects());
942 void *Mem = Context.Allocate(totalSizeToAlloc<TemplateArgument>(Args.size()));
943 return new (Mem) TemplateArgumentList(Args);
952 if (TemplateArgsAsWritten)
954 *TemplateArgsAsWritten);
957 C.Allocate(totalSizeToAlloc<MemberSpecializationInfo *>(MSInfo ? 1 : 0));
958 return new (Mem) FunctionTemplateSpecializationInfo(
959 FD, Template, TSK, TemplateArgs, ArgsAsWritten, POI, MSInfo);
973 SpecializedTemplate(SpecializedTemplate),
975 SpecializationKind(
TSK_Undeclared), StrictPackMatch(StrictPackMatch) {
976 assert(DK == Kind::ClassTemplateSpecialization || StrictPackMatch ==
false);
991 Context, ClassTemplateSpecialization, TK, DC, StartLoc, IdLoc,
992 SpecializedTemplate, Args, StrictPackMatch, PrevDecl);
998 if (!SpecializedTemplate->getTemplatedDecl()->isCompleteDefinition())
999 Result->setHasExternalLexicalStorage(
1000 SpecializedTemplate->getTemplatedDecl()->hasExternalLexicalStorage());
1016 const auto *PS = dyn_cast<ClassTemplatePartialSpecializationDecl>(
this);
1018 PS ? PS->getTemplateArgsAsWritten() :
nullptr) {
1019 printTemplateArgumentList(
1020 OS, ArgsAsWritten->arguments(), Policy,
1024 printTemplateArgumentList(
1025 OS, TemplateArgs.asArray(), Policy,
1032 if (
const auto *PartialSpec =
1033 SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization*>())
1034 return PartialSpec->PartialSpecialization->getSpecializedTemplate();
1046 assert(!Pattern.isNull() &&
1047 "Class template specialization without pattern?");
1048 if (
const auto *CTPSD =
1049 dyn_cast<ClassTemplatePartialSpecializationDecl *>(Pattern))
1050 return CTPSD->getSourceRange();
1057 Range.setEnd(Args->getRAngleLoc());
1064 Range.setBegin(ExternKW);
1067 Range.setBegin(TemplateKW);
1069 Range.setEnd(Args->getRAngleLoc());
1073 llvm_unreachable(
"unhandled template specialization kind");
1077 auto *Info = dyn_cast_if_present<ExplicitInstantiationInfo *>(ExplicitInfo);
1080 if (Loc.isInvalid())
1084 ExplicitInfo = Info;
1086 Info->ExternKeywordLoc = Loc;
1091 auto *Info = dyn_cast_if_present<ExplicitInstantiationInfo *>(ExplicitInfo);
1094 if (Loc.isInvalid())
1098 ExplicitInfo = Info;
1100 Info->TemplateKeywordLoc = Loc;
1110 assert(!Params->
empty() &&
"template with no template parameters");
1114 TD->setInvalidDecl();
1129ImplicitConceptSpecializationDecl::ImplicitConceptSpecializationDecl(
1132 :
Decl(ImplicitConceptSpecialization, DC, SL),
1133 NumTemplateArgs(ConvertedArgs.size()) {
1134 setTemplateArguments(ConvertedArgs);
1137ImplicitConceptSpecializationDecl::ImplicitConceptSpecializationDecl(
1138 EmptyShell
Empty,
unsigned NumTemplateArgs)
1139 :
Decl(ImplicitConceptSpecialization,
Empty),
1140 NumTemplateArgs(NumTemplateArgs) {}
1146 additionalSizeToAlloc<TemplateArgument>(ConvertedArgs.size()))
1147 ImplicitConceptSpecializationDecl(DC, SL, ConvertedArgs);
1153 return new (
C, ID, additionalSizeToAlloc<TemplateArgument>(NumTemplateArgs))
1154 ImplicitConceptSpecializationDecl(
EmptyShell{}, NumTemplateArgs);
1159 assert(Converted.size() == NumTemplateArgs);
1160 llvm::uninitialized_copy(Converted, getTrailingObjects());
1166void ClassTemplatePartialSpecializationDecl::anchor() {}
1168ClassTemplatePartialSpecializationDecl::ClassTemplatePartialSpecializationDecl(
1175 Context, ClassTemplatePartialSpecialization, TK, DC, StartLoc, IdLoc,
1178 SpecializedTemplate, Args,
false, PrevDecl),
1179 TemplateParams(Params), InstantiatedFromMember(
nullptr,
false),
1180 CanonInjectedTST(CanonInjectedTST) {
1191 ClassTemplatePartialSpecializationDecl *PrevDecl) {
1192 assert(!Params->
empty() &&
"template with no template parameters");
1193 auto *
Result =
new (Context, DC) ClassTemplatePartialSpecializationDecl(
1194 Context, TK, DC, StartLoc, IdLoc, Params, SpecializedTemplate, Args,
1195 CanonInjectedTST, PrevDecl);
1203 return new (
C, ID) ClassTemplatePartialSpecializationDecl(
C);
1209 if (CanonInjectedTST.isNull()) {
1216 return CanonInjectedTST;
1220 if (
const ClassTemplatePartialSpecializationDecl *MT =
1223 return MT->getSourceRange();
1235void FriendTemplateDecl::anchor() {}
1244 FriendTemplateDecl::additionalSizeToAlloc<TemplateParameterList *>(
1245 FriendTypeTPLists.size());
1246 auto *FTD =
new (Context, DC,
Extra) FriendTemplateDecl(
1247 DC, Loc,
Friend, FriendLoc, EllipsisLoc, FriendTypeTPLists);
1259 FriendTemplateDecl::additionalSizeToAlloc<TemplateParameterList *>(
1260 FriendTypeTPLists.size());
1261 auto *FTD =
new (Context, DC,
Extra)
1262 FriendTemplateDecl(DC, Loc,
FriendUnion(), FriendLoc, EllipsisLoc,
1263 FriendTypeTPLists, Template);
1270 unsigned NumFriendTypeTPLists) {
1272 FriendTemplateDecl::additionalSizeToAlloc<TemplateParameterList *>(
1273 NumFriendTypeTPLists);
1274 return new (
C, ID,
Extra)
1275 FriendTemplateDecl(
EmptyShell(), NumFriendTypeTPLists);
1293 assert(!Params->
empty() &&
"template with no template parameters");
1297 TD->setInvalidDecl();
1309 auto *CommonPtr =
new (
C)
Common;
1310 C.addDestruction(CommonPtr);
1332 assert(!Params->
empty() &&
"template with no template parameters");
1336 TD->setInvalidDecl();
1351llvm::FoldingSetVector<VarTemplateSpecializationDecl> &
1357llvm::FoldingSetVector<VarTemplatePartialSpecializationDecl> &
1365 auto *CommonPtr =
new (
C)
Common;
1366 C.addDestruction(CommonPtr);
1393 ID.AddInteger(TemplateArgs.size());
1407 assert(Existing->
isCanonicalDecl() &&
"Non-canonical specialization?");
1411 L->AddedCXXTemplateSpecialization(
this, D);
1416 llvm::FoldingSetVector<VarTemplatePartialSpecializationDecl> &PartialSpecs =
1419 PS.reserve(PartialSpecs.size());
1421 PS.push_back(P.getMostRecentDecl());
1429 if (P.getInstantiatedFromMember()->getCanonicalDecl() == DCanon)
1430 return P.getMostRecentDecl();
1444 :
VarDecl(DK, Context, DC, StartLoc, IdLoc,
1446 SpecializedTemplate(SpecializedTemplate),
1461 VarTemplateSpecialization, Context, DC, StartLoc, IdLoc,
1462 SpecializedTemplate, T, TInfo, S, Args);
1476 const auto *PS = dyn_cast<VarTemplatePartialSpecializationDecl>(
this);
1478 PS ? PS->getTemplateArgsAsWritten() :
nullptr) {
1479 printTemplateArgumentList(
1480 OS, ArgsAsWritten->arguments(), Policy,
1484 printTemplateArgumentList(
1485 OS, TemplateArgs.asArray(), Policy,
1491 if (
const auto *PartialSpec =
1492 SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization *>())
1493 return PartialSpec->PartialSpecialization->getSpecializedTemplate();
1504 assert(!Pattern.isNull() &&
1505 "Variable template specialization without pattern?");
1506 if (
const auto *VTPSD =
1507 dyn_cast<VarTemplatePartialSpecializationDecl *>(Pattern))
1508 return VTPSD->getSourceRange();
1520 Range.setEnd(Args->getRAngleLoc());
1527 Range.setBegin(ExternKW);
1530 Range.setBegin(TemplateKW);
1532 Range.setEnd(Args->getRAngleLoc());
1536 llvm_unreachable(
"unhandled template specialization kind");
1540 auto *Info = dyn_cast_if_present<ExplicitInstantiationInfo *>(ExplicitInfo);
1543 if (Loc.isInvalid())
1547 ExplicitInfo = Info;
1549 Info->ExternKeywordLoc = Loc;
1553 auto *Info = dyn_cast_if_present<ExplicitInstantiationInfo *>(ExplicitInfo);
1556 if (Loc.isInvalid())
1560 ExplicitInfo = Info;
1562 Info->TemplateKeywordLoc = Loc;
1569void VarTemplatePartialSpecializationDecl::anchor() {}
1571VarTemplatePartialSpecializationDecl::VarTemplatePartialSpecializationDecl(
1577 DC, StartLoc, IdLoc, SpecializedTemplate, T,
1579 TemplateParams(Params), InstantiatedFromMember(
nullptr,
false) {
1590 assert(!Params->
empty() &&
"template with no template parameters");
1591 auto *
Result =
new (Context, DC) VarTemplatePartialSpecializationDecl(
1592 Context, DC, StartLoc, IdLoc, Params, SpecializedTemplate, T, TInfo, S,
1601 return new (
C, ID) VarTemplatePartialSpecializationDecl(
C);
1605 if (
const VarTemplatePartialSpecializationDecl *MT =
1608 return MT->getSourceRange();
1619#define CREATE_BUILTIN_TEMPLATE_PARAMETER_LIST
1620#include "clang/Basic/BuiltinTemplates.inc"
1623 llvm_unreachable(
"unhandled BuiltinTemplateKind!");
1626void BuiltinTemplateDecl::anchor() {}
1640 auto *T = dyn_cast_or_null<BuiltinTemplateDecl>(
1642 return T && T->isPackProducingBuiltinTemplate();
1650 C.addDestruction(&TPOD->Value);
1656 auto *TPOD =
new (
C,
ID) TemplateParamObjectDecl(
nullptr, QualType(),
APValue());
1657 C.addDestruction(&TPOD->Value);
1663 OS <<
"<template param ";
1687std::tuple<NamedDecl *, TemplateArgument>
1690 case Decl::Kind::BuiltinTemplate:
1691 case Decl::Kind::ClassTemplate:
1692 case Decl::Kind::Concept:
1693 case Decl::Kind::FunctionTemplate:
1694 case Decl::Kind::TemplateTemplateParm:
1695 case Decl::Kind::TypeAliasTemplate:
1696 case Decl::Kind::VarTemplate:
1699 case Decl::Kind::ClassTemplateSpecialization: {
1701 auto P = CTSD->getSpecializedTemplateOrPartial();
1702 if (
const auto *CTPSD =
1703 dyn_cast<ClassTemplatePartialSpecializationDecl *>(P)) {
1706 CTSD->getTemplateInstantiationArgs()[Index]};
1710 return {TPL->
getParam(Index), CTSD->getTemplateArgs()[Index]};
1712 case Decl::Kind::VarTemplateSpecialization: {
1714 auto P = VTSD->getSpecializedTemplateOrPartial();
1715 if (
const auto *VTPSD =
1716 dyn_cast<VarTemplatePartialSpecializationDecl *>(P)) {
1719 VTSD->getTemplateInstantiationArgs()[Index]};
1723 return {TPL->
getParam(Index), VTSD->getTemplateArgs()[Index]};
1725 case Decl::Kind::ClassTemplatePartialSpecialization:
1727 ->getTemplateParameters()
1730 case Decl::Kind::VarTemplatePartialSpecialization:
1732 ->getTemplateParameters()
1736 case Decl::TemplateTypeParm:
1739 case Decl::Kind::CXXRecord:
1742 case Decl::Kind::CXXDeductionGuide:
1743 case Decl::Kind::CXXConversion:
1744 case Decl::Kind::CXXConstructor:
1745 case Decl::Kind::CXXDestructor:
1746 case Decl::Kind::CXXMethod:
1747 case Decl::Kind::Function: {
1754 llvm_unreachable(
"Unhandled templated declaration kind");
1759 if (
const auto *FD = dyn_cast<FunctionDecl>(&D)) {
1779 if (
const auto *VD = dyn_cast<VarDecl>(&D)) {
1782 if (VD->isStaticDataMember())
1788 if (
const auto *CRD = dyn_cast<CXXRecordDecl>(&D)) {
1795 if (
const auto *CTSD = dyn_cast<ClassTemplateSpecializationDecl>(CRD)) {
1803 : *
static_cast<const Decl *
>(
1809 CRD->getMemberSpecializationInfo())
1810 return *Info->getInstantiatedFrom();
1814 if (
const auto *ED = dyn_cast<EnumDecl>(&D)) {
1825ExplicitInstantiationDecl::ExplicitInstantiationDecl(
1831 SpecAndTSK(
Specialization, TSK), ExternLoc(ExternLoc), NameLoc(NameLoc) {
1834 Flags |= HasQualifierFlag;
1836 Flags |= HasArgsAsWrittenFlag;
1839 TypeAndFlags.setPointerAndInt(TypeAsWritten, Flags);
1841 *getTrailingObjects<NestedNameSpecifierLoc>() = QualifierLoc;
1843 *getTrailingObjects<const ASTTemplateArgumentListInfo *>() = ArgsAsWritten;
1854 QualifierLoc ? 1 : 0, ArgsAsWritten ? 1 : 0);
1855 return new (
C, DC,
Extra) ExplicitInstantiationDecl(
1856 DC,
Specialization, ExternLoc, TemplateLoc, QualifierLoc, ArgsAsWritten,
1857 NameLoc, TypeAsWritten, TSK);
1862 unsigned TrailingFlags) {
1865 (TrailingFlags & HasQualifierFlag) ? 1 : 0,
1866 (TrailingFlags & HasArgsAsWrittenFlag) ? 1 : 0);
1869 D->TypeAndFlags.setInt(TrailingFlags);
1874 if (
auto TL = getClassTypeLoc()) {
1876 return TST.getElaboratedKeywordLoc();
1878 return Tag.getElaboratedKeywordLoc();
1885 return *getTrailingObjects<NestedNameSpecifierLoc>();
1886 if (
auto TL = getClassTypeLoc())
1887 return TL->getPrefix();
1893 if (getClassTypeLoc())
1895 return getRawTypeSourceInfo();
1899 if (
const auto *Args = getTrailingArgsInfo())
1900 return Args->NumTemplateArgs;
1901 if (
auto TL = getClassTypeLoc())
1903 return TST.getNumArgs();
1904 return std::nullopt;
1909 if (
const auto *Args = getTrailingArgsInfo())
1911 if (
auto TL = getClassTypeLoc())
1913 return TST.getArgLoc(I);
1914 llvm_unreachable(
"template arguments not found in trailing args or TypeLoc");
1918 if (
const auto *Args = getTrailingArgsInfo())
1919 return Args->getLAngleLoc();
1920 if (
auto TL = getClassTypeLoc())
1922 return TST.getLAngleLoc();
1923 llvm_unreachable(
"template arguments not found in trailing args or TypeLoc");
1927 if (
const auto *Args = getTrailingArgsInfo())
1928 return Args->getRAngleLoc();
1929 if (
auto TL = getClassTypeLoc())
1931 return TST.getRAngleLoc();
1932 llvm_unreachable(
"template arguments not found in trailing args or TypeLoc");
1939 if (TSI->getType().hasPostfixDeclaratorSyntax())
1940 return TSI->getTypeLoc().getEndLoc();
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
The declared type (return type or variable type) for function / variable templates.
SourceLocation getTemplateArgsLAngleLoc() const
std::optional< unsigned > getNumTemplateArgs() const
Returns the number of explicit template arguments, or std::nullopt if this entity has no template arg...
TemplateArgumentLoc getTemplateArg(unsigned I) const
bool hasTrailingQualifier() const
SourceLocation getTemplateArgsRAngleLoc() const
SourceLocation getTagKWLoc() const
The tag keyword (struct/class/union) location for class templates / nested classes; invalid for funct...
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.
llvm::PointerUnion< NamedDecl *, TypeSourceInfo * > FriendUnion
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
Declaration of a friend template.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
static FriendTemplateDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID, unsigned FriendTypeNumTPLists)
static FriendTemplateDecl * Create(ASTContext &Context, DeclContext *DC, SourceLocation Loc, FriendUnion Friend, SourceLocation FriendLoc, ArrayRef< TemplateParameterList * > FriendTypeTPLists={}, SourceLocation EllipsisLoc={})
ArrayRef< TemplateParameterList * > getFriendTypeTemplateParameterLists() const
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.
static NonTypeTemplateParmDecl * Create(const ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, int D, int P, const IdentifierInfo *Id, QualType T, bool ParameterPack, TypeSourceInfo *TInfo)
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.
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 getEnd() const
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)
SourceLocation getDefaultArgumentLoc() const
Retrieve the location of the default argument, if any.
static TemplateTemplateParmDecl * Create(const ASTContext &C, DeclContext *DC, SourceLocation L, int D, int P, bool ParameterPack, IdentifierInfo *Id, TemplateNameKind ParameterKind, bool Typename, TemplateParameterList *Params)
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)
static TemplateTypeParmDecl * Create(const ASTContext &C, DeclContext *DC, SourceLocation KeyLoc, SourceLocation NameLoc, int D, int P, IdentifierInfo *Id, bool Typename, bool ParameterPack, bool HasTypeConstraint=false, UnsignedOrNone NumExpanded=std::nullopt)
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.
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)
@ 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 ...