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() {}
1243 if (!Params.empty()) {
1245 llvm::copy(Params, TPL);
1247 return new (Context, DC)
1248 FriendTemplateDecl(DC, L, TPL, Params.
size(), Friend, FLoc);
1253 return new (
C, ID) FriendTemplateDecl(
EmptyShell());
1264 assert(!Params->
empty() &&
"template with no template parameters");
1268 TD->setInvalidDecl();
1280 auto *CommonPtr =
new (
C)
Common;
1281 C.addDestruction(CommonPtr);
1303 assert(!Params->
empty() &&
"template with no template parameters");
1307 TD->setInvalidDecl();
1322llvm::FoldingSetVector<VarTemplateSpecializationDecl> &
1328llvm::FoldingSetVector<VarTemplatePartialSpecializationDecl> &
1336 auto *CommonPtr =
new (
C)
Common;
1337 C.addDestruction(CommonPtr);
1364 ID.AddInteger(TemplateArgs.size());
1378 assert(Existing->
isCanonicalDecl() &&
"Non-canonical specialization?");
1382 L->AddedCXXTemplateSpecialization(
this, D);
1387 llvm::FoldingSetVector<VarTemplatePartialSpecializationDecl> &PartialSpecs =
1390 PS.reserve(PartialSpecs.size());
1392 PS.push_back(P.getMostRecentDecl());
1400 if (P.getInstantiatedFromMember()->getCanonicalDecl() == DCanon)
1401 return P.getMostRecentDecl();
1415 :
VarDecl(DK, Context, DC, StartLoc, IdLoc,
1417 SpecializedTemplate(SpecializedTemplate),
1432 VarTemplateSpecialization, Context, DC, StartLoc, IdLoc,
1433 SpecializedTemplate, T, TInfo, S, Args);
1447 const auto *PS = dyn_cast<VarTemplatePartialSpecializationDecl>(
this);
1449 PS ? PS->getTemplateArgsAsWritten() :
nullptr) {
1450 printTemplateArgumentList(
1451 OS, ArgsAsWritten->arguments(), Policy,
1455 printTemplateArgumentList(
1456 OS, TemplateArgs.asArray(), Policy,
1462 if (
const auto *PartialSpec =
1463 SpecializedTemplate.dyn_cast<SpecializedPartialSpecialization *>())
1464 return PartialSpec->PartialSpecialization->getSpecializedTemplate();
1475 assert(!Pattern.isNull() &&
1476 "Variable template specialization without pattern?");
1477 if (
const auto *VTPSD =
1478 dyn_cast<VarTemplatePartialSpecializationDecl *>(Pattern))
1479 return VTPSD->getSourceRange();
1491 Range.setEnd(Args->getRAngleLoc());
1498 Range.setBegin(ExternKW);
1501 Range.setBegin(TemplateKW);
1503 Range.setEnd(Args->getRAngleLoc());
1507 llvm_unreachable(
"unhandled template specialization kind");
1511 auto *Info = dyn_cast_if_present<ExplicitInstantiationInfo *>(ExplicitInfo);
1514 if (Loc.isInvalid())
1518 ExplicitInfo = Info;
1520 Info->ExternKeywordLoc = Loc;
1524 auto *Info = dyn_cast_if_present<ExplicitInstantiationInfo *>(ExplicitInfo);
1527 if (Loc.isInvalid())
1531 ExplicitInfo = Info;
1533 Info->TemplateKeywordLoc = Loc;
1540void VarTemplatePartialSpecializationDecl::anchor() {}
1542VarTemplatePartialSpecializationDecl::VarTemplatePartialSpecializationDecl(
1548 DC, StartLoc, IdLoc, SpecializedTemplate, T,
1550 TemplateParams(Params), InstantiatedFromMember(
nullptr,
false) {
1561 assert(!Params->
empty() &&
"template with no template parameters");
1562 auto *
Result =
new (Context, DC) VarTemplatePartialSpecializationDecl(
1563 Context, DC, StartLoc, IdLoc, Params, SpecializedTemplate, T, TInfo, S,
1572 return new (
C, ID) VarTemplatePartialSpecializationDecl(
C);
1576 if (
const VarTemplatePartialSpecializationDecl *MT =
1579 return MT->getSourceRange();
1590#define CREATE_BUILTIN_TEMPLATE_PARAMETER_LIST
1591#include "clang/Basic/BuiltinTemplates.inc"
1594 llvm_unreachable(
"unhandled BuiltinTemplateKind!");
1597void BuiltinTemplateDecl::anchor() {}
1611 auto *T = dyn_cast_or_null<BuiltinTemplateDecl>(
1613 return T && T->isPackProducingBuiltinTemplate();
1621 C.addDestruction(&TPOD->Value);
1627 auto *TPOD =
new (
C,
ID) TemplateParamObjectDecl(
nullptr, QualType(),
APValue());
1628 C.addDestruction(&TPOD->Value);
1634 OS <<
"<template param ";
1658std::tuple<NamedDecl *, TemplateArgument>
1661 case Decl::Kind::BuiltinTemplate:
1662 case Decl::Kind::ClassTemplate:
1663 case Decl::Kind::Concept:
1664 case Decl::Kind::FunctionTemplate:
1665 case Decl::Kind::TemplateTemplateParm:
1666 case Decl::Kind::TypeAliasTemplate:
1667 case Decl::Kind::VarTemplate:
1670 case Decl::Kind::ClassTemplateSpecialization: {
1672 auto P = CTSD->getSpecializedTemplateOrPartial();
1673 if (
const auto *CTPSD =
1674 dyn_cast<ClassTemplatePartialSpecializationDecl *>(P)) {
1677 CTSD->getTemplateInstantiationArgs()[Index]};
1681 return {TPL->
getParam(Index), CTSD->getTemplateArgs()[Index]};
1683 case Decl::Kind::VarTemplateSpecialization: {
1685 auto P = VTSD->getSpecializedTemplateOrPartial();
1686 if (
const auto *VTPSD =
1687 dyn_cast<VarTemplatePartialSpecializationDecl *>(P)) {
1690 VTSD->getTemplateInstantiationArgs()[Index]};
1694 return {TPL->
getParam(Index), VTSD->getTemplateArgs()[Index]};
1696 case Decl::Kind::ClassTemplatePartialSpecialization:
1698 ->getTemplateParameters()
1701 case Decl::Kind::VarTemplatePartialSpecialization:
1703 ->getTemplateParameters()
1707 case Decl::TemplateTypeParm:
1710 case Decl::Kind::CXXRecord:
1713 case Decl::Kind::CXXDeductionGuide:
1714 case Decl::Kind::CXXConversion:
1715 case Decl::Kind::CXXConstructor:
1716 case Decl::Kind::CXXDestructor:
1717 case Decl::Kind::CXXMethod:
1718 case Decl::Kind::Function: {
1725 llvm_unreachable(
"Unhandled templated declaration kind");
1730 if (
const auto *FD = dyn_cast<FunctionDecl>(&D)) {
1750 if (
const auto *VD = dyn_cast<VarDecl>(&D)) {
1753 if (VD->isStaticDataMember())
1759 if (
const auto *CRD = dyn_cast<CXXRecordDecl>(&D)) {
1766 if (
const auto *CTSD = dyn_cast<ClassTemplateSpecializationDecl>(CRD)) {
1774 : *
static_cast<const Decl *
>(
1780 CRD->getMemberSpecializationInfo())
1781 return *Info->getInstantiatedFrom();
1785 if (
const auto *ED = dyn_cast<EnumDecl>(&D)) {
1796ExplicitInstantiationDecl::ExplicitInstantiationDecl(
1802 SpecAndTSK(
Specialization, TSK), ExternLoc(ExternLoc), NameLoc(NameLoc) {
1805 Flags |= HasQualifierFlag;
1807 Flags |= HasArgsAsWrittenFlag;
1810 TypeAndFlags.setPointerAndInt(TypeAsWritten, Flags);
1812 *getTrailingObjects<NestedNameSpecifierLoc>() = QualifierLoc;
1814 *getTrailingObjects<const ASTTemplateArgumentListInfo *>() = ArgsAsWritten;
1825 QualifierLoc ? 1 : 0, ArgsAsWritten ? 1 : 0);
1826 return new (
C, DC,
Extra) ExplicitInstantiationDecl(
1827 DC,
Specialization, ExternLoc, TemplateLoc, QualifierLoc, ArgsAsWritten,
1828 NameLoc, TypeAsWritten, TSK);
1833 unsigned TrailingFlags) {
1836 (TrailingFlags & HasQualifierFlag) ? 1 : 0,
1837 (TrailingFlags & HasArgsAsWrittenFlag) ? 1 : 0);
1840 D->TypeAndFlags.setInt(TrailingFlags);
1845 if (
auto *TSI = getRawTypeSourceInfo()) {
1847 return TL.getElaboratedKeywordLoc();
1848 if (
auto TL = TSI->getTypeLoc().getAs<
TagTypeLoc>())
1849 return TL.getElaboratedKeywordLoc();
1856 return *getTrailingObjects<NestedNameSpecifierLoc>();
1857 if (
auto *TSI = getRawTypeSourceInfo())
1858 return TSI->getTypeLoc().getPrefix();
1863 auto *TSI = getRawTypeSourceInfo();
1866 TypeLoc TL = TSI->getTypeLoc();
1875 if (
const auto *Args = getTrailingArgsInfo())
1876 return Args->NumTemplateArgs;
1877 if (
auto *TSI = getRawTypeSourceInfo())
1879 return TL.getNumArgs();
1885 if (
const auto *Args = getTrailingArgsInfo())
1887 auto *TSI = getRawTypeSourceInfo();
1892 if (
const auto *Args = getTrailingArgsInfo())
1893 return Args->getLAngleLoc();
1894 if (
auto *TSI = getRawTypeSourceInfo())
1896 return TL.getLAngleLoc();
1901 if (
const auto *Args = getTrailingArgsInfo())
1902 return Args->getRAngleLoc();
1903 if (
auto *TSI = getRawTypeSourceInfo())
1905 return TL.getRAngleLoc();
1913 if (TSI->getType().hasPostfixDeclaratorSyntax())
1914 return TSI->getTypeLoc().getEndLoc();
1917 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.
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 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
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 ...