35#include "llvm/Support/SaveAndRestore.h"
36#include "llvm/Support/TimeProfiler.h"
52template<
typename DeclT>
55 if (!OldDecl->getQualifierLoc())
58 assert((NewDecl->getFriendObjectKind() ||
59 !OldDecl->getLexicalDeclContext()->isDependentContext()) &&
60 "non-friend with qualified name defined in dependent context");
63 const_cast<DeclContext *
>(NewDecl->getFriendObjectKind()
64 ? NewDecl->getLexicalDeclContext()
65 : OldDecl->getLexicalDeclContext()));
74 NewDecl->setQualifierInfo(NewQualifierLoc);
80 return ::SubstQualifier(SemaRef, OldDecl, NewDecl, TemplateArgs);
85 return ::SubstQualifier(SemaRef, OldDecl, NewDecl, TemplateArgs);
89#include "clang/Sema/AttrTemplateInstantiate.inc"
93 const AlignedAttr *Aligned,
Decl *
New,
bool IsPackExpansion) {
94 if (Aligned->isAlignmentExpr()) {
103 S.
SubstType(Aligned->getAlignmentType(), TemplateArgs,
106 Aligned->getLocation(),
107 Result->getTypeLoc().getSourceRange()))
115 const AlignedAttr *Aligned,
Decl *
New) {
116 if (!Aligned->isPackExpansion()) {
122 if (Aligned->isAlignmentExpr())
128 assert(!Unexpanded.empty() &&
"Pack expansion without parameter packs?");
131 bool Expand =
true, RetainExpansion =
false;
136 Unexpanded, TemplateArgs,
138 Expand, RetainExpansion, NumExpansions))
145 for (
unsigned I = 0; I != *NumExpansions; ++I) {
154 const AssumeAlignedAttr *Aligned,
Decl *
New) {
159 Expr *E, *OE =
nullptr;
165 if (Aligned->getOffset()) {
177 const AlignValueAttr *Aligned,
Decl *
New) {
188 const AllocAlignAttr *Align,
Decl *
New) {
191 llvm::APInt(64, Align->getParamIndex().getSourceIndex()),
204 bool HasDelayedArgs =
Attr->delayedArgs_size();
213 false, TemplateArgs, Args))
216 StringRef Str =
Attr->getAnnotation();
217 if (HasDelayedArgs) {
218 if (Args.size() < 1) {
228 ActualArgs.insert(ActualArgs.begin(), Args.begin() + 1, Args.end());
229 std::swap(Args, ActualArgs);
237template <
typename Attr>
241 Expr *tempInstPriority =
nullptr;
249 tempInstPriority =
Result.get();
250 if (std::optional<llvm::APSInt> CE =
254 if (!CE->isIntN(32)) {
256 <<
toString(*CE, 10,
false) << 32 << 1;
262 New->addAttr(Attr::Create(
C, tempInstPriority, *A));
268 Expr *Cond =
nullptr;
282 Cond = Converted.
get();
288 S.
Diag(A->
getLocation(), diag::err_attr_cond_never_constant_expr) << A;
289 for (
const auto &P : Diags)
290 S.
Diag(P.first, P.second);
300 S, TemplateArgs, EIA, EIA->getCond(), Tmpl,
New);
304 Cond, EIA->getMessage()));
311 S, TemplateArgs, DIA, DIA->getCond(), Tmpl,
New);
316 DIA->getDefaultSeverity(), DIA->getWarningGroup(),
317 DIA->getArgDependent(),
New));
334 Expr *MinBlocks =
nullptr;
335 if (
Attr.getMinBlocks()) {
342 Expr *MaxBlocks =
nullptr;
343 if (
Attr.getMaxBlocks()) {
366 if (
auto *FTD = dyn_cast<FunctionTemplateDecl>(
New))
367 New = FTD->getTemplatedDecl();
369 auto *ThisContext = dyn_cast_or_null<CXXRecordDecl>(FD->getDeclContext());
374 if (
auto *DRE = dyn_cast<DeclRefExpr>(E->IgnoreParenImpCasts()))
375 if (
auto *PVD = dyn_cast<ParmVarDecl>(DRE->getDecl())) {
378 if (FD->getNumParams() > PVD->getFunctionScopeIndex())
379 Local.InstantiatedLocal(
380 PVD, FD->getParamDecl(PVD->getFunctionScopeIndex()));
384 FD->isCXXInstanceMember());
400 if (
auto *E =
Attr.getSimdlen())
403 if (
Attr.uniforms_size() > 0) {
404 for(
auto *E :
Attr.uniforms()) {
408 Uniforms.push_back(Inst.
get());
412 auto AI =
Attr.alignments_begin();
413 for (
auto *E :
Attr.aligneds()) {
417 Aligneds.push_back(Inst.
get());
421 Alignments.push_back(Inst.
get());
425 auto SI =
Attr.steps_begin();
426 for (
auto *E :
Attr.linears()) {
430 Linears.push_back(Inst.
get());
434 Steps.push_back(Inst.
get());
437 LinModifiers.append(
Attr.modifiers_begin(),
Attr.modifiers_end());
440 Uniforms, Aligneds, Alignments, Linears, LinModifiers, Steps,
449 if (
auto *FTD = dyn_cast<FunctionTemplateDecl>(
New))
450 New = FTD->getTemplatedDecl();
452 auto *ThisContext = dyn_cast_or_null<CXXRecordDecl>(FD->getDeclContext());
454 auto &&SubstExpr = [FD, ThisContext, &S, &TemplateArgs](
Expr *E) {
455 if (
auto *DRE = dyn_cast<DeclRefExpr>(E->IgnoreParenImpCasts()))
456 if (
auto *PVD = dyn_cast<ParmVarDecl>(DRE->getDecl())) {
459 if (FD->getNumParams() > PVD->getFunctionScopeIndex())
460 Local.InstantiatedLocal(
461 PVD, FD->getParamDecl(PVD->getFunctionScopeIndex()));
465 FD->isCXXInstanceMember());
471 auto &&Subst = [&SubstExpr, &S](
Expr *E) {
481 if (
Expr *E =
Attr.getVariantFuncRef()) {
486 VariantFuncRef = Subst(E);
492 TI = *
Attr.getTraitInfos();
495 auto SubstScoreOrConditionExpr = [&S, Subst](
Expr *&E,
bool) {
510 Expr *E = VariantFuncRef.
get();
514 std::optional<std::pair<FunctionDecl *, Expr *>> DeclVarData =
522 E = DeclVarData->second;
523 FD = DeclVarData->first;
525 if (
auto *VariantDRE = dyn_cast<DeclRefExpr>(E->IgnoreParenImpCasts())) {
526 if (
auto *VariantFD = dyn_cast<FunctionDecl>(VariantDRE->getDecl())) {
527 if (
auto *VariantFTD = VariantFD->getDescribedFunctionTemplate()) {
528 if (!VariantFTD->isThisDeclarationADefinition())
539 SubstFD->getType(), FD->getType(),
545 New->getLocation(), SubstFD,
true,
547 SubstFD->setInstantiationIsPending(!SubstFD->isDefined());
551 SubstFD->getLocation(),
562 for (
Expr *E :
Attr.adjustArgsNothing()) {
566 NothingExprs.push_back(ER.
get());
568 for (
Expr *E :
Attr.adjustArgsNeedDevicePtr()) {
572 NeedDevicePtrExprs.push_back(ER.
get());
574 for (
Expr *E :
Attr.adjustArgsNeedDeviceAddr()) {
578 NeedDeviceAddrExprs.push_back(ER.
get());
584 Expr *SubstFr =
nullptr;
595 SubstAttrs.push_back(ER.
get());
597 Info.
Prefs.emplace_back(SubstFr, std::move(SubstAttrs));
599 AppendArgs.push_back(Info);
603 FD, E, TI, NothingExprs, NeedDevicePtrExprs, NeedDeviceAddrExprs,
609 const AMDGPUFlatWorkGroupSizeAttr &
Attr,
Decl *
New) {
650 New->addAttr(::new (Context) ReqdWorkGroupSizeAttr(Context,
Attr,
X, Y, Z));
658 Expr *Cond =
nullptr;
666 Cond = SubstResult.
get();
686 Expr *MaxExpr =
nullptr;
687 if (
auto Max =
Attr.getMax()) {
699 const AMDGPUMaxNumWorkGroupsAttr &
Attr,
Decl *
New) {
703 Expr *XExpr =
nullptr;
704 Expr *YExpr =
nullptr;
705 Expr *ZExpr =
nullptr;
707 if (
Attr.getMaxNumWorkGroupsX()) {
713 if (
Attr.getMaxNumWorkGroupsY()) {
719 if (
Attr.getMaxNumWorkGroupsZ()) {
735 auto SubstElt = [&S, &TemplateArgs](
Expr *E) {
736 return E ? S.
SubstExpr(E, TemplateArgs).
get() :
nullptr;
739 Expr *XExpr = SubstElt(
Attr.getX());
740 Expr *YExpr = SubstElt(
Attr.getY());
741 Expr *ZExpr = SubstElt(
Attr.getZ());
761 if (
const auto *PNA = dyn_cast<PreferredNameAttr>(A)) {
764 if (!
T->isDependentType() && !RD->isDependentContext() &&
767 for (
const auto *ExistingPNA : D->
specific_attrs<PreferredNameAttr>())
769 PNA->getTypedefType()))
774 if (
const auto *BA = dyn_cast<BuiltinAttr>(A)) {
776 switch (BA->getID()) {
777 case Builtin::BIforward:
787 case Builtin::BImove:
788 case Builtin::BImove_if_noexcept:
815 <<
Attr <<
"'groupshared'";
827 "out or inout parameter type must be a reference and restrict qualified");
831 const MallocSpanAttr *
Attr,
846 for (
const auto *TmplAttr : Tmpl->
attrs()) {
853 *
this, dyn_cast_or_null<CXXRecordDecl>(ND->getDeclContext()),
857 TmplAttr,
Context, *
this, TemplateArgs);
860 New->addAttr(NewAttr);
868 case clang::attr::CFConsumed:
870 case clang::attr::OSConsumed:
872 case clang::attr::NSConsumed:
875 llvm_unreachable(
"Wrong argument supplied");
882 const OpenACCRoutineDeclAttr *OldAttr,
const Decl *Old,
Decl *
New);
888 for (
const auto *TmplAttr : Tmpl->
attrs()) {
893 const AlignedAttr *Aligned = dyn_cast<AlignedAttr>(TmplAttr);
894 if (Aligned && Aligned->isAlignmentDependent()) {
899 if (
const auto *AssumeAligned = dyn_cast<AssumeAlignedAttr>(TmplAttr)) {
904 if (
const auto *AlignValue = dyn_cast<AlignValueAttr>(TmplAttr)) {
909 if (
const auto *AllocAlign = dyn_cast<AllocAlignAttr>(TmplAttr)) {
914 if (
const auto *Annotate = dyn_cast<AnnotateAttr>(TmplAttr)) {
919 if (
auto *
Constructor = dyn_cast<ConstructorAttr>(TmplAttr)) {
925 if (
auto *
Destructor = dyn_cast<DestructorAttr>(TmplAttr)) {
931 if (
const auto *EnableIf = dyn_cast<EnableIfAttr>(TmplAttr)) {
937 if (
const auto *DiagnoseIf = dyn_cast<DiagnoseIfAttr>(TmplAttr)) {
943 if (
const auto *CUDALaunchBounds =
944 dyn_cast<CUDALaunchBoundsAttr>(TmplAttr)) {
946 *CUDALaunchBounds,
New);
950 if (
const auto *Mode = dyn_cast<ModeAttr>(TmplAttr)) {
955 if (
const auto *OMPAttr = dyn_cast<OMPDeclareSimdDeclAttr>(TmplAttr)) {
960 if (
const auto *OMPAttr = dyn_cast<OMPDeclareVariantAttr>(TmplAttr)) {
965 if (
const auto *ReqdWorkGroupSize =
966 dyn_cast<ReqdWorkGroupSizeAttr>(TmplAttr)) {
968 *ReqdWorkGroupSize,
New);
971 if (
const auto *AMDGPUFlatWorkGroupSize =
972 dyn_cast<AMDGPUFlatWorkGroupSizeAttr>(TmplAttr)) {
974 *
this, TemplateArgs, *AMDGPUFlatWorkGroupSize,
New);
977 if (
const auto *AMDGPUFlatWorkGroupSize =
978 dyn_cast<AMDGPUWavesPerEUAttr>(TmplAttr)) {
980 *AMDGPUFlatWorkGroupSize,
New);
983 if (
const auto *AMDGPUMaxNumWorkGroups =
984 dyn_cast<AMDGPUMaxNumWorkGroupsAttr>(TmplAttr)) {
986 *
this, TemplateArgs, *AMDGPUMaxNumWorkGroups,
New);
989 if (
const auto *CUDAClusterDims = dyn_cast<CUDAClusterDimsAttr>(TmplAttr)) {
991 *CUDAClusterDims,
New);
994 if (
const auto *ParamAttr = dyn_cast<HLSLParamModifierAttr>(TmplAttr)) {
1000 if (
const auto *RoutineAttr = dyn_cast<OpenACCRoutineDeclAttr>(TmplAttr)) {
1002 RoutineAttr, Tmpl,
New);
1007 if (TmplAttr->getKind() == attr::DLLExport ||
1008 TmplAttr->getKind() == attr::DLLImport) {
1009 if (
New->hasAttr<DLLExportAttr>() ||
New->hasAttr<DLLImportAttr>()) {
1014 if (
const auto *ABIAttr = dyn_cast<ParameterABIAttr>(TmplAttr)) {
1027 if (
auto *A = dyn_cast<PointerAttr>(TmplAttr)) {
1028 if (!
New->hasAttr<PointerAttr>())
1033 if (
auto *A = dyn_cast<OwnerAttr>(TmplAttr)) {
1034 if (!
New->hasAttr<OwnerAttr>())
1039 if (
auto *A = dyn_cast<SYCLKernelAttr>(TmplAttr)) {
1044 if (
auto *A = dyn_cast<CUDAGridConstantAttr>(TmplAttr)) {
1045 if (!
New->hasAttr<CUDAGridConstantAttr>())
1050 if (
auto *A = dyn_cast<MallocSpanAttr>(TmplAttr)) {
1055 if (
auto *A = dyn_cast<CleanupAttr>(TmplAttr)) {
1056 if (!
New->hasAttr<CleanupAttr>()) {
1057 auto *NewAttr = A->clone(
Context);
1058 NewAttr->setArgLoc(A->getArgLoc());
1059 New->addAttr(NewAttr);
1064 assert(!TmplAttr->isPackExpansion());
1065 if (TmplAttr->isLateParsed() && LateAttrs) {
1075 auto *ThisContext = dyn_cast_or_null<CXXRecordDecl>(ND->getDeclContext());
1077 ND->isCXXInstanceMember());
1080 *
this, TemplateArgs);
1083 New->addAttr(NewAttr);
1089 for (
const auto *
Attr : Pattern->
attrs()) {
1090 if (
auto *A = dyn_cast<StrictFPAttr>(
Attr)) {
1091 if (!Inst->
hasAttr<StrictFPAttr>())
1102template<
typename DeclT>
1104 DeclT *
Result = D->getPreviousDecl();
1110 D->getLexicalDeclContext() !=
Result->getLexicalDeclContext())
1118 llvm_unreachable(
"Translation units cannot be instantiated");
1122 llvm_unreachable(
"HLSL buffer declarations cannot be instantiated");
1125Decl *TemplateDeclInstantiator::VisitHLSLRootSignatureDecl(
1127 llvm_unreachable(
"HLSL root signature declarations cannot be instantiated");
1132 llvm_unreachable(
"pragma comment cannot be instantiated");
1135Decl *TemplateDeclInstantiator::VisitPragmaDetectMismatchDecl(
1137 llvm_unreachable(
"pragma comment cannot be instantiated");
1142 llvm_unreachable(
"extern \"C\" context cannot be instantiated");
1146 llvm_unreachable(
"GUID declaration cannot be instantiated");
1149Decl *TemplateDeclInstantiator::VisitUnnamedGlobalConstantDecl(
1151 llvm_unreachable(
"UnnamedGlobalConstantDecl cannot be instantiated");
1154Decl *TemplateDeclInstantiator::VisitTemplateParamObjectDecl(
1156 llvm_unreachable(
"template parameter objects cannot be instantiated");
1160TemplateDeclInstantiator::VisitLabelDecl(
LabelDecl *D) {
1163 SemaRef.InstantiateAttrs(TemplateArgs, D, Inst, LateAttrs, StartingScope);
1164 Owner->addDecl(Inst);
1169TemplateDeclInstantiator::VisitNamespaceDecl(
NamespaceDecl *D) {
1170 llvm_unreachable(
"Namespaces cannot be instantiated");
1174class OpenACCDeclClauseInstantiator final
1177 const MultiLevelTemplateArgumentList &MLTAL;
1178 ArrayRef<OpenACCClause *> ExistingClauses;
1179 SemaOpenACC::OpenACCParsedClause &ParsedClause;
1180 OpenACCClause *NewClause =
nullptr;
1183 OpenACCDeclClauseInstantiator(Sema &S,
1184 const MultiLevelTemplateArgumentList &MLTAL,
1185 ArrayRef<OpenACCClause *> ExistingClauses,
1186 SemaOpenACC::OpenACCParsedClause &ParsedClause)
1187 : SemaRef(S), MLTAL(MLTAL), ExistingClauses(ExistingClauses),
1188 ParsedClause(ParsedClause) {}
1190 OpenACCClause *CreatedClause() {
return NewClause; }
1191#define VISIT_CLAUSE(CLAUSE_NAME) \
1192 void Visit##CLAUSE_NAME##Clause(const OpenACC##CLAUSE_NAME##Clause &Clause);
1193#include "clang/Basic/OpenACCClauses.def"
1197 for (
Expr *CurVar : VarList) {
1198 ExprResult Res = SemaRef.SubstExpr(CurVar, MLTAL);
1207 InstantiatedVarList.push_back(Res.
get());
1209 return InstantiatedVarList;
1213#define CLAUSE_NOT_ON_DECLS(CLAUSE_NAME) \
1214 void OpenACCDeclClauseInstantiator::Visit##CLAUSE_NAME##Clause( \
1215 const OpenACC##CLAUSE_NAME##Clause &) { \
1216 llvm_unreachable("Clause type invalid on declaration construct, or " \
1217 "instantiation not implemented"); \
1246#undef CLAUSE_NOT_ON_DECLS
1248void OpenACCDeclClauseInstantiator::VisitGangClause(
1252 assert(
C.getNumExprs() <= 1 &&
1253 "Only 1 expression allowed on gang clause in routine");
1255 if (
C.getNumExprs() > 0) {
1257 "Only dim allowed on routine");
1259 SemaRef.SubstExpr(
const_cast<Expr *
>(
C.getExpr(0).second), MLTAL);
1261 ER = SemaRef.OpenACC().CheckGangExpr(ExistingClauses,
1262 ParsedClause.getDirectiveKind(),
1263 C.getExpr(0).first, ER.
get());
1266 TransformedIntExprs.push_back(ER.
get());
1271 NewClause = SemaRef.OpenACC().CheckGangClause(
1272 ParsedClause.getDirectiveKind(), ExistingClauses,
1273 ParsedClause.getBeginLoc(), ParsedClause.getLParenLoc(),
1274 TransformedGangKinds, TransformedIntExprs, ParsedClause.getEndLoc());
1279 ParsedClause.getBeginLoc(),
1280 ParsedClause.getEndLoc());
1282void OpenACCDeclClauseInstantiator::VisitNoHostClause(
1285 ParsedClause.getBeginLoc(),
1286 ParsedClause.getEndLoc());
1289void OpenACCDeclClauseInstantiator::VisitDeviceTypeClause(
1293 SemaRef.getASTContext(),
C.getClauseKind(), ParsedClause.getBeginLoc(),
1294 ParsedClause.getLParenLoc(),
C.getArchitectures(),
1295 ParsedClause.getEndLoc());
1298void OpenACCDeclClauseInstantiator::VisitWorkerClause(
1300 assert(!
C.hasIntExpr() &&
"Int Expr not allowed on routine 'worker' clause");
1302 ParsedClause.getBeginLoc(), {},
1303 nullptr, ParsedClause.getEndLoc());
1306void OpenACCDeclClauseInstantiator::VisitVectorClause(
1308 assert(!
C.hasIntExpr() &&
"Int Expr not allowed on routine 'vector' clause");
1310 ParsedClause.getBeginLoc(), {},
1311 nullptr, ParsedClause.getEndLoc());
1314void OpenACCDeclClauseInstantiator::VisitCopyClause(
1316 ParsedClause.setVarListDetails(VisitVarList(
C.getVarList()),
1317 C.getModifierList());
1318 if (SemaRef.OpenACC().CheckDeclareClause(ParsedClause,
C.getModifierList()))
1321 SemaRef.getASTContext(), ParsedClause.getClauseKind(),
1322 ParsedClause.getBeginLoc(), ParsedClause.getLParenLoc(),
1323 ParsedClause.getModifierList(), ParsedClause.getVarList(),
1324 ParsedClause.getEndLoc());
1327void OpenACCDeclClauseInstantiator::VisitLinkClause(
1329 ParsedClause.setVarListDetails(
1330 SemaRef.OpenACC().CheckLinkClauseVarList(VisitVarList(
C.getVarList())),
1333 if (SemaRef.OpenACC().CheckDeclareClause(ParsedClause,
1338 SemaRef.getASTContext(), ParsedClause.getBeginLoc(),
1339 ParsedClause.getLParenLoc(), ParsedClause.getVarList(),
1340 ParsedClause.getEndLoc());
1343void OpenACCDeclClauseInstantiator::VisitDeviceResidentClause(
1345 ParsedClause.setVarListDetails(VisitVarList(
C.getVarList()),
1347 if (SemaRef.OpenACC().CheckDeclareClause(ParsedClause,
1351 SemaRef.getASTContext(), ParsedClause.getBeginLoc(),
1352 ParsedClause.getLParenLoc(), ParsedClause.getVarList(),
1353 ParsedClause.getEndLoc());
1356void OpenACCDeclClauseInstantiator::VisitCopyInClause(
1358 ParsedClause.setVarListDetails(VisitVarList(
C.getVarList()),
1359 C.getModifierList());
1361 if (SemaRef.OpenACC().CheckDeclareClause(ParsedClause,
C.getModifierList()))
1364 SemaRef.getASTContext(), ParsedClause.getClauseKind(),
1365 ParsedClause.getBeginLoc(), ParsedClause.getLParenLoc(),
1366 ParsedClause.getModifierList(), ParsedClause.getVarList(),
1367 ParsedClause.getEndLoc());
1369void OpenACCDeclClauseInstantiator::VisitCopyOutClause(
1371 ParsedClause.setVarListDetails(VisitVarList(
C.getVarList()),
1372 C.getModifierList());
1374 if (SemaRef.OpenACC().CheckDeclareClause(ParsedClause,
C.getModifierList()))
1377 SemaRef.getASTContext(), ParsedClause.getClauseKind(),
1378 ParsedClause.getBeginLoc(), ParsedClause.getLParenLoc(),
1379 ParsedClause.getModifierList(), ParsedClause.getVarList(),
1380 ParsedClause.getEndLoc());
1382void OpenACCDeclClauseInstantiator::VisitCreateClause(
1384 ParsedClause.setVarListDetails(VisitVarList(
C.getVarList()),
1385 C.getModifierList());
1387 if (SemaRef.OpenACC().CheckDeclareClause(ParsedClause,
C.getModifierList()))
1390 SemaRef.getASTContext(), ParsedClause.getClauseKind(),
1391 ParsedClause.getBeginLoc(), ParsedClause.getLParenLoc(),
1392 ParsedClause.getModifierList(), ParsedClause.getVarList(),
1393 ParsedClause.getEndLoc());
1395void OpenACCDeclClauseInstantiator::VisitPresentClause(
1397 ParsedClause.setVarListDetails(VisitVarList(
C.getVarList()),
1399 if (SemaRef.OpenACC().CheckDeclareClause(ParsedClause,
1403 SemaRef.getASTContext(), ParsedClause.getBeginLoc(),
1404 ParsedClause.getLParenLoc(), ParsedClause.getVarList(),
1405 ParsedClause.getEndLoc());
1407void OpenACCDeclClauseInstantiator::VisitDevicePtrClause(
1411 llvm::erase_if(VarList, [&](
Expr *E) {
1416 if (SemaRef.OpenACC().CheckDeclareClause(ParsedClause,
1420 SemaRef.getASTContext(), ParsedClause.getBeginLoc(),
1421 ParsedClause.getLParenLoc(), ParsedClause.getVarList(),
1422 ParsedClause.getEndLoc());
1425void OpenACCDeclClauseInstantiator::VisitBindClause(
1428 if (
C.isStringArgument())
1430 SemaRef.getASTContext(), ParsedClause.getBeginLoc(),
1431 ParsedClause.getLParenLoc(),
C.getStringArgument(),
1432 ParsedClause.getEndLoc());
1435 SemaRef.getASTContext(), ParsedClause.getBeginLoc(),
1436 ParsedClause.getLParenLoc(),
C.getIdentifierArgument(),
1437 ParsedClause.getEndLoc());
1445 for (
const auto *Clause : ClauseList) {
1447 Clause->getBeginLoc());
1448 ParsedClause.setEndLoc(Clause->getEndLoc());
1449 if (
const auto *WithParms = dyn_cast<OpenACCClauseWithParams>(Clause))
1450 ParsedClause.setLParenLoc(WithParms->getLParenLoc());
1452 OpenACCDeclClauseInstantiator Instantiator{S, MLTAL, TransformedClauses,
1454 Instantiator.Visit(Clause);
1455 if (Instantiator.CreatedClause())
1456 TransformedClauses.push_back(Instantiator.CreatedClause());
1458 return TransformedClauses;
1465 const OpenACCRoutineDeclAttr *OldAttr,
const Decl *OldDecl,
Decl *NewDecl) {
1466 OpenACCRoutineDeclAttr *A =
1467 OpenACCRoutineDeclAttr::Create(S.
getASTContext(), OldAttr->getLocation());
1469 if (!OldAttr->Clauses.empty()) {
1471 InstantiateOpenACCClauseList(
1473 A->Clauses.assign(TransformedClauses.begin(), TransformedClauses.end());
1484 llvm::SmallVector<OpenACCClause *> TransformedClauses =
1488 if (SemaRef.OpenACC().ActOnStartDeclDirective(
1492 DeclGroupRef Res = SemaRef.OpenACC().ActOnEndDeclDirective(
1504 llvm::SmallVector<OpenACCClause *> TransformedClauses =
1512 FuncRef = SemaRef.OpenACC().ActOnRoutineName(FuncRef.
get());
1517 if (SemaRef.OpenACC().ActOnStartDeclDirective(
1521 DeclGroupRef Res = SemaRef.OpenACC().ActOnEndRoutineDeclDirective(
1533 NamespaceAliasDecl *Inst
1541 Owner->addDecl(Inst);
1551 TSI = SemaRef.SubstType(TSI, TemplateArgs, D->
getLocation(),
1555 TSI = SemaRef.Context.getTrivialTypeSourceInfo(SemaRef.Context.IntTy);
1566 if (SemaRef.getPreprocessor().NeedsStdLibCxxWorkaroundBefore(2014'04'22)) {
1567 const DecltypeType *DT = TSI->
getType()->
getAs<DecltypeType>();
1570 DT->isReferenceType() &&
1571 RD->getEnclosingNamespaceContext() == SemaRef.getStdNamespace() &&
1572 RD->getIdentifier() && RD->getIdentifier()->isStr(
"common_type") &&
1574 SemaRef.getSourceManager().isInSystemHeader(D->
getBeginLoc()))
1576 TSI = SemaRef.Context.getTrivialTypeSourceInfo(
1594 TagDecl *oldTag = oldTagType->getDecl();
1611 SemaRef.isIncompatibleTypedef(InstPrevTypedef,
Typedef);
1613 Typedef->setPreviousDecl(InstPrevTypedef);
1616 SemaRef.InstantiateAttrs(TemplateArgs, D,
Typedef);
1619 SemaRef.inferGslPointerAttribute(
Typedef);
1668 if (!
Found.empty()) {
1669 PrevAliasTemplate = dyn_cast<TypeAliasTemplateDecl>(
Found.front());
1682 if (PrevAliasTemplate)
1687 if (!PrevAliasTemplate)
1714 SmallVector<BindingDecl*, 16> NewBindings;
1715 BindingDecl *OldBindingPack =
nullptr;
1716 for (
auto *OldBD : D->
bindings()) {
1717 Expr *BindingExpr = OldBD->getBinding();
1718 if (isa_and_present<FunctionParmPackExpr>(BindingExpr)) {
1720 assert(!OldBindingPack &&
"no more than one pack is allowed");
1721 OldBindingPack = OldBD;
1725 ArrayRef<BindingDecl*> NewBindingArray = NewBindings;
1727 auto *NewDD = cast_if_present<DecompositionDecl>(
1730 if (!NewDD || NewDD->isInvalidDecl()) {
1731 for (
auto *NewBD : NewBindings)
1732 NewBD->setInvalidDecl();
1733 }
else if (OldBindingPack) {
1736 BindingDecl *NewBindingPack = *llvm::find_if(
1738 assert(NewBindingPack !=
nullptr &&
"new bindings should also have a pack");
1739 llvm::ArrayRef<BindingDecl *> OldDecls =
1741 llvm::ArrayRef<BindingDecl *> NewDecls =
1743 assert(OldDecls.size() == NewDecls.size());
1744 for (
unsigned I = 0; I < OldDecls.size(); I++)
1745 SemaRef.CurrentInstantiationScope->InstantiatedLocal(OldDecls[I],
1757 bool InstantiatingVarTemplate,
1766 if (!InstantiatingVarTemplate)
1772 SemaRef.
Diag(D->
getLocation(), diag::err_variable_instantiates_to_function)
1774 if (!InstantiatingVarTemplate)
1779 DeclContext *DC = Owner;
1781 SemaRef.adjustContextForLocalExternDecl(DC);
1795 if (SemaRef.getLangOpts().ObjCAutoRefCount &&
1796 SemaRef.ObjC().inferObjCARCLifetime(Var))
1799 if (SemaRef.getLangOpts().OpenCL)
1800 SemaRef.deduceOpenCLAddressSpace(Var);
1806 SemaRef.BuildVariableInstantiation(Var, D, TemplateArgs, LateAttrs, Owner,
1807 StartingScope, InstantiatingVarTemplate);
1810 if (
auto *F = dyn_cast<FunctionDecl>(DC))
1811 RT = F->getReturnType();
1816 llvm_unreachable(
"Unknown context type");
1829 Sema::NamedReturnInfo Info = SemaRef.getNamedReturnInfo(Var);
1830 bool NRVO = SemaRef.getCopyElisionCandidate(Info, RT) !=
nullptr;
1837 SemaRef.CheckStaticLocalForDllExport(Var);
1840 SemaRef.CheckThreadLocalForLargeAlignment(Var);
1842 if (SemaRef.getLangOpts().OpenACC)
1843 SemaRef.OpenACC().ActOnVariableDeclarator(Var);
1855 Owner->addHiddenDecl(AD);
1859Decl *TemplateDeclInstantiator::VisitFieldDecl(
FieldDecl *D) {
1864 TSI = SemaRef.SubstType(TSI, TemplateArgs, D->
getLocation(),
1876 SemaRef.Diag(D->
getLocation(), diag::err_field_instantiates_to_function)
1887 else if (BitWidth) {
1893 = SemaRef.SubstExpr(BitWidth, TemplateArgs);
1898 BitWidth = InstantiatedBitWidth.
getAs<Expr>();
1901 FieldDecl *
Field = SemaRef.CheckFieldDecl(
1910 SemaRef.InstantiateAttrs(TemplateArgs, D, Field, LateAttrs, StartingScope);
1912 if (
Field->hasAttrs())
1913 SemaRef.CheckAlignasUnderalignment(Field);
1916 Field->setInvalidDecl();
1918 if (!
Field->getDeclName() ||
Field->isPlaceholderVar(SemaRef.getLangOpts())) {
1920 SemaRef.Context.setInstantiatedFromUnnamedFieldDecl(Field, D);
1922 if (CXXRecordDecl *Parent= dyn_cast<CXXRecordDecl>(
Field->getDeclContext())) {
1923 if (Parent->isAnonymousStructOrUnion() &&
1924 Parent->getRedeclContext()->isFunctionOrMethod())
1925 SemaRef.CurrentInstantiationScope->InstantiatedLocal(D, Field);
1930 Owner->addDecl(Field);
1940 SemaRef.Diag(D->
getLocation(), diag::err_property_is_variably_modified)
1944 TSI = SemaRef.SubstType(TSI, TemplateArgs, D->
getLocation(),
1956 SemaRef.Diag(D->
getLocation(), diag::err_field_instantiates_to_function)
1969 SemaRef.InstantiateAttrs(TemplateArgs, D,
Property, LateAttrs,
1982 NamedDecl **NamedChain =
1986 for (
auto *PI : D->
chain()) {
1992 NamedChain[i++] =
Next;
1998 {NamedChain, D->getChainingSize()});
2000 for (
const auto *Attr : D->
attrs())
2001 IndirectField->
addAttr(Attr->clone(SemaRef.Context));
2005 Owner->addDecl(IndirectField);
2006 return IndirectField;
2009static std::optional<TemplateName>
2012 bool HasTemplateKeyword,
bool RequireClassTemplate) {
2017 SS.
Adopt(QualifierLoc);
2023 return std::nullopt;
2028 return std::nullopt;
2033 if (RequireClassTemplate && !IsDependentContext) {
2034 SemaRef.
Diag(NameLoc, diag::err_no_member_template)
2036 return std::nullopt;
2041 if (
Result.isAmbiguous())
2042 return std::nullopt;
2046 if (RequireClassTemplate && !IsDependentContext) {
2047 SemaRef.
Diag(NameLoc, diag::err_redefinition_different_kind) << Name;
2049 Result.getRepresentativeDecl()->getUnderlyingDecl()->getLocation(),
2050 diag::note_previous_definition);
2051 return std::nullopt;
2056 auto *FoundUsingShadow =
2057 dyn_cast<UsingShadowDecl>(
Result.getRepresentativeDecl());
2072 if (!TSTL || !QualifierLoc ||
2073 !QualifierLoc.getNestedNameSpecifier().isDependent())
2074 return SubstType(TSI, TemplateArgs, Loc, Entity);
2077 auto *FriendCTD = dyn_cast_or_null<ClassTemplateDecl>(
2078 FriendTST->getTemplateName().getAsTemplateDecl());
2080 return SubstType(TSI, TemplateArgs, Loc, Entity);
2092 if (InstTemplate->isNull())
2093 return SubstType(TSI, TemplateArgs, Loc, Entity);
2096 for (
unsigned I = 0, N = TSTL.
getNumArgs(); I != N; ++I)
2097 FriendArgLocs.push_back(TSTL.
getArgLoc(I));
2124static std::optional<SubstitutedFriend>
2134 if (!InstQualifierLoc ||
2137 return std::nullopt;
2143 assert(DNTL &&
"friend class template must have a dependent name type");
2146 SemaRef, InstQualifierLoc, DNTL.getTypePtr()->getIdentifier(),
2147 DNTL.getNameLoc(),
false,
2150 return std::nullopt;
2151 if (!InstTemplate->isNull())
2155 assert(DTN &&
"unresolved friend template must have a dependent name");
2158 DTN->hasTemplateKeyword()});
2164 return std::nullopt;
2170 assert(TSI &&
"friend pack expansion must name a type");
2172 const auto *FTD = dyn_cast<FriendTemplateDecl>(D);
2175 TPLs = FTD->getTemplateParameterLists();
2178 SemaRef.collectUnexpandedParameterPacks(TSI->
getTypeLoc(), Unexpanded);
2179 assert(!Unexpanded.empty() &&
"Pack expansion without packs");
2181 bool ShouldExpand =
true;
2182 bool RetainExpansion =
false;
2184 if (SemaRef.CheckParameterPacksForExpansion(
2186 true, ShouldExpand, RetainExpansion,
2190 assert(!RetainExpansion &&
2191 "should never retain an expansion for a friend declaration");
2196 for (
unsigned I = 0; I != *NumExpansions; I++) {
2203 std::optional<SubstitutedFriend> InstFriend;
2206 SemaRef, TSI, FTD->getFriendTemplateName(), TemplateArgs,
2211 if (!InstFriend || InstFriend->empty())
2221 {}, InstFriend->Template);
2223 assert(InstTPLs.empty() &&
"unexpected template parameter lists");
2224 assert(InstFriend->Template.isNull() &&
2225 "non-template friend resolved to a class template");
2255 assert(ND &&
"friend decl must be a decl or a type!");
2262 if (!NewND)
return nullptr;
2280 = SemaRef.SubstExpr(AssertExpr, TemplateArgs);
2285 SemaRef.SubstExpr(D->
getMessage(), TemplateArgs);
2286 if (InstantiatedMessageExpr.
isInvalid())
2289 return SemaRef.BuildStaticAssertDeclaration(
2294Decl *TemplateDeclInstantiator::VisitExplicitInstantiationDecl(
2298 llvm_unreachable(
"ExplicitInstantiationDecl should not be instantiated");
2301Decl *TemplateDeclInstantiator::VisitCXXExpansionStmtDecl(
2304 CXXExpansionStmtDecl *NewESD = SemaRef.BuildCXXExpansionStmtDecl(
2306 SemaRef.CurrentInstantiationScope->InstantiatedLocal(OldESD, NewESD);
2311 StmtResult NewInst = SemaRef.SubstStmt(OldInst, TemplateArgs);
2312 if (NewInst.isInvalid())
2323 Sema::ContextRAII Context(SemaRef, NewESD,
false);
2327 if (Expansion.isInvalid())
2336Decl *TemplateDeclInstantiator::VisitEnumDecl(
EnumDecl *D) {
2337 EnumDecl *PrevDecl =
nullptr;
2339 NamedDecl *Prev = SemaRef.FindInstantiatedDecl(D->
getLocation(),
2342 if (!Prev)
return nullptr;
2355 SourceLocation UnderlyingLoc = TI->getTypeLoc().getBeginLoc();
2356 TypeSourceInfo *NewTI = SemaRef.SubstType(TI, TemplateArgs, UnderlyingLoc,
2358 if (!NewTI || SemaRef.CheckEnumUnderlyingType(NewTI))
2359 Enum->setIntegerType(SemaRef.Context.IntTy);
2369 Enum->setIntegerTypeSourceInfo(NewTI);
2379 QualType UnderlyingType =
Enum->getIntegerType();
2380 Enum->setPromotionType(
2381 SemaRef.Context.isPromotableIntegerType(UnderlyingType)
2382 ? SemaRef.Context.getPromotedIntegerType(UnderlyingType)
2386 &&
"Dependent type without type source info");
2391 SemaRef.InstantiateAttrs(TemplateArgs, D,
Enum);
2396 SemaRef.Context.setManglingNumber(
Enum, SemaRef.Context.getManglingNumber(D));
2399 if (DeclaratorDecl *DD = SemaRef.Context.getDeclaratorForUnnamedTagDecl(D))
2400 SemaRef.Context.addDeclaratorForUnnamedTagDecl(
Enum, DD);
2403 if (TypedefNameDecl *TND = SemaRef.Context.getTypedefNameForUnnamedTagDecl(D))
2404 SemaRef.Context.addTypedefNameForUnnamedTagDecl(
Enum, TND);
2406 Owner->addDecl(
Enum);
2409 if (Def && Def != D) {
2414 SourceLocation UnderlyingLoc = TI->getTypeLoc().getBeginLoc();
2415 QualType DefnUnderlying =
2416 SemaRef.SubstType(TI->getType(), TemplateArgs,
2417 UnderlyingLoc, DeclarationName());
2419 DefnUnderlying,
true,
Enum);
2434 if (PrevDecl ==
nullptr) {
2435 SemaRef.CurrentInstantiationScope->InstantiatedLocal(D,
Enum);
2445 Enum->startDefinition();
2456 if (
Expr *UninstValue = EC->getInitExpr()) {
2461 Value = SemaRef.SubstExpr(UninstValue, TemplateArgs);
2466 if (
Value.isInvalid()) {
2472 = SemaRef.CheckEnumConstant(
Enum, LastEnumConst,
2479 Enum->setInvalidDecl();
2483 SemaRef.InstantiateAttrs(TemplateArgs, EC, EnumConst);
2486 Enum->addDecl(EnumConst);
2487 Enumerators.push_back(EnumConst);
2488 LastEnumConst = EnumConst;
2491 !
Enum->isScoped()) {
2494 SemaRef.CurrentInstantiationScope->InstantiatedLocal(EC, EnumConst);
2499 SemaRef.ActOnEnumBody(
Enum->getLocation(),
Enum->getBraceRange(),
Enum,
2504 llvm_unreachable(
"EnumConstantDecls can only occur within EnumDecls.");
2509 llvm_unreachable(
"BuiltinTemplateDecls cannot be instantiated.");
2517 LocalInstantiationScope Scope(SemaRef);
2530 QualifierLoc = SemaRef.SubstNestedNameSpecifierLoc(QualifierLoc,
2536 CXXRecordDecl *PrevDecl =
nullptr;
2537 ClassTemplateDecl *PrevClassTemplate =
nullptr;
2541 if (!
Found.empty()) {
2542 PrevClassTemplate = dyn_cast<ClassTemplateDecl>(
Found.front());
2543 if (PrevClassTemplate)
2552 DeclContext *DC = Owner;
2556 SS.
Adopt(QualifierLoc);
2557 DC = SemaRef.computeDeclContext(SS);
2558 if (!DC)
return nullptr;
2560 DC = SemaRef.FindInstantiatedContext(Pattern->
getLocation(),
2569 SemaRef.forRedeclarationInCurContext());
2570 SemaRef.LookupQualifiedName(R, DC);
2572 if (
R.isSingleResult()) {
2573 PrevClassTemplate =
R.getAsSingle<ClassTemplateDecl>();
2574 if (PrevClassTemplate)
2578 if (!PrevClassTemplate && QualifierLoc) {
2579 SemaRef.Diag(Pattern->
getLocation(), diag::err_not_tag_in_scope)
2592 SemaRef.InstantiateAttrsForDecl(TemplateArgs, Pattern, RecordInst, LateAttrs,
2595 ClassTemplateDecl *Inst
2601 assert(!Owner->isDependentContext());
2606 if (PrevClassTemplate) {
2608 const ClassTemplateDecl *MostRecentPrevCT =
2610 TemplateParameterList *PrevParams =
2614 if (!SemaRef.TemplateParameterListsAreEqual(
2621 if (SemaRef.CheckTemplateParameterList(InstParams, PrevParams,
2635 if (!PrevClassTemplate)
2652 Owner->addDecl(Inst);
2654 if (!PrevClassTemplate) {
2658 SmallVector<ClassTemplatePartialSpecializationDecl *, 4> PartialSpecs;
2660 for (
unsigned I = 0, N = PartialSpecs.size(); I != N; ++I)
2661 if (PartialSpecs[I]->getFirstDecl()->isOutOfLine())
2662 OutOfLinePartialSpecs.push_back(std::make_pair(Inst, PartialSpecs[I]));
2669TemplateDeclInstantiator::VisitClassTemplatePartialSpecializationDecl(
2680 ClassTemplateDecl *InstClassTemplate
2681 = dyn_cast<ClassTemplateDecl>(
Found.front());
2682 if (!InstClassTemplate)
2685 if (ClassTemplatePartialSpecializationDecl *
Result
2694 "Only static data member templates are allowed.");
2698 LocalInstantiationScope Scope(SemaRef);
2705 VarTemplateDecl *PrevVarTemplate =
nullptr;
2710 PrevVarTemplate = dyn_cast<VarTemplateDecl>(
Found.front());
2716 if (!VarInst)
return nullptr;
2718 DeclContext *DC = Owner;
2727 if (!PrevVarTemplate)
2735 Owner->addDecl(Inst);
2736 SemaRef.InstantiateAttrsForDecl(TemplateArgs, D, Inst, LateAttrs,
2739 if (!PrevVarTemplate) {
2743 SmallVector<VarTemplatePartialSpecializationDecl *, 1> PartialSpecs;
2745 for (
unsigned I = 0, N = PartialSpecs.size(); I != N; ++I)
2746 if (PartialSpecs[I]->getFirstDecl()->isOutOfLine())
2747 OutOfLineVarPartialSpecs.push_back(
2748 std::make_pair(Inst, PartialSpecs[I]));
2754Decl *TemplateDeclInstantiator::VisitVarTemplatePartialSpecializationDecl(
2757 "Only static data member templates are allowed.");
2763 assert(!
Found.empty() &&
"Instantiation found nothing?");
2765 VarTemplateDecl *InstVarTemplate = dyn_cast<VarTemplateDecl>(
Found.front());
2766 assert(InstVarTemplate &&
"Instantiation did not find a variable template?");
2768 if (VarTemplatePartialSpecializationDecl *
Result =
2781 LocalInstantiationScope Scope(SemaRef);
2782 llvm::SaveAndRestore RAII(EvaluateConstraints,
false);
2789 FunctionDecl *Instantiated =
nullptr;
2790 if (CXXMethodDecl *DMethod = dyn_cast<CXXMethodDecl>(D->
getTemplatedDecl()))
2803 FunctionTemplateDecl *InstTemplate
2806 assert(InstTemplate &&
2807 "VisitFunctionDecl/CXXMethodDecl didn't create a template!");
2819 Owner->addDecl(InstTemplate);
2823 SemaRef.CheckFriendAccess(InstTemplate);
2826 return InstTemplate;
2830 CXXRecordDecl *PrevDecl =
nullptr;
2832 NamedDecl *Prev = SemaRef.FindInstantiatedDecl(D->
getLocation(),
2835 if (!Prev)
return nullptr;
2839 CXXRecordDecl *
Record =
nullptr;
2857 SemaRef.InstantiateAttrsForDecl(TemplateArgs, D,
Record, LateAttrs,
2865 if (!IsInjectedClassName)
2871 Record->setObjectOfFriendDecl();
2875 Record->setAnonymousStructOrUnion(
true);
2878 SemaRef.CurrentInstantiationScope->InstantiatedLocal(D,
Record);
2881 SemaRef.Context.setManglingNumber(
Record,
2882 SemaRef.Context.getManglingNumber(D));
2886 if (DeclaratorDecl *DD = SemaRef.Context.getDeclaratorForUnnamedTagDecl(D))
2887 SemaRef.Context.addDeclaratorForUnnamedTagDecl(
Record, DD);
2891 if (TypedefNameDecl *TND = SemaRef.Context.getTypedefNameForUnnamedTagDecl(D))
2892 SemaRef.Context.addTypedefNameForUnnamedTagDecl(
Record, TND);
2899 Sema::LocalEagerInstantiationScope LocalInstantiations(SemaRef,
2914 LocalInstantiations.perform();
2917 SemaRef.DiagnoseUnusedNestedTypedefs(
Record);
2919 if (IsInjectedClassName)
2920 assert(
Record->isInjectedClassName() &&
"Broken injected-class-name");
2938 if (OrigFunc->
getExtInfo() == NewFunc->getExtInfo())
2943 return Context.getFunctionType(NewFunc->getReturnType(),
2944 NewFunc->getParamTypes(), NewEPI);
2968 if (isFriend && Source->wasThisDeclarationADefinition(D)) {
2980 llvm::FoldingSetInsertToken InsertToken;
2989 bool MergeWithParentScope = (TemplateParams !=
nullptr) ||
2990 Owner->isFunctionOrMethod() ||
2992 cast<Decl>(Owner)->isDefinedOutsideFunctionOrMethod());
2996 if (
auto *DGuide = dyn_cast<CXXDeductionGuideDecl>(D)) {
2997 InstantiatedExplicitSpecifier = SemaRef.instantiateExplicitSpecifier(
2998 TemplateArgs, DGuide->getExplicitSpecifier());
2999 if (InstantiatedExplicitSpecifier.
isInvalid())
3009 if (TemplateParams && TemplateParams->
size()) {
3011 dyn_cast<TemplateTypeParmDecl>(TemplateParams->
asArray().back());
3012 if (LastParam && LastParam->isImplicit() &&
3013 LastParam->hasTypeConstraint()) {
3028 QualifierLoc = SemaRef.SubstNestedNameSpecifierLoc(QualifierLoc,
3036 SemaRef.CheckDependentFriend(D->
getLocation(), QualifierLoc,
3048 SemaRef.adjustContextForLocalExternDecl(DC);
3049 }
else if (isFriend && QualifierLoc) {
3051 SS.
Adopt(QualifierLoc);
3052 DC = SemaRef.computeDeclContext(SS);
3053 if (!DC)
return nullptr;
3060 = SemaRef.SubstDeclarationNameInfo(D->
getNameInfo(), TemplateArgs);
3066 if (
auto *DGuide = dyn_cast<CXXDeductionGuideDecl>(D)) {
3069 InstantiatedExplicitSpecifier, NameInfo,
T, TInfo,
3071 DGuide->getDeductionCandidateKind(), TrailingRequiresClause,
3072 DGuide->getSourceDeductionGuide(),
3073 DGuide->getSourceDeductionGuideKind());
3080 TrailingRequiresClause);
3081 Function->setFriendConstraintRefersToEnclosingTemplate(
3090 Function->setQualifierInfo(QualifierLoc);
3101 LexicalDC = SemaRef.CurContext;
3105 Function->setIsTypeAwareOperatorNewOrDelete(
3107 Function->setLexicalDeclContext(LexicalDC);
3110 for (
unsigned P = 0; P < Params.size(); ++P)
3112 Params[P]->setOwningFunction(
Function);
3115 if (TrailingRequiresClause)
3116 Function->setTrailingRequiresClause(TrailingRequiresClause);
3118 if (TemplateParams) {
3146 SemaRef.CodeSynthesisContexts.back().Kind !=
3150 Function->setFunctionTemplateSpecialization(
3160 }
else if (!isFriend) {
3164 Function->setInstantiatedFromDecl(D);
3171 FT->setObjectOfFriendDecl();
3177 bool IsExplicitSpecialization =
false;
3184 : SemaRef.forRedeclarationInCurContext());
3188 assert(isFriend &&
"dependent specialization info on "
3189 "non-member non-friend function?");
3193 if (
const auto *ArgsWritten = DFTSI->TemplateArgumentsAsWritten) {
3194 ExplicitArgs.
setLAngleLoc(ArgsWritten->getLAngleLoc());
3195 ExplicitArgs.
setRAngleLoc(ArgsWritten->getRAngleLoc());
3196 if (SemaRef.SubstTemplateArguments(ArgsWritten->arguments(), TemplateArgs,
3204 SemaRef.FindInstantiatedDecl(D->
getLocation(), FTD, TemplateArgs))
3210 if (SemaRef.CheckFunctionTemplateSpecialization(
3212 DFTSI->TemplateArgumentsAsWritten ? &ExplicitArgs :
nullptr,
3216 IsExplicitSpecialization =
true;
3220 SemaRef.LookupQualifiedName(
Previous, DC);
3224 ArgsWritten->getRAngleLoc());
3225 if (SemaRef.SubstTemplateArguments(ArgsWritten->arguments(), TemplateArgs,
3229 if (SemaRef.CheckFunctionTemplateSpecialization(
Function,
3234 IsExplicitSpecialization =
true;
3251 if (isFriend && !QualifierLoc) {
3252 SemaRef.FilterLookupForScope(
Previous, DC,
nullptr,
3271 if (
Function->isLocalExternDecl()) {
3273 if (!PVD->hasDefaultArg())
3275 if (SemaRef.SubstDefaultArgument(D->
getInnerLocStart(), PVD, TemplateArgs)) {
3279 Expr *UninstExpr = PVD->getUninstantiatedDefaultArg();
3280 ExprResult ErrorResult = SemaRef.CreateRecoveryExpr(
3282 { UninstExpr }, UninstExpr->
getType());
3284 PVD->setDefaultArg(ErrorResult.
get());
3290 IsExplicitSpecialization,
3291 Function->isThisDeclarationADefinition());
3298 SemaRef.CheckTemplateParameterList(
3301 Function->isThisDeclarationADefinition()
3312 Function->getMemberSpecializationInfo()) {
3313 if (MSInfo->getPointOfInstantiation().isInvalid()) {
3315 MSInfo->setPointOfInstantiation(Loc);
3316 SemaRef.PendingLocalImplicitInstantiations.emplace_back(
Function, Loc);
3354 llvm::FoldingSetInsertToken InsertToken;
3369 bool MergeWithParentScope = (TemplateParams !=
nullptr) ||
3371 cast<Decl>(Owner)->isDefinedOutsideFunctionOrMethod());
3375 SemaRef, D, TemplateArgs,
Scope);
3380 if (isFriend && !TPLs.empty()) {
3381 TempParamLists.resize(TPLs.size());
3382 for (
unsigned I = 0; I != TPLs.size(); ++I) {
3386 TempParamLists[I] = InstParams;
3392 const bool CouldInstantiate =
3393 InstantiatedExplicitSpecifier.getExpr() ==
nullptr ||
3394 !InstantiatedExplicitSpecifier.getExpr()->isValueDependent();
3398 if (CouldInstantiate ||
3399 SemaRef.CodeSynthesisContexts.back().Kind !=
3401 InstantiatedExplicitSpecifier = SemaRef.instantiateExplicitSpecifier(
3402 TemplateArgs, InstantiatedExplicitSpecifier);
3404 if (InstantiatedExplicitSpecifier.isInvalid())
3419 SemaRef.Context.getTrivialTypeSourceInfo(D->
getType());
3429 if (TemplateParams && TemplateParams->
size()) {
3431 dyn_cast<TemplateTypeParmDecl>(TemplateParams->
asArray().back());
3432 if (LastParam && LastParam->isImplicit() &&
3433 LastParam->hasTypeConstraint()) {
3448 QualifierLoc = SemaRef.SubstNestedNameSpecifierLoc(QualifierLoc,
3456 SemaRef.CheckDependentFriend(D->
getLocation(), QualifierLoc,
3464 SS.
Adopt(QualifierLoc);
3465 DC = SemaRef.computeDeclContext(SS);
3467 if (DC && SemaRef.RequireCompleteDeclContext(SS, DC))
3469 }
else if (!QualifierLoc) {
3470 DC = SemaRef.FindInstantiatedContext(D->
getLocation(),
3474 if (!DC)
return nullptr;
3481 = SemaRef.SubstDeclarationNameInfo(D->
getNameInfo(), TemplateArgs);
3497 SemaRef.Context,
Record, StartLoc, NameInfo,
T, TInfo,
3498 InstantiatedExplicitSpecifier,
Constructor->UsesFPIntrin(),
3501 TrailingRequiresClause);
3505 SemaRef.Context,
Record, StartLoc, NameInfo,
T, TInfo,
3507 Destructor->getConstexprKind(), TrailingRequiresClause);
3508 Method->setIneligibleOrNotSelected(
true);
3510 Method->setDeclName(SemaRef.Context.DeclarationNames.getCXXDestructorName(
3512 SemaRef.Context.getCanonicalTagType(
Record)));
3515 SemaRef.Context,
Record, StartLoc, NameInfo,
T, TInfo,
3516 Conversion->UsesFPIntrin(), Conversion->isInlineSpecified(),
3517 InstantiatedExplicitSpecifier, Conversion->getConstexprKind(),
3518 Conversion->getEndLoc(), TrailingRequiresClause);
3522 SemaRef.Context,
Record, StartLoc, NameInfo,
T, TInfo, SC,
3524 D->
getEndLoc(), TrailingRequiresClause);
3528 Method->setImplicitlyInline();
3531 Method->setQualifierInfo(QualifierLoc);
3533 if (TemplateParams) {
3560 Method->setFunctionTemplateSpecialization(
3573 if (!TempParamLists.empty())
3574 Method->setTemplateParameterListsInfo(SemaRef.Context, TempParamLists);
3576 Method->setLexicalDeclContext(Owner);
3577 Method->setObjectOfFriendDecl();
3582 for (
unsigned P = 0; P < Params.size(); ++P)
3583 Params[P]->setOwningFunction(
Method);
3584 Method->setParams(Params);
3587 Method->setInvalidDecl();
3592 bool IsExplicitSpecialization =
false;
3600 if (
const auto *ArgsWritten = DFTSI->TemplateArgumentsAsWritten) {
3601 ExplicitArgs.
setLAngleLoc(ArgsWritten->getLAngleLoc());
3602 ExplicitArgs.
setRAngleLoc(ArgsWritten->getRAngleLoc());
3603 if (SemaRef.SubstTemplateArguments(ArgsWritten->arguments(), TemplateArgs,
3611 SemaRef.FindInstantiatedDecl(D->
getLocation(), FTD, TemplateArgs))
3618 if (SemaRef.CheckDependentFunctionTemplateSpecialization(
3620 DFTSI->TemplateArgumentsAsWritten ? &ExplicitArgs :
nullptr,
3622 Method->setInvalidDecl();
3625 SemaRef.LookupQualifiedName(
Previous, DC);
3626 if (SemaRef.CheckFunctionTemplateSpecialization(
3628 DFTSI->TemplateArgumentsAsWritten ? &ExplicitArgs :
nullptr,
3630 Method->setInvalidDecl();
3631 IsExplicitSpecialization =
true;
3635 SemaRef.LookupQualifiedName(
Previous, DC);
3638 ArgsWritten->getRAngleLoc());
3640 if (SemaRef.SubstTemplateArguments(ArgsWritten->arguments(), TemplateArgs,
3644 if (SemaRef.CheckFunctionTemplateSpecialization(
Method,
3647 Method->setInvalidDecl();
3649 IsExplicitSpecialization =
true;
3677 for (
unsigned P = 0; P < Params.size(); ++P) {
3678 if (!Params[P]->hasDefaultArg())
3680 if (SemaRef.SubstDefaultArgument(StartLoc, Params[P], TemplateArgs)) {
3684 Expr *UninstExpr = Params[P]->getUninstantiatedDefaultArg();
3685 ExprResult ErrorResult = SemaRef.CreateRecoveryExpr(
3687 { UninstExpr }, UninstExpr->
getType());
3689 Params[P]->setDefaultArg(ErrorResult.
get());
3695 IsExplicitSpecialization,
3696 Method->isThisDeclarationADefinition());
3704 if (isFriend &&
Method->getPreviousDecl())
3705 Method->setAccess(
Method->getPreviousDecl()->getAccess());
3711 SemaRef.CheckOverrideControl(
Method);
3725 if (IsExplicitSpecialization && !isFriend)
3738 Method->setIneligibleOrNotSelected(
true);
3739 }
else if (
Method->isCopyAssignmentOperator() ||
3740 Method->isMoveAssignmentOperator()) {
3741 Method->setIneligibleOrNotSelected(
true);
3753 }
else if (isFriend) {
3757 SemaRef.CheckFriendAccess(
Method);
3770 if (
Method->hasAttr<UsedAttr>()) {
3771 if (
const auto *A = dyn_cast<CXXRecordDecl>(Owner)) {
3774 A->getMemberSpecializationInfo())
3775 Loc = MSInfo->getPointOfInstantiation();
3776 else if (
const auto *Spec = dyn_cast<ClassTemplateSpecializationDecl>(A))
3777 Loc = Spec->getPointOfInstantiation();
3778 SemaRef.MarkFunctionReferenced(Loc,
Method);
3798 return SemaRef.SubstParmVarDecl(D, TemplateArgs, 0,
3803Decl *TemplateDeclInstantiator::VisitTemplateTypeParmDecl(
3811 assert(TC->getTemplateArgsAsWritten() &&
3812 "type parameter can only be an expansion when explicit arguments "
3817 SmallVector<UnexpandedParameterPack, 2> Unexpanded;
3818 for (
auto &ArgLoc : TC->getTemplateArgsAsWritten()->arguments())
3819 SemaRef.collectUnexpandedParameterPacks(ArgLoc, Unexpanded);
3824 bool RetainExpansion =
false;
3825 if (SemaRef.CheckParameterPacksForExpansion(
3828 SourceRange(TC->getConceptNameLoc(),
3829 TC->hasExplicitTemplateArgs()
3830 ? TC->getTemplateArgsAsWritten()->getRAngleLoc()
3831 : TC->getConceptNameInfo().getEndLoc()),
3832 Unexpanded, TemplateArgs,
true,
3833 Expand, RetainExpansion, NumExpanded))
3840 D->
getDepth() - (TemplateArgs.retainInnerDepths()
3842 : TemplateArgs.getNumSubstitutedLevels()),
3853 if (SemaRef.SubstTypeConstraint(Inst, TC, TemplateArgs,
3854 EvaluateConstraints))
3859 TemplateArgumentLoc Output;
3867 SemaRef.CurrentInstantiationScope->InstantiatedLocal(D, Inst);
3872Decl *TemplateDeclInstantiator::VisitNonTypeTemplateParmDecl(
3876 SmallVector<TypeSourceInfo *, 4> ExpandedParameterPackTypesAsWritten;
3877 SmallVector<QualType, 4> ExpandedParameterPackTypes;
3878 bool IsExpandedParameterPack =
false;
3879 TypeSourceInfo *TSI;
3889 TypeSourceInfo *NewTSI =
3896 SemaRef.CheckNonTypeTemplateParameterType(NewTSI, D->
getLocation());
3900 ExpandedParameterPackTypesAsWritten.push_back(NewTSI);
3901 ExpandedParameterPackTypes.push_back(NewT);
3904 IsExpandedParameterPack =
true;
3911 PackExpansionTypeLoc Expansion = TL.
castAs<PackExpansionTypeLoc>();
3913 SmallVector<UnexpandedParameterPack, 2> Unexpanded;
3914 SemaRef.collectUnexpandedParameterPacks(Pattern, Unexpanded);
3919 bool RetainExpansion =
false;
3923 if (SemaRef.CheckParameterPacksForExpansion(
3924 Expansion.
getEllipsisLoc(), Pattern.getSourceRange(), Unexpanded,
3925 TemplateArgs,
true, Expand,
3926 RetainExpansion, NumExpansions))
3930 for (
unsigned I = 0; I != *NumExpansions; ++I) {
3931 Sema::ArgPackSubstIndexRAII SubstIndex(SemaRef, I);
3932 TypeSourceInfo *NewTSI = SemaRef.SubstType(
3938 SemaRef.CheckNonTypeTemplateParameterType(NewTSI, D->
getLocation());
3942 ExpandedParameterPackTypesAsWritten.push_back(NewTSI);
3943 ExpandedParameterPackTypes.push_back(NewT);
3949 IsExpandedParameterPack =
true;
3955 Sema::ArgPackSubstIndexRAII SubstIndex(SemaRef, std::nullopt);
3956 TypeSourceInfo *NewPattern = SemaRef.SubstType(Pattern, TemplateArgs,
3962 SemaRef.CheckNonTypeTemplateParameterType(NewPattern, D->
getLocation());
3963 TSI = SemaRef.CheckPackExpansion(NewPattern, Expansion.
getEllipsisLoc(),
3978 T = SemaRef.CheckNonTypeTemplateParameterType(TSI, D->
getLocation());
3980 T = SemaRef.Context.IntTy;
3985 NonTypeTemplateParmDecl *Param;
3986 if (IsExpandedParameterPack)
3989 D->
getDepth() - TemplateArgs.getNumSubstitutedLevels(),
3991 ExpandedParameterPackTypes, ExpandedParameterPackTypesAsWritten);
3995 D->
getDepth() - TemplateArgs.getNumSubstitutedLevels(),
3999 if (AutoLoc.isConstrained()) {
4000 SourceLocation EllipsisLoc;
4001 if (IsExpandedParameterPack)
4004 else if (
auto *Constraint = dyn_cast_if_present<CXXFoldExpr>(
4006 EllipsisLoc = Constraint->getEllipsisLoc();
4010 if (SemaRef.AttachTypeConstraint(AutoLoc, Param,
4021 EnterExpressionEvaluationContext ConstantEvaluated(
4023 TemplateArgumentLoc
Result;
4031 SemaRef.CurrentInstantiationScope->InstantiatedLocal(D, Param);
4039 for (
const auto &P : *Params) {
4040 if (P->isTemplateParameterPack())
4052TemplateDeclInstantiator::VisitTemplateTemplateParmDecl(
4056 TemplateParameterList *InstParams;
4057 SmallVector<TemplateParameterList*, 8> ExpandedParams;
4059 bool IsExpandedParameterPack =
false;
4068 LocalInstantiationScope Scope(SemaRef,
true);
4069 TemplateParameterList *Expansion =
4073 ExpandedParams.push_back(Expansion);
4076 IsExpandedParameterPack =
true;
4077 InstParams = TempParams;
4082 SmallVector<UnexpandedParameterPack, 2> Unexpanded;
4089 bool RetainExpansion =
false;
4091 if (SemaRef.CheckParameterPacksForExpansion(
4093 TemplateArgs,
true, Expand,
4094 RetainExpansion, NumExpansions))
4098 for (
unsigned I = 0; I != *NumExpansions; ++I) {
4099 Sema::ArgPackSubstIndexRAII SubstIndex(SemaRef, I);
4100 LocalInstantiationScope Scope(SemaRef,
true);
4104 ExpandedParams.push_back(Expansion);
4110 IsExpandedParameterPack =
true;
4113 Sema::ArgPackSubstIndexRAII SubstIndex(SemaRef, std::nullopt);
4115 LocalInstantiationScope Scope(SemaRef,
true);
4122 LocalInstantiationScope Scope(SemaRef,
true);
4129 TemplateTemplateParmDecl *Param;
4130 if (IsExpandedParameterPack)
4133 D->
getDepth() - TemplateArgs.getNumSubstitutedLevels(),
4139 D->
getDepth() - TemplateArgs.getNumSubstitutedLevels(),
4152 TemplateArgumentLoc(SemaRef.Context, TemplateArgument(TName),
4161 SemaRef.CurrentInstantiationScope->InstantiatedLocal(D, Param);
4170 UsingDirectiveDecl *Inst
4180 if (!Owner->isFunctionOrMethod())
4181 Owner->addDecl(Inst);
4190 bool isFunctionScope = Owner->isFunctionOrMethod();
4192 for (
auto *Shadow : D->
shadows()) {
4196 NamedDecl *OldTarget = Shadow->getTargetDecl();
4197 if (
auto *CUSD = dyn_cast<ConstructorUsingShadowDecl>(Shadow))
4198 if (
auto *BaseShadow = CUSD->getNominatedBaseClassShadowDecl())
4199 OldTarget = BaseShadow;
4203 dyn_cast<UnresolvedUsingIfExistsDecl>(Shadow->getTargetDecl())) {
4205 SemaRef.Context, Owner, EmptyD->getLocation(), EmptyD->getDeclName());
4207 InstTarget = cast_or_null<NamedDecl>(SemaRef.FindInstantiatedDecl(
4208 Shadow->getLocation(), OldTarget, TemplateArgs));
4215 SemaRef.CheckUsingShadowDecl(Inst, InstTarget, *Lookup, PrevDecl))
4219 PrevDecl = cast_or_null<UsingShadowDecl>(SemaRef.FindInstantiatedDecl(
4220 Shadow->getLocation(), OldPrev, TemplateArgs));
4223 nullptr, Inst, InstTarget, PrevDecl);
4224 SemaRef.Context.setInstantiatedFromUsingShadowDecl(InstShadow, Shadow);
4226 if (isFunctionScope)
4227 SemaRef.CurrentInstantiationScope->InstantiatedLocal(Shadow, InstShadow);
4233Decl *TemplateDeclInstantiator::VisitUsingDecl(
UsingDecl *D) {
4254 if (
auto *RD = dyn_cast<CXXRecordDecl>(SemaRef.
CurContext))
4260 bool CheckRedeclaration = Owner->
isRecord();
4271 SS.
Adopt(QualifierLoc);
4272 if (CheckRedeclaration) {
4273 Prev.setHideTags(
false);
4306 EnumDecl *EnumD = cast_or_null<EnumDecl>(SemaRef.FindInstantiatedDecl(
4309 if (SemaRef.RequireCompleteEnumDecl(EnumD, EnumD->
getLocation()))
4312 TypeSourceInfo *TSI = SemaRef.SubstType(D->
getEnumType(), TemplateArgs,
4318 UsingEnumDecl *NewUD =
4322 SemaRef.Context.setInstantiatedFromUsingEnumDecl(NewUD, D);
4324 Owner->addDecl(NewUD);
4342Decl *TemplateDeclInstantiator::VisitConstructorUsingShadowDecl(
4348template <
typename T>
4349Decl *TemplateDeclInstantiator::instantiateUnresolvedUsingDecl(
4350 T *D,
bool InstantiatingPackElement) {
4352 if (D->isPackExpansion() && !InstantiatingPackElement) {
4353 SmallVector<UnexpandedParameterPack, 2> Unexpanded;
4354 SemaRef.collectUnexpandedParameterPacks(D->getQualifierLoc(), Unexpanded);
4355 SemaRef.collectUnexpandedParameterPacks(D->getNameInfo(), Unexpanded);
4360 bool RetainExpansion =
false;
4362 if (SemaRef.CheckParameterPacksForExpansion(
4363 D->getEllipsisLoc(), D->getSourceRange(), Unexpanded, TemplateArgs,
4364 true, Expand, RetainExpansion,
4370 assert(!RetainExpansion &&
4371 "should never need to retain an expansion for UsingPackDecl");
4376 Sema::ArgPackSubstIndexRAII SubstIndex(SemaRef, std::nullopt);
4377 return instantiateUnresolvedUsingDecl(D,
true);
4387 if (D->getDeclContext()->isFunctionOrMethod() && *NumExpansions > 1) {
4388 SemaRef.Diag(D->getEllipsisLoc(),
4389 diag::err_using_decl_redeclaration_expansion);
4394 SmallVector<NamedDecl*, 8> Expansions;
4395 for (
unsigned I = 0; I != *NumExpansions; ++I) {
4396 Sema::ArgPackSubstIndexRAII SubstIndex(SemaRef, I);
4397 Decl *Slice = instantiateUnresolvedUsingDecl(D,
true);
4407 auto *NewD = SemaRef.BuildUsingPackDecl(D, Expansions);
4409 SemaRef.CurrentInstantiationScope->InstantiatedLocal(D, NewD);
4413 UnresolvedUsingTypenameDecl *TD = dyn_cast<UnresolvedUsingTypenameDecl>(D);
4414 SourceLocation TypenameLoc = TD ? TD->
getTypenameLoc() : SourceLocation();
4416 NestedNameSpecifierLoc QualifierLoc
4417 = SemaRef.SubstNestedNameSpecifierLoc(D->getQualifierLoc(),
4423 SS.
Adopt(QualifierLoc);
4425 DeclarationNameInfo NameInfo
4426 = SemaRef.SubstDeclarationNameInfo(D->getNameInfo(), TemplateArgs);
4430 bool InstantiatingSlice =
4431 D->getEllipsisLoc().isValid() && SemaRef.ArgPackSubstIndex;
4432 SourceLocation EllipsisLoc =
4433 InstantiatingSlice ? SourceLocation() : D->getEllipsisLoc();
4436 NamedDecl *UD = SemaRef.BuildUsingDeclaration(
4437 nullptr, D->getAccess(), D->getUsingLoc(),
4438 TD, TypenameLoc, SS, NameInfo, EllipsisLoc,
4439 ParsedAttributesView(),
4440 true, IsUsingIfExists);
4442 SemaRef.InstantiateAttrs(TemplateArgs, D, UD);
4443 SemaRef.Context.setInstantiatedFromUsingDecl(UD, D);
4449Decl *TemplateDeclInstantiator::VisitUnresolvedUsingTypenameDecl(
4451 return instantiateUnresolvedUsingDecl(D);
4454Decl *TemplateDeclInstantiator::VisitUnresolvedUsingValueDecl(
4456 return instantiateUnresolvedUsingDecl(D);
4459Decl *TemplateDeclInstantiator::VisitUnresolvedUsingIfExistsDecl(
4461 llvm_unreachable(
"referring to unresolved decl out of UsingShadowDecl");
4465 SmallVector<NamedDecl*, 8> Expansions;
4467 if (NamedDecl *NewUD =
4468 SemaRef.FindInstantiatedDecl(D->
getLocation(), UD, TemplateArgs))
4469 Expansions.push_back(NewUD);
4474 auto *NewD = SemaRef.BuildUsingPackDecl(D, Expansions);
4476 SemaRef.CurrentInstantiationScope->InstantiatedLocal(D, NewD);
4480Decl *TemplateDeclInstantiator::VisitOMPThreadPrivateDecl(
4482 SmallVector<Expr *, 5> Vars;
4483 for (
auto *I : D->
varlist()) {
4484 Expr *Var = SemaRef.SubstExpr(I, TemplateArgs).get();
4486 Vars.push_back(Var);
4489 OMPThreadPrivateDecl *TD =
4490 SemaRef.OpenMP().CheckOMPThreadPrivateDecl(D->
getLocation(), Vars);
4500 SmallVector<Expr *, 5> Vars;
4501 for (
auto *I : D->
varlist()) {
4502 Expr *Var = SemaRef.SubstExpr(I, TemplateArgs).get();
4504 Vars.push_back(Var);
4507 OMPGroupPrivateDecl *TD =
4508 SemaRef.OpenMP().CheckOMPGroupPrivateDecl(D->
getLocation(), Vars);
4517 SmallVector<Expr *, 5> Vars;
4518 for (
auto *I : D->
varlist()) {
4519 Expr *Var = SemaRef.SubstExpr(I, TemplateArgs).get();
4521 Vars.push_back(Var);
4523 SmallVector<OMPClause *, 4> Clauses;
4526 OMPClause *IC =
nullptr;
4527 if (
auto *AC = dyn_cast<OMPAllocatorClause>(
C)) {
4528 ExprResult NewE = SemaRef.SubstExpr(AC->getAllocator(), TemplateArgs);
4531 IC = SemaRef.OpenMP().ActOnOpenMPAllocatorClause(
4532 NewE.
get(), AC->
getBeginLoc(), AC->getLParenLoc(), AC->getEndLoc());
4533 }
else if (
auto *AC = dyn_cast<OMPAlignClause>(
C)) {
4534 ExprResult NewE = SemaRef.SubstExpr(AC->getAlignment(), TemplateArgs);
4537 IC = SemaRef.OpenMP().ActOnOpenMPAlignClause(
4538 NewE.
get(), AC->
getBeginLoc(), AC->getLParenLoc(), AC->getEndLoc());
4543 Clauses.push_back(IC);
4555 "Requires directive cannot be instantiated within a dependent context");
4558Decl *TemplateDeclInstantiator::VisitOMPDeclareReductionDecl(
4561 const bool RequiresInstantiation =
4565 QualType SubstReductionType;
4566 if (RequiresInstantiation) {
4567 SubstReductionType = SemaRef.OpenMP().ActOnOpenMPDeclareReductionType(
4572 SubstReductionType = D->
getType();
4574 if (SubstReductionType.
isNull())
4578 bool IsCorrect =
true;
4580 std::pair<QualType, SourceLocation> ReductionTypes[] = {
4581 std::make_pair(SubstReductionType, D->
getLocation())};
4583 if (PrevDeclInScope && !PrevDeclInScope->isInvalidDecl()) {
4585 cast<Decl *>(*SemaRef.CurrentInstantiationScope->findInstantiationOf(
4588 auto DRD = SemaRef.OpenMP().ActOnOpenMPDeclareReductionDirectiveStart(
4592 SemaRef.CurrentInstantiationScope->InstantiatedLocal(D, NewDRD);
4593 Expr *SubstCombiner =
nullptr;
4594 Expr *SubstInitializer =
nullptr;
4597 SemaRef.OpenMP().ActOnOpenMPDeclareReductionCombinerStart(
4599 SemaRef.CurrentInstantiationScope->InstantiatedLocal(
4602 SemaRef.CurrentInstantiationScope->InstantiatedLocal(
4605 auto *ThisContext = dyn_cast_or_null<CXXRecordDecl>(Owner);
4606 Sema::CXXThisScopeRAII ThisScope(SemaRef, ThisContext, Qualifiers(),
4608 SubstCombiner = SemaRef.SubstExpr(Combiner, TemplateArgs).get();
4609 SemaRef.OpenMP().ActOnOpenMPDeclareReductionCombinerEnd(NewDRD,
4614 VarDecl *OmpPrivParm =
4615 SemaRef.OpenMP().ActOnOpenMPDeclareReductionInitializerStart(
4617 SemaRef.CurrentInstantiationScope->InstantiatedLocal(
4620 SemaRef.CurrentInstantiationScope->InstantiatedLocal(
4624 SubstInitializer = SemaRef.SubstExpr(
Init, TemplateArgs).get();
4628 IsCorrect = IsCorrect && OldPrivParm->hasInit();
4630 SemaRef.InstantiateVariableInitializer(OmpPrivParm, OldPrivParm,
4633 SemaRef.OpenMP().ActOnOpenMPDeclareReductionInitializerEnd(
4634 NewDRD, SubstInitializer, OmpPrivParm);
4636 IsCorrect = IsCorrect && SubstCombiner &&
4639 SubstInitializer) ||
4641 !SubstInitializer));
4643 (void)SemaRef.OpenMP().ActOnOpenMPDeclareReductionDirectiveEnd(
4652 const bool RequiresInstantiation =
4656 QualType SubstMapperTy;
4658 if (RequiresInstantiation) {
4659 SubstMapperTy = SemaRef.OpenMP().ActOnOpenMPDeclareMapperType(
4666 if (SubstMapperTy.
isNull())
4670 if (PrevDeclInScope && !PrevDeclInScope->isInvalidDecl()) {
4672 cast<Decl *>(*SemaRef.CurrentInstantiationScope->findInstantiationOf(
4675 bool IsCorrect =
true;
4676 SmallVector<OMPClause *, 6> Clauses;
4678 DeclarationNameInfo DirName;
4679 SemaRef.OpenMP().StartOpenMPDSABlock(llvm::omp::OMPD_declare_mapper, DirName,
4683 SemaRef.OpenMP().ActOnOpenMPDeclareMapperDirectiveVarDecl(
4685 SemaRef.CurrentInstantiationScope->InstantiatedLocal(
4688 auto *ThisContext = dyn_cast_or_null<CXXRecordDecl>(Owner);
4689 Sema::CXXThisScopeRAII ThisScope(SemaRef, ThisContext, Qualifiers(),
4694 SmallVector<Expr *, 4> NewVars;
4695 for (Expr *OE : OldC->varlist()) {
4696 Expr *
NE = SemaRef.SubstExpr(OE, TemplateArgs).get();
4701 NewVars.push_back(NE);
4705 NestedNameSpecifierLoc NewQualifierLoc =
4706 SemaRef.SubstNestedNameSpecifierLoc(OldC->getMapperQualifierLoc(),
4709 SS.
Adopt(NewQualifierLoc);
4710 DeclarationNameInfo NewNameInfo =
4711 SemaRef.SubstDeclarationNameInfo(OldC->getMapperIdInfo(), TemplateArgs);
4712 OMPVarListLocTy Locs(OldC->getBeginLoc(), OldC->getLParenLoc(),
4714 OMPClause *NewC = SemaRef.OpenMP().ActOnOpenMPMapClause(
4715 OldC->getIteratorModifier(), OldC->getMapTypeModifiers(),
4716 OldC->getMapTypeModifiersLoc(), SS, NewNameInfo, OldC->getMapType(),
4717 OldC->isImplicitMapType(), OldC->getMapLoc(), OldC->getColonLoc(),
4719 Clauses.push_back(NewC);
4721 SemaRef.OpenMP().EndOpenMPDSABlock(
nullptr);
4726 VN, D->
getAccess(), MapperVarRef.
get(), Clauses, PrevDeclInScope);
4728 SemaRef.CurrentInstantiationScope->InstantiatedLocal(D, NewDMD);
4732Decl *TemplateDeclInstantiator::VisitOMPCapturedExprDecl(
4734 llvm_unreachable(
"Should not be met in templates");
4745 Owner->addDecl(Inst);
4754 llvm_unreachable(
"There are only CXXRecordDecls in C++");
4758TemplateDeclInstantiator::VisitClassTemplateSpecializationDecl(
4765 "can only instantiate an explicit specialization "
4766 "for a member class template");
4770 ClassTemplateDecl *InstClassTemplate =
4771 cast_or_null<ClassTemplateDecl>(SemaRef.FindInstantiatedDecl(
4773 if (!InstClassTemplate)
4778 TemplateArgumentListInfo InstTemplateArgs;
4779 if (
const ASTTemplateArgumentListInfo *TemplateArgsInfo =
4781 InstTemplateArgs.
setLAngleLoc(TemplateArgsInfo->getLAngleLoc());
4782 InstTemplateArgs.
setRAngleLoc(TemplateArgsInfo->getRAngleLoc());
4784 if (SemaRef.SubstTemplateArguments(TemplateArgsInfo->arguments(),
4785 TemplateArgs, InstTemplateArgs))
4791 Sema::CheckTemplateArgumentInfo CTAI;
4792 if (SemaRef.CheckTemplateArgumentList(
4793 InstClassTemplate, D->
getLocation(), InstTemplateArgs,
4800 llvm::FoldingSetInsertToken InsertToken;
4801 ClassTemplateSpecializationDecl *PrevDecl =
4809 SemaRef.CheckSpecializationInstantiationRedecl(D->
getLocation(),
4831 SemaRef.Diag(D->
getLocation(), diag::err_redefinition) << PrevDecl;
4833 diag::note_previous_definition);
4838 ClassTemplateSpecializationDecl *InstD =
4860 Owner->addDecl(InstD);
4867 SemaRef.InstantiateClass(D->
getLocation(), InstD, D, TemplateArgs,
4881 "A template specialization without specialized template?");
4884 cast_or_null<VarTemplateDecl>(SemaRef.FindInstantiatedDecl(
4886 if (!InstVarTemplate)
4892 VarTemplateArgsInfo.
setLAngleLoc(TemplateArgsInfo->getLAngleLoc());
4893 VarTemplateArgsInfo.
setRAngleLoc(TemplateArgsInfo->getRAngleLoc());
4895 if (SemaRef.SubstTemplateArguments(TemplateArgsInfo->arguments(),
4896 TemplateArgs, VarTemplateArgsInfo))
4902 if (SemaRef.CheckTemplateArgumentList(
4903 InstVarTemplate, D->
getLocation(), VarTemplateArgsInfo,
4909 llvm::FoldingSetInsertToken InsertToken;
4916 if (PrevDecl && SemaRef.CheckSpecializationInstantiationRedecl(
4924 VTSD->setTemplateArgsAsWritten(VarTemplateArgsInfo);
4944 SemaRef.
Diag(D->
getLocation(), diag::err_variable_instantiates_to_function)
4954 llvm::FoldingSetInsertToken InsertToken;
4955 VarTemplate->findSpecialization(Converted, InsertToken);
4959 if (SemaRef.getLangOpts().OpenCL)
4960 SemaRef.deduceOpenCLAddressSpace(Var);
4966 SemaRef.BuildVariableInstantiation(Var, D, TemplateArgs, LateAttrs, Owner,
4967 StartingScope,
false, PrevDecl);
4973 llvm_unreachable(
"@defs is not supported in Objective-C++");
4983 LocalInstantiationScope Scope(SemaRef,
true);
4984 SmallVector<TemplateParameterList *, 1> InstTPLs;
4994 if (!Substituted || Substituted->empty())
4996 ToFriend = Substituted->TypeInfo;
4997 ToTemplate = Substituted->
Template;
4999 if (
auto *InstTemplate =
5005 if (
auto *InstFriendDecl =
5007 ToFriend = InstFriendDecl;
5014 InstTPLs, {}, ToTemplate);
5017 Owner->addDecl(InstFriend);
5022 llvm_unreachable(
"Concept definitions cannot reside inside a template");
5025Decl *TemplateDeclInstantiator::VisitImplicitConceptSpecializationDecl(
5027 llvm_unreachable(
"Concept specializations cannot reside inside a template");
5037 llvm_unreachable(
"Unexpected decl");
5048 SubstD = Instantiator.Visit(D);
5062 T = SemaRef.Context.getFunctionType(
5063 SemaRef.Context.BoolTy, FPT->getParamTypes(), FPT->getExtProtoInfo());
5072 SemaRef.Context.getTrivialTypeSourceInfo(
T, Orig->
getEndLoc());
5074 assert(OldLoc &&
"type of function is not a function type?");
5076 for (
unsigned I = 0, N = OldLoc.getNumParams(); I != N; ++I)
5077 NewLoc.
setParam(I, OldLoc.getParam(I));
5082 SemaRef.Context.DeclarationNames.getCXXOperatorName(OO_EqualEqual));
5087 if (Spaceship->isInvalidDecl())
5099 if (
auto *MD = dyn_cast<CXXMethodDecl>(Spaceship)) {
5104 assert(Spaceship->getFriendObjectKind() &&
5105 "defaulted spaceship is neither a member nor a friend");
5119 return cast_or_null<FunctionDecl>(R);
5133 unsigned N = L->
size();
5137 for (
auto &P : *L) {
5139 Params.push_back(D);
5148 if (InstRequiresClause && EvaluateConstraints) {
5150 SemaRef.SubstConstraintExpr(InstRequiresClause, TemplateArgs);
5153 InstRequiresClause = E.
get();
5172 if (
Expr *RequiresClause = L->getRequiresClause()) {
5174 SemaRef.SubstConstraintExprWithoutSatisfaction(RequiresClause,
5176 if (!InstRequiresClause.
isUsable())
5185 InstTPLs.push_back(InstParams);
5193 bool EvaluateConstraints) {
5232 if (SemaRef.SubstTemplateArguments(TemplArgInfo->
arguments(), TemplateArgs,
5239 if (SemaRef.CheckTemplateArgumentList(
5240 ClassTemplate, PartialSpec->
getLocation(), InstTemplateArgs,
5246 if (SemaRef.CheckTemplatePartialSpecializationArgs(
5253 llvm::FoldingSetInsertToken InsertToken;
5256 InstParams, InsertToken);
5261 SemaRef.Context, PartialSpec->
getTagKind(), Owner,
5292 diag::err_partial_spec_redeclared)
5294 SemaRef.Diag(PrevDecl->
getLocation(), diag::note_prev_partial_spec_here)
5295 << SemaRef.Context.getCanonicalTagType(PrevDecl);
5300 SemaRef.CheckTemplatePartialSpecialization(InstPartialSpec);
5306 return InstPartialSpec;
5342 if (SemaRef.SubstTemplateArguments(TemplArgInfo->
arguments(), TemplateArgs,
5350 InstTemplateArgs, {},
5355 if (SemaRef.CheckTemplatePartialSpecializationArgs(
5362 llvm::FoldingSetInsertToken InsertToken;
5365 InstParams, InsertToken);
5376 diag::err_variable_instantiates_to_function)
5413 diag::err_var_partial_spec_redeclared)
5416 diag::note_var_prev_partial_spec_here);
5420 SemaRef.CheckTemplatePartialSpecialization(InstPartialSpec);
5424 VarTemplate->AddPartialSpecialization(InstPartialSpec, {});
5426 SemaRef.BuildVariableInstantiation(InstPartialSpec, PartialSpec, TemplateArgs,
5427 LateAttrs, Owner, StartingScope);
5429 return InstPartialSpec;
5435 assert(OldTInfo &&
"substituting function without type source info");
5436 assert(Params.empty() &&
"parameter vector is non-empty at start");
5442 ThisTypeQuals =
Method->getFunctionObjectParameterType().getQualifiers();
5447 ThisContext, ThisTypeQuals, EvaluateConstraints);
5453 if (NewTInfo != OldTInfo) {
5457 unsigned NewIdx = 0;
5458 for (
unsigned OldIdx = 0, NumOldParams = OldProtoLoc.getNumParams();
5459 OldIdx != NumOldParams; ++OldIdx) {
5460 ParmVarDecl *OldParam = OldProtoLoc.getParam(OldIdx);
5468 NumArgumentsInExpansion =
5469 SemaRef.getNumArgumentsInExpansion(OldParam->
getType(),
5471 if (!NumArgumentsInExpansion) {
5475 Params.push_back(NewParam);
5476 Scope->InstantiatedLocal(OldParam, NewParam);
5479 Scope->MakeInstantiatedLocalArgPack(OldParam);
5480 for (
unsigned I = 0; I != *NumArgumentsInExpansion; ++I) {
5482 Params.push_back(NewParam);
5483 Scope->InstantiatedLocalPackArg(OldParam, NewParam);
5493 for (
unsigned i = 0, i_end = OldProtoLoc.getNumParams(); i != i_end;
5497 Params.push_back(SemaRef.BuildParmVarDeclForTypedef(
5503 OldParam, TemplateArgs, 0,
5505 false, EvaluateConstraints);
5508 Params.push_back(Parm);
5525 TemplateArgs, ParamTypes, &Params,
5538 for (
auto *
decl : PatternDecl->
decls()) {
5545 auto it = llvm::find_if(
Function->decls(), [&](
Decl *inst) {
5546 VarDecl *InstVD = dyn_cast<VarDecl>(inst);
5547 return InstVD && InstVD->isLocalVarDecl() &&
5548 InstVD->getIdentifier() == II;
5554 Scope.InstantiatedLocal(VD, *it);
5561bool Sema::addInstantiatedParametersToScope(
5565 unsigned FParamIdx = 0;
5566 for (
unsigned I = 0, N = PatternDecl->
getNumParams(); I != N; ++I) {
5567 const ParmVarDecl *PatternParam = PatternDecl->
getParamDecl(I);
5570 assert(FParamIdx < Function->getNumParams());
5597 if (NumArgumentsInExpansion) {
5598 QualType PatternType =
5599 PatternParam->
getType()->
castAs<PackExpansionType>()->getPattern();
5600 for (
unsigned Arg = 0; Arg < *NumArgumentsInExpansion; ++Arg) {
5604 Sema::ArgPackSubstIndexRAII SubstIndex(*
this, Arg);
5624 assert(Param->hasUninstantiatedDefaultArg());
5656 false, std::nullopt,
5665 L->DefaultArgumentInstantiated(Param);
5678 if (AlreadyInstantiating) {
5681 Diag(PointOfInstantiation, diag::err_exception_spec_cycle) <<
Decl;
5703 false, std::nullopt,
5736 SemaRef.Context.setManglingNumber(
New,
5737 SemaRef.Context.getManglingNumber(Tmpl));
5750 ActiveInstType &ActiveInst = SemaRef.CodeSynthesisContexts.back();
5751 if (ActiveInst.Kind == ActiveInstType::ExplicitTemplateArgumentSubstitution ||
5752 ActiveInst.Kind == ActiveInstType::DeducedTemplateArgumentSubstitution) {
5754 SemaRef.CurrentSFINAEContext =
nullptr;
5755 ActiveInst.Kind = ActiveInstType::TemplateInstantiation;
5756 ActiveInst.Entity =
New;
5761 assert(Proto &&
"Function template without prototype?");
5770 if (SemaRef.getLangOpts().CPlusPlus11 &&
5785 assert(NewProto &&
"Template instantiation without function prototype?");
5790 New->setType(SemaRef.Context.getFunctionType(
5794 SemaRef.SubstExceptionSpec(
New, Proto, TemplateArgs);
5803 LateAttrs, StartingScope);
5805 SemaRef.inferLifetimeBoundAttribute(
New);
5826 New->setVirtualAsWritten(
true);
5837 Lookups.reserve(DFI->getUnqualifiedLookups().size());
5838 bool AnyChanged =
false;
5840 NamedDecl *D = SemaRef.FindInstantiatedDecl(
New->getLocation(),
5841 DA.getDecl(), TemplateArgs);
5844 AnyChanged |= (D != DA.getDecl());
5848 New->setDefaultedOrDeletedInfo(
5850 SemaRef.Context, Lookups, DFI->getFPFeatures(),
5851 DFI->getDeletedMessage())
5878 bool DefinitionRequired,
5886 Function->getTemplateSpecializationKindForInstantiation();
5893 !DefinitionRequired)
5898 if (
Function->isDefined(ExistingDefn,
5913 assert(!AlreadyInstantiating &&
"should have been caught by caller");
5918 assert(PatternDecl &&
"instantiating a non-template");
5921 Stmt *Pattern =
nullptr;
5923 Pattern = PatternDef->
getBody(PatternDef);
5924 PatternDecl = PatternDef;
5926 PatternDef =
nullptr;
5930 bool Unreachable =
false;
5935 Function->getInstantiatedFromMemberFunction(), PatternDecl,
5937 DefinitionRequired, &Unreachable)) {
5938 if (DefinitionRequired)
5941 (
Function->isConstexpr() && !Recursive)) {
5945 Function->setInstantiationIsPending(
true);
5948 if (llvm::isTimeTraceVerbose()) {
5949 llvm::timeTraceAddInstantEvent(
"DeferInstantiation", [&] {
5951 llvm::raw_string_ostream
OS(Name);
5960 Diag(PointOfInstantiation, diag::warn_func_template_missing)
5966 diag::note_unreachable_template_decl);
5970 Diag(PointOfInstantiation, diag::note_inst_declaration_hint)
5982 Function->setInstantiationIsPending(
true);
5984 std::make_pair(
Function, PointOfInstantiation));
5988 llvm::TimeTraceScope TimeScope(
"InstantiateFunction", [&]() {
5989 llvm::TimeTraceMetadata M;
5990 llvm::raw_string_ostream
OS(M.Detail);
5993 if (llvm::isTimeTraceVerbose()) {
5996 M.Line =
SourceMgr.getExpansionLineNumber(Loc);
6022 "missing LateParsedTemplate");
6024 Pattern = PatternDecl->
getBody(PatternDecl);
6031 "unexpected kind of function template definition");
6046 for (
auto *D =
Function->getMostRecentDecl(); ;
6048 D->setImplicitlyInline();
6059 "instantiating function definition");
6063 Function->setVisibleDespiteOwningModule();
6089 auto NameLocPointsToPattern = [&] {
6100 return PatternNameLoc;
6110 return PatternNameLoc;
6118 assert(PatternTSI &&
"Pattern is supposed to have an associated TSI");
6126 Function->setDeclarationNameLoc(NameLocPointsToPattern());
6134 ThisContext =
Method->getParent();
6135 ThisTypeQuals =
Method->getMethodQualifiers();
6145 bool MergeWithParentScope =
false;
6147 MergeWithParentScope =
6148 Rec->isLocalClass() && !
Function->isFunctionTemplateSpecialization();
6151 auto RebuildTypeSourceInfoForDefaultSpecialMembers = [&]() {
6157 "Special member needs to be defaulted");
6165 auto *NewRec = dyn_cast<CXXRecordDecl>(
Function->getDeclContext());
6166 const auto *PatternRec =
6168 if (!NewRec || !PatternRec)
6170 if (!PatternRec->isLambda())
6173 struct SpecialMemberTypeInfoRebuilder
6193 getDerived().TransformDecl(TL.
getNameLoc(),
T->getDecl()));
6195 return Base::TransformRecordType(TLB, TL);
6209 } IR{*
this, PatternRec, NewRec};
6212 assert(NewSI &&
"Type Transform failed?");
6214 Function->setTypeSourceInfo(NewSI);
6218 assert(NewParmSI &&
"Type transformation failed.");
6224 RebuildTypeSourceInfoForDefaultSpecialMembers();
6228 std::optional<ArrayRef<TemplateArgument>> Innermost;
6229 if (
auto *Primary =
Function->getPrimaryTemplate();
6232 Function->getTemplateSpecializationKind() !=
6234 auto It = llvm::find_if(Primary->redecls(),
6236 return cast<FunctionTemplateDecl>(RTD)
6237 ->isCompatibleWithDefinition();
6239 assert(It != Primary->redecls().end() &&
6240 "Should't get here without a definition");
6242 ->getTemplatedDecl()
6246 DC = (*It)->getLexicalDeclContext();
6247 Innermost.emplace(
Function->getTemplateSpecializationArgs()->asArray());
6250 Function, DC,
false, Innermost,
false, PatternDecl);
6268 if (addInstantiatedParametersToScope(
Function, PatternDecl,
Scope,
6284 if (
Context.getTargetInfo().getCXXABI().isMicrosoft() &&
6285 Ctor->isDefaultConstructor()) {
6286 if (DLLExportAttr *
Attr = Ctor->getAttr<DLLExportAttr>())
6292 Body =
SubstStmt(Pattern, TemplateArgs);
6303 checkReferenceToTULocalFromOtherTU(
Function, PointOfInstantiation);
6309 Listener->FunctionDefinitionInstantiated(
Function);
6319 bool ShouldSkipCG = [&] {
6320 auto *RD = dyn_cast<CXXRecordDecl>(
Function->getParent());
6321 if (!RD || !RD->isLambda())
6325 return Context.isUnevaluated() ||
Context.isImmediateFunctionContext();
6328 if (!ShouldSkipCG) {
6335 LocalInstantiations.
perform();
6337 GlobalInstantiations.perform();
6362 bool IsMemberSpec =
false;
6364 if (
auto *PartialSpec =
6365 dyn_cast<VarTemplatePartialSpecializationDecl>(FromVar)) {
6366 assert(PartialSpecArgs);
6367 IsMemberSpec = PartialSpec->isMemberSpecialization();
6369 PartialSpec, PartialSpecArgs->
asArray(),
false);
6372 IsMemberSpec =
VarTemplate->isMemberSpecialization();
6392 "don't have a definition to instantiate from");
6421 bool InstantiatingVarTemplate,
6425 bool InstantiatingVarTemplatePartialSpec =
6430 bool InstantiatingSpecFromTemplate =
6456 if (OldVar->
isUsed(
false))
6481 }
else if (PrevDeclForVarTemplateSpecialization) {
6482 Previous.addDecl(PrevDeclForVarTemplateSpecialization);
6486 if (!InstantiatingVarTemplate) {
6504 !InstantiatingSpecFromTemplate)
6511 dyn_cast<VarTemplateSpecializationDecl>(OldVar)) {
6519 Context.setManglingNumber(NewVar,
Context.getManglingNumber(OldVar));
6520 Context.setStaticLocalNumber(NewVar,
Context.getStaticLocalNumber(OldVar));
6523 if (InstantiatingVarTemplate || InstantiatingVarTemplatePartialSpec) {
6528 }
else if (InstantiatingSpecFromTemplate ||
6550 L->VariableDefinitionInstantiated(Var);
6580 if (!
Init.isInvalid()) {
6583 if (Var->
hasAttr<DLLImportAttr>() &&
6586 }
else if (InitExpr) {
6622 bool DefinitionRequired,
bool AtEndOfTU) {
6634 if (AlreadyInstantiating)
6639 assert(PatternDecl &&
"no pattern for templated variable");
6644 dyn_cast<VarTemplateSpecializationDecl>(Var);
6655 (PatternDecl = PatternDecl->
getFirstDecl())->hasInit() &&
6664 "instantiating variable initializer");
6675 Recursive, AtEndOfTU);
6684 PreviousContext.
pop();
6688 LocalInstantiations.
perform();
6690 GlobalInstantiations.
perform();
6694 "not a static data member?");
6703 if (!Def && !DefinitionRequired) {
6710 Diag(PointOfInstantiation, diag::warn_var_template_missing)
6714 Diag(PointOfInstantiation, diag::note_inst_declaration_hint) << Var;
6725 PatternDecl, Def, TSK,
6726 DefinitionRequired))
6743 struct PassToConsumerRAII {
6750 ~PassToConsumerRAII() {
6751 Consumer.HandleCXXStaticMemberVarInstantiation(Var);
6753 } PassToConsumerRAII(
Consumer, Var);
6760 PointOfInstantiation);
6769 "instantiating variable definition");
6791 }
else if (!VarSpec) {
6836 PreviousContext.
pop();
6839 PassToConsumerRAII.Var = Var;
6848 LocalInstantiations.
perform();
6850 GlobalInstantiations.
perform();
6862 for (
const auto *
Init : Tmpl->
inits()) {
6865 if (!
Init->isWritten())
6870 if (
Init->isPackExpansion()) {
6872 TypeLoc BaseTL =
Init->getTypeSourceInfo()->getTypeLoc();
6876 bool ShouldExpand =
false;
6877 bool RetainExpansion =
false;
6881 TemplateArgs,
true, ShouldExpand,
6882 RetainExpansion, NumExpansions)) {
6884 New->setInvalidDecl();
6887 assert(ShouldExpand &&
"Partial instantiation of base initializer?");
6890 for (
unsigned I = 0; I != *NumExpansions; ++I) {
6904 Init->getSourceLocation(),
6905 New->getDeclName());
6913 BaseTInfo, TempInit.
get(),
6921 NewInits.push_back(NewInit.
get());
6936 if (
Init->isDelegatingInitializer() ||
Init->isBaseInitializer()) {
6939 Init->getSourceLocation(),
6940 New->getDeclName());
6943 New->setInvalidDecl();
6947 if (
Init->isBaseInitializer())
6949 New->getParent(), EllipsisLoc);
6953 }
else if (
Init->isMemberInitializer()) {
6955 Init->getMemberLocation(),
6960 New->setInvalidDecl();
6965 Init->getSourceLocation());
6966 }
else if (
Init->isIndirectMemberInitializer()) {
6969 Init->getMemberLocation(),
6970 Init->getIndirectMember(), TemplateArgs));
6972 if (!IndirectMember) {
6974 New->setInvalidDecl();
6979 Init->getSourceLocation());
6984 New->setInvalidDecl();
6986 NewInits.push_back(NewInit.
get());
7005 Instance = Instance->getCanonicalDecl();
7006 if (Pattern == Instance)
return true;
7007 Instance = Instance->getInstantiatedFromMemberTemplate();
7018 Instance = Instance->getCanonicalDecl();
7019 if (Pattern == Instance)
return true;
7020 Instance = Instance->getInstantiatedFromMemberTemplate();
7033 Instance->getCanonicalDecl());
7034 if (Pattern == Instance)
7036 Instance = Instance->getInstantiatedFromMember();
7047 Instance = Instance->getCanonicalDecl();
7048 if (Pattern == Instance)
return true;
7049 Instance = Instance->getInstantiatedFromMemberClass();
7060 Instance = Instance->getCanonicalDecl();
7061 if (Pattern == Instance)
return true;
7062 Instance = Instance->getInstantiatedFromMemberFunction();
7073 Instance = Instance->getCanonicalDecl();
7074 if (Pattern == Instance)
return true;
7075 Instance = Instance->getInstantiatedFromMemberEnum();
7102 bool OtherIsPackExpansion;
7104 if (
auto *OtherUUD = dyn_cast<T>(
Other)) {
7105 OtherIsPackExpansion = OtherUUD->isPackExpansion();
7107 }
else if (
auto *OtherUPD = dyn_cast<UsingPackDecl>(
Other)) {
7108 OtherIsPackExpansion =
true;
7109 OtherFrom = OtherUPD->getInstantiatedFromUsingDecl();
7110 }
else if (
auto *OtherUD = dyn_cast<UsingDecl>(
Other)) {
7111 OtherIsPackExpansion =
false;
7116 return Pattern->isPackExpansion() == OtherIsPackExpansion &&
7122 assert(Instance->isStaticDataMember());
7127 Instance = Instance->getCanonicalDecl();
7128 if (Pattern == Instance)
return true;
7129 Instance = Instance->getInstantiatedFromStaticDataMember();
7138 if (
auto *UUD = dyn_cast<UnresolvedUsingTypenameDecl>(D))
7141 if (
auto *UUD = dyn_cast<UnresolvedUsingValueDecl>(D))
7147 if (
auto *
Record = dyn_cast<CXXRecordDecl>(
Other))
7150 if (
auto *Function = dyn_cast<FunctionDecl>(
Other))
7153 if (
auto *
Enum = dyn_cast<EnumDecl>(
Other))
7156 if (
auto *Var = dyn_cast<VarDecl>(
Other))
7160 if (
auto *Temp = dyn_cast<ClassTemplateDecl>(
Other))
7163 if (
auto *Temp = dyn_cast<FunctionTemplateDecl>(
Other))
7166 if (
auto *PartialSpec =
7167 dyn_cast<ClassTemplatePartialSpecializationDecl>(
Other))
7171 if (
auto *Field = dyn_cast<FieldDecl>(
Other)) {
7172 if (!Field->getDeclName()) {
7179 if (
auto *Using = dyn_cast<UsingDecl>(
Other))
7182 if (
auto *Shadow = dyn_cast<UsingShadowDecl>(
Other))
7189template<
typename ForwardIterator>
7192 ForwardIterator first,
7193 ForwardIterator last) {
7194 for (; first != last; ++first)
7203 if (
NamedDecl *D = dyn_cast<NamedDecl>(DC)) {
7205 return cast_or_null<DeclContext>(ID);
7220 return cast<Decl>(DC)->getTemplateDepth() > Level;
7225 bool FindingInstantiatedContext) {
7263 if (
auto *BD = dyn_cast<BindingDecl>(FD);
7271 "found declaration pack but not pack expanding");
7301 bool NeedInstantiate =
false;
7303 NeedInstantiate = RD->isLocalClass();
7306 NeedInstantiate =
true;
7309 if (NeedInstantiate) {
7320 assert(Inst &&
"Failed to instantiate label??");
7327 if (!
Record->isDependentContext())
7336 dyn_cast<ClassTemplateSpecializationDecl>(
Record))
7337 ClassTemplate = Spec->getSpecializedTemplate()->getCanonicalDecl();
7348 if (
CXXRecordDecl *InstRecord = dyn_cast<CXXRecordDecl>(DC)) {
7352 = dyn_cast<ClassTemplateSpecializationDecl>(InstRecord)){
7372 auto *Guide = dyn_cast<CXXDeductionGuideDecl>(FD);
7373 if (Guide && Guide->isImplicit()) {
7381 Unpacked = Arg.pack_elements();
7394 if (
T.isNull() ||
T->containsErrors())
7404 assert(
SemaRef.RebuildingImmediateInvocation ||
7417 if (FindingInstantiatedContext &&
7420 Diag(Loc, diag::err_specialization_not_primary_template)
7443 if (!ParentDependsOnArgs)
7457 bool IsBeingInstantiated =
false;
7458 if (
auto *Spec = dyn_cast<CXXRecordDecl>(ParentDC)) {
7459 if (!Spec->isDependentContext()) {
7460 if (Spec->isEntityBeingDefined())
7461 IsBeingInstantiated =
true;
7463 diag::err_incomplete_type))
7466 ParentDC = Spec->getDefinitionOrSelf();
7505 }
else if (IsBeingInstantiated) {
7511 Diag(Loc, diag::err_member_not_yet_instantiated)
7524 Diag(Loc, diag::err_enumerator_does_not_exist)
7528 <<
Context.getCanonicalTagType(Spec);
7531 llvm_unreachable(
"Unable to find instantiation of declaration!");
7542 std::deque<PendingImplicitInstantiation> DelayedImplicitInstantiations;
7547 bool LocalInstantiation =
false;
7554 LocalInstantiation =
true;
7559 bool DefinitionRequired =
Function->getTemplateSpecializationKind() ==
7564 [
this, Inst, DefinitionRequired, AtEndOfTU](
FunctionDecl *CurFD) {
7566 DefinitionRequired, AtEndOfTU);
7572 DefinitionRequired, AtEndOfTU);
7574 Function->setInstantiationIsPending(
false);
7577 if (!LocalOnly &&
LangOpts.PCHInstantiateTemplates &&
7579 DelayedImplicitInstantiations.push_back(Inst);
7580 else if (!AtEndOfTU &&
Function->instantiationIsPending() &&
7581 !LocalInstantiation)
7582 DelayedImplicitInstantiations.push_back(Inst);
7591 "Not a static data member, nor a variable template"
7592 " specialization?");
7604 llvm_unreachable(
"Cannot instantitiate an undeclared specialization.");
7619 "instantiating variable definition");
7626 DefinitionRequired, AtEndOfTU);
7629 if (!DelayedImplicitInstantiations.empty())
7635 for (
auto *DD : Pattern->
ddiags()) {
7636 switch (DD->getKind()) {
Defines the clang::ASTContext interface.
Defines the C++ template declaration subclasses.
Defines the clang::Expr interface and subclasses for C++ expressions.
Result
Implement __builtin_bit_cast and related operations.
llvm::MachO::Record Record
@ ForExternalRedeclaration
The lookup results will be used for redeclaration of a name with external linkage; non-visible lookup...
@ ForVisibleRedeclaration
The lookup results will be used for redeclaration of a name, if an entity by that name already exists...
llvm::SmallVector< std::pair< const MemRegion *, SVal >, 4 > Bindings
static std::string toString(const clang::SanitizerSet &Sanitizers)
Produce a string containing comma-separated names of sanitizers in Sanitizers set.
This file declares semantic analysis functions specific to AMDGPU.
static bool hasAttr(const Decl *D, bool IgnoreImplicitAttr)
This file declares semantic analysis for CUDA constructs.
static const NamedDecl * getDefinition(const Decl *D)
This file declares semantic analysis for HLSL constructs.
This file declares semantic analysis for Objective-C.
This file declares semantic analysis for OpenMP constructs and clauses.
This file declares semantic analysis functions specific to Swift.
static void instantiateDependentAMDGPUWavesPerEUAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AMDGPUWavesPerEUAttr &Attr, Decl *New)
static NamedDecl * findInstantiationOf(ASTContext &Ctx, NamedDecl *D, ForwardIterator first, ForwardIterator last)
static void instantiateDependentAMDGPUMaxNumWorkGroupsAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AMDGPUMaxNumWorkGroupsAttr &Attr, Decl *New)
static void instantiateDependentAMDGPUFlatWorkGroupSizeAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AMDGPUFlatWorkGroupSizeAttr &Attr, Decl *New)
static void instantiateDependentCUDAClusterDimsAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const CUDAClusterDimsAttr &Attr, Decl *New)
static void sharedInstantiateConstructorDestructorAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const Attr *A, Decl *New, ASTContext &C)
static void instantiateDependentDiagnoseIfAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const DiagnoseIfAttr *DIA, const Decl *Tmpl, FunctionDecl *New)
static QualType adjustFunctionTypeForInstantiation(ASTContext &Context, FunctionDecl *D, TypeSourceInfo *TInfo)
Adjust the given function type for an instantiation of the given declaration, to cope with modificati...
static std::optional< SubstitutedFriend > SubstFriendTemplateType(Sema &SemaRef, TypeSourceInfo *TSI, TemplateName FriendTemplate, const MultiLevelTemplateArgumentList &TemplateArgs, SourceLocation Loc, DeclarationName Entity)
static bool isRelevantAttr(Sema &S, const Decl *D, const Attr *A)
Determine whether the attribute A might be relevant to the declaration D.
static std::optional< TemplateName > LookupFriendTemplateName(Sema &SemaRef, NestedNameSpecifierLoc QualifierLoc, DeclarationName Name, SourceLocation NameLoc, bool HasTemplateKeyword, bool RequireClassTemplate)
static void instantiateDependentReqdWorkGroupSizeAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const ReqdWorkGroupSizeAttr &Attr, Decl *New)
#define CLAUSE_NOT_ON_DECLS(CLAUSE_NAME)
static void instantiateDependentMallocSpanAttr(Sema &S, const MallocSpanAttr *Attr, Decl *New)
static bool isDependentContextAtLevel(DeclContext *DC, unsigned Level)
Determine whether the given context is dependent on template parameters at level Level or below.
static void instantiateDependentModeAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const ModeAttr &Attr, Decl *New)
static void instantiateDependentCUDALaunchBoundsAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const CUDALaunchBoundsAttr &Attr, Decl *New)
static bool isDeclWithinFunction(const Decl *D)
static void instantiateDependentAssumeAlignedAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AssumeAlignedAttr *Aligned, Decl *New)
static bool SubstQualifier(Sema &SemaRef, const DeclT *OldDecl, DeclT *NewDecl, const MultiLevelTemplateArgumentList &TemplateArgs)
static void collectUnexpandedParameterPacks(Sema &S, TemplateParameterList *Params, SmallVectorImpl< UnexpandedParameterPack > &Unexpanded)
static void instantiateDependentHLSLParamModifierAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const HLSLParamModifierAttr *Attr, const Decl *Old, Decl *New)
static DeclT * getPreviousDeclForInstantiation(DeclT *D)
Get the previous declaration of a declaration for the purposes of template instantiation.
static Expr * instantiateDependentFunctionAttrCondition(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const Attr *A, Expr *OldCond, const Decl *Tmpl, FunctionDecl *New)
static bool isInstantiationOf(ClassTemplateDecl *Pattern, ClassTemplateDecl *Instance)
static void instantiateDependentAllocAlignAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AllocAlignAttr *Align, Decl *New)
static bool isInstantiationOfStaticDataMember(VarDecl *Pattern, VarDecl *Instance)
static void instantiateOMPDeclareSimdDeclAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const OMPDeclareSimdDeclAttr &Attr, Decl *New)
Instantiation of 'declare simd' attribute and its arguments.
static void instantiateDependentSYCLKernelAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const SYCLKernelAttr &Attr, Decl *New)
static void instantiateDependentAlignValueAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AlignValueAttr *Aligned, Decl *New)
static void instantiateDependentAlignedAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AlignedAttr *Aligned, Decl *New, bool IsPackExpansion)
static void instantiateOMPDeclareVariantAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const OMPDeclareVariantAttr &Attr, Decl *New)
Instantiation of 'declare variant' attribute and its arguments.
static void instantiateDependentEnableIfAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const EnableIfAttr *EIA, const Decl *Tmpl, FunctionDecl *New)
static void instantiateDependentAnnotationAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const AnnotateAttr *Attr, Decl *New)
static Sema::RetainOwnershipKind attrToRetainOwnershipKind(const Attr *A)
static void instantiateDependentOpenACCRoutineDeclAttr(Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs, const OpenACCRoutineDeclAttr *OldAttr, const Decl *Old, Decl *New)
static bool isInstantiationOfUnresolvedUsingDecl(T *Pattern, Decl *Other, ASTContext &Ctx)
static bool isInvalid(LocType Loc, bool *Invalid)
Defines the SourceManager interface.
Defines the clang::TypeLoc interface and its subclasses.
bool anyScoreOrCondition(llvm::function_ref< bool(Expr *&, bool)> Cond)
ASTConsumer - This is an abstract interface that should be implemented by clients that read ASTs.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
void setInstantiatedFromUsingDecl(NamedDecl *Inst, NamedDecl *Pattern)
Remember that the using decl Inst is an instantiation of the using decl Pattern of a class template.
QualType mergeFunctionTypes(QualType, QualType, bool OfBlockPointer=false, bool Unqualified=false, bool AllowCXX=false, bool IsConditionalOperator=false)
NamedDecl * getInstantiatedFromUsingDecl(NamedDecl *Inst)
If the given using decl Inst is an instantiation of another (possibly unresolved) using decl,...
DeclarationNameTable DeclarationNames
TemplateName getDependentTemplateName(const DependentTemplateStorage &Name) const
Retrieve the template name that represents a dependent template name such as MetaFun::template operat...
void forEachMultiversionedFunctionVersion(const FunctionDecl *FD, llvm::function_ref< void(FunctionDecl *)> Pred) const
Visits all versions of a multiversioned function with the passed predicate.
OMPTraitInfo & getNewOMPTraitInfo()
Return a new OMPTraitInfo object owned by this context.
TypeSourceInfo * getTrivialTypeSourceInfo(QualType T, SourceLocation Loc=SourceLocation()) const
Allocate a TypeSourceInfo where all locations have been initialized to a given location,...
TemplateName getQualifiedTemplateName(NestedNameSpecifier Qualifier, bool TemplateKeyword, TemplateName Template) const
Retrieve the template name that represents a qualified template name such as std::vector.
FieldDecl * getInstantiatedFromUnnamedFieldDecl(FieldDecl *Field) const
CanQualType UnsignedLongLongTy
static bool hasSameType(QualType T1, QualType T2)
Determine whether the given types T1 and T2 are equivalent.
CanQualType getCanonicalTagType(const TagDecl *TD) const
An abstract interface that should be implemented by listeners that want to be notified when an AST en...
Represents an access specifier followed by colon ':'.
static AccessSpecDecl * Create(ASTContext &C, AccessSpecifier AS, DeclContext *DC, SourceLocation ASLoc, SourceLocation ColonLoc)
SourceLocation getColonLoc() const
The location of the colon following the access specifier.
SourceLocation getAccessSpecifierLoc() const
The location of the access specifier.
Attr - This represents one attribute.
attr::Kind getKind() const
Attr * clone(ASTContext &C) const
SourceLocation getLocation() const
SourceRange getRange() const
SourceLocation getLoc() const
Represents a C++ declaration that introduces decls from somewhere else.
shadow_range shadows() const
A binding in a decomposition declaration.
static BindingDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation IdLoc, IdentifierInfo *Id, QualType T)
ArrayRef< BindingDecl * > getBindingPackDecls() const
Represents the builtin template declaration which is used to implement __make_integer_seq and other b...
Represents a C++ constructor within a class.
static CXXConstructorDecl * Create(ASTContext &C, CXXRecordDecl *RD, SourceLocation StartLoc, const DeclarationNameInfo &NameInfo, QualType T, TypeSourceInfo *TInfo, ExplicitSpecifier ES, bool UsesFPIntrin, bool isInline, bool isImplicitlyDeclared, ConstexprSpecKind ConstexprKind, InheritedConstructor Inherited=InheritedConstructor(), const AssociatedConstraint &TrailingRequiresClause={})
Represents a C++ conversion function within a class.
static CXXConversionDecl * Create(ASTContext &C, CXXRecordDecl *RD, SourceLocation StartLoc, const DeclarationNameInfo &NameInfo, QualType T, TypeSourceInfo *TInfo, bool UsesFPIntrin, bool isInline, ExplicitSpecifier ES, ConstexprSpecKind ConstexprKind, SourceLocation EndLocation, const AssociatedConstraint &TrailingRequiresClause={})
Represents a C++ deduction guide declaration.
static CXXDeductionGuideDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, ExplicitSpecifier ES, const DeclarationNameInfo &NameInfo, QualType T, TypeSourceInfo *TInfo, SourceLocation EndLocation, CXXConstructorDecl *Ctor=nullptr, DeductionCandidate Kind=DeductionCandidate::Normal, const AssociatedConstraint &TrailingRequiresClause={}, const CXXDeductionGuideDecl *SourceDG=nullptr, SourceDeductionGuideKind SK=SourceDeductionGuideKind::None)
Represents a C++ destructor within a class.
static CXXDestructorDecl * Create(ASTContext &C, CXXRecordDecl *RD, SourceLocation StartLoc, const DeclarationNameInfo &NameInfo, QualType T, TypeSourceInfo *TInfo, bool UsesFPIntrin, bool isInline, bool isImplicitlyDeclared, ConstexprSpecKind ConstexprKind, const AssociatedConstraint &TrailingRequiresClause={})
Represents a C++26 expansion statement declaration.
CXXExpansionStmtPattern * getExpansionPattern()
CXXExpansionStmtInstantiation * getInstantiations()
void setInstantiations(CXXExpansionStmtInstantiation *S)
NonTypeTemplateParmDecl * getIndexTemplateParm()
void setExpansionPattern(CXXExpansionStmtPattern *S)
Represents a static or instance method of a struct/union/class.
static CXXMethodDecl * Create(ASTContext &C, CXXRecordDecl *RD, SourceLocation StartLoc, const DeclarationNameInfo &NameInfo, QualType T, TypeSourceInfo *TInfo, StorageClass SC, bool UsesFPIntrin, bool isInline, ConstexprSpecKind ConstexprKind, SourceLocation EndLocation, const AssociatedConstraint &TrailingRequiresClause={})
Represents a C++ struct/union/class.
static CXXRecordDecl * Create(const ASTContext &C, TagKind TK, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, IdentifierInfo *Id, CXXRecordDecl *PrevDecl=nullptr)
bool isGenericLambda() const
Determine whether this class describes a generic lambda function object (i.e.
unsigned getLambdaDependencyKind() const
const FunctionDecl * isLocalClass() const
If the class is a local class [class.local], returns the enclosing function declaration.
bool isLambda() const
Determine whether this class describes a lambda function object.
CXXRecordDecl * getDefinition() const
static CXXRecordDecl * CreateLambda(const ASTContext &C, DeclContext *DC, TypeSourceInfo *Info, SourceLocation Loc, unsigned DependencyKind, bool IsGeneric, LambdaCaptureDefault CaptureDefault)
TemplateSpecializationKind getTemplateSpecializationKind() const
Determine whether this particular class is a specialization or instantiation of a class template or m...
TypeSourceInfo * getLambdaTypeInfo() const
void setInstantiationOfMemberClass(CXXRecordDecl *RD, TemplateSpecializationKind TSK)
Specify that this record is an instantiation of the member class RD.
bool isInjectedClassName() const
Determines whether this declaration represents the injected class name.
LambdaCaptureDefault getLambdaCaptureDefault() const
void setDescribedClassTemplate(ClassTemplateDecl *Template)
CXXRecordDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
Represents a C++ nested-name-specifier or a global scope specifier.
void Adopt(NestedNameSpecifierLoc Other)
Adopt an existing nested-name-specifier (with source-range information).
Declaration of a class template.
ClassTemplatePartialSpecializationDecl * findPartialSpecialization(ArrayRef< TemplateArgument > Args, TemplateParameterList *TPL, llvm::FoldingSetInsertToken &InsertToken)
Return the partial specialization with the provided arguments if it exists, otherwise return the inse...
ClassTemplateDecl * getMostRecentDecl()
CXXRecordDecl * getTemplatedDecl() const
Get the underlying class declarations of the template.
llvm::FoldingSetVector< ClassTemplatePartialSpecializationDecl > & getPartialSpecializations() const
Retrieve the set of partial specializations of this class template.
static ClassTemplateDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, NamedDecl *Decl)
Create a class template node.
ClassTemplateSpecializationDecl * findSpecialization(ArrayRef< TemplateArgument > Args, llvm::FoldingSetInsertToken &InsertToken)
Return the specialization with the provided arguments if it exists, otherwise return the insertion po...
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 AddSpecialization(ClassTemplateSpecializationDecl *D, llvm::FoldingSetInsertToken InsertToken)
Insert the specified specialization knowing that it is not already in.
void setCommonPtr(Common *C)
void AddPartialSpecialization(ClassTemplatePartialSpecializationDecl *D, llvm::FoldingSetInsertToken InsertToken)
Insert the specified partial specialization knowing that it is not already in.
Common * getCommonPtr() const
void setInstantiatedFromMember(ClassTemplatePartialSpecializationDecl *PartialSpec)
static ClassTemplatePartialSpecializationDecl * Create(ASTContext &Context, TagKind TK, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, TemplateParameterList *Params, ClassTemplateDecl *SpecializedTemplate, ArrayRef< TemplateArgument > Args, CanQualType CanonInjectedTST, ClassTemplatePartialSpecializationDecl *PrevDecl)
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 * Create(ASTContext &Context, TagKind TK, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, ClassTemplateDecl *SpecializedTemplate, ArrayRef< TemplateArgument > Args, bool StrictPackMatch, ClassTemplateSpecializationDecl *PrevDecl)
SourceLocation getPointOfInstantiation() const
Get the point of instantiation (if any), or null if none.
void setExternKeywordLoc(SourceLocation Loc)
Sets the location of the extern keyword.
void setSpecializationKind(TemplateSpecializationKind TSK)
SourceLocation getExternKeywordLoc() const
Gets the location of the extern keyword, if present.
SourceLocation getTemplateKeywordLoc() const
Gets the location of the template keyword, if present.
void setTemplateKeywordLoc(SourceLocation Loc)
Sets the location of the template keyword.
void setTemplateArgsAsWritten(const ASTTemplateArgumentListInfo *ArgsWritten)
Set the template argument list as written in the sources.
Declaration of a C++20 concept.
const TypeClass * getTypePtr() const
Represents a shadow constructor declaration introduced into a class by a C++11 using-declaration that...
A POD class for pairing a NamedDecl* with an access specifier.
static DeclAccessPair make(NamedDecl *D, AccessSpecifier AS)
DeclContext - This is used only as base class of specific decl types that can act as declaration cont...
DeclContext * getParent()
getParent - Returns the containing DeclContext.
bool Equals(const DeclContext *DC) const
Determine whether this declaration context is equivalent to the declaration context DC.
bool isFileContext() const
void makeDeclVisibleInContext(NamedDecl *D)
Makes a declaration visible within this context.
DeclContextLookupResult lookup_result
bool isDependentContext() const
Determines whether this context is dependent on a template parameter.
lookup_result lookup(DeclarationName Name) const
lookup - Find the declarations (if any) with the given Name in this context.
DeclContext * getRedeclContext()
getRedeclContext - Retrieve the context in which an entity conflicts with other entities of the same ...
void addDecl(Decl *D)
Add the declaration D into this context.
decl_iterator decls_end() const
ddiag_range ddiags() const
decl_range decls() const
decls_begin/decls_end - Iterate over the declarations stored in this context.
bool isFunctionOrMethod() const
void addHiddenDecl(Decl *D)
Add the declaration D to this context without modifying any lookup tables.
decl_iterator decls_begin() const
static DeclRefExpr * Create(const ASTContext &Context, NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc, ValueDecl *D, bool RefersToEnclosingVariableOrCapture, SourceLocation NameLoc, QualType T, ExprValueKind VK, NamedDecl *FoundD=nullptr, const TemplateArgumentListInfo *TemplateArgs=nullptr, NonOdrUseReason NOUR=NOUR_None)
Decl - This represents one declaration (or definition), e.g.
Decl * getPreviousDecl()
Retrieve the previous declaration that declares the same entity as this declaration,...
SourceLocation getEndLoc() const LLVM_READONLY
FriendObjectKind getFriendObjectKind() const
Determines whether this declaration is the object of a friend declaration and, if so,...
bool isImplicit() const
isImplicit - Indicates whether the declaration was implicitly generated by the implementation.
void setLocalExternDecl()
Changes the namespace of this declaration to reflect that it's a function-local extern declaration.
virtual bool isOutOfLine() const
Determine whether this declaration is declared out of line (outside its semantic context).
void setInvalidDecl(bool Invalid=true)
setInvalidDecl - Indicates the Decl had a semantic error.
bool isInIdentifierNamespace(unsigned NS) const
@ FOK_None
Not a friend object.
bool isReferenced() const
Whether any declaration of this entity was referenced.
unsigned getTemplateDepth() const
Determine the number of levels of template parameter surrounding this declaration.
void setObjectOfFriendDecl(bool PerformFriendInjection=false)
Changes the namespace of this declaration to reflect that it's the object of a friend declaration.
bool isFromASTFile() const
Determine whether this declaration came from an AST file (such as a precompiled header or module) rat...
bool isInLocalScopeForInstantiation() const
Determine whether a substitution into this declaration would occur as part of a substitution into a d...
DeclContext * getNonTransparentDeclContext()
Return the non transparent context.
bool isInvalidDecl() const
bool isLocalExternDecl() const
Determine whether this is a block-scope declaration with linkage.
llvm::iterator_range< specific_attr_iterator< T > > specific_attrs() const
void setAccess(AccessSpecifier AS)
SourceLocation getLocation() const
@ IDNS_Ordinary
Ordinary names.
void setImplicit(bool I=true)
void setReferenced(bool R=true)
void setIsUsed()
Set whether the declaration is used, in the sense of odr-use.
bool isUsed(bool CheckUsedAttr=true) const
Whether any (re-)declaration of the entity was used, meaning that a definition is required.
DeclContext * getDeclContext()
AccessSpecifier getAccess() const
SourceLocation getBeginLoc() const LLVM_READONLY
DeclContext * getLexicalDeclContext()
getLexicalDeclContext - The declaration context where this Decl was lexically declared (LexicalDC).
void setNonMemberOperator()
Specifies that this declaration is a C++ overloaded non-member.
void setLexicalDeclContext(DeclContext *DC)
void setVisibleDespiteOwningModule()
Set that this declaration is globally visible, even if it came from a module that is not visible.
DeclarationNameLoc - Additional source/type location info for a declaration name.
static DeclarationNameLoc makeNamedTypeLoc(TypeSourceInfo *TInfo)
Construct location information for a constructor, destructor or conversion operator.
The name of a declaration.
@ CXXConversionFunctionName
NameKind getNameKind() const
Determine what kind of name this is.
Represents a ValueDecl that came out of a declarator.
SourceLocation getInnerLocStart() const
Return start of source range ignoring outer template declarations.
SourceLocation getTypeSpecStartLoc() const
SourceLocation getBeginLoc() const LLVM_READONLY
const AssociatedConstraint & getTrailingRequiresClause() const
Get the constraint-expression introduced by the trailing requires-clause in the function/member decla...
void setTypeSourceInfo(TypeSourceInfo *TI)
ArrayRef< TemplateParameterList * > getTemplateParameterLists() const
NestedNameSpecifierLoc getQualifierLoc() const
Retrieve the nested-name-specifier (with source-location information) that qualifies the name of this...
NestedNameSpecifier getQualifier() const
Retrieve the nested-name-specifier that qualifies the name of this declaration, if it was present in ...
TypeSourceInfo * getTypeSourceInfo() const
A decomposition declaration.
ArrayRef< BindingDecl * > bindings() const
static DecompositionDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation LSquareLoc, SourceLocation RSquareLoc, QualType T, TypeSourceInfo *TInfo, StorageClass S, ArrayRef< BindingDecl * > Bindings)
Provides information about a dependent function-template specialization declaration.
RAII object that enters a new function expression evaluation context.
RAII object that enters a new expression evaluation context.
An instance of this object exists for each enum constant that is defined.
enumerator_range enumerators() const
bool isScoped() const
Returns true if this is a C++11 scoped enumeration.
bool isScopedUsingClassTag() const
Returns true if this is a C++11 scoped enumeration.
static EnumDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, IdentifierInfo *Id, EnumDecl *PrevDecl, bool IsScoped, bool IsScopedUsingClassTag, bool IsFixed)
TypeSourceInfo * getIntegerTypeSourceInfo() const
Return the type source info for the underlying integer type, if no type source info exists,...
bool isFixed() const
Returns true if this is an Objective-C, C++11, or Microsoft-style enumeration with a fixed underlying...
EnumDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
QualType getIntegerType() const
Return the integer type this enum decl corresponds to.
EnumDecl * getDefinition() const
TemplateSpecializationKind getTemplateSpecializationKind() const
If this enumeration is a member of a specialization of a templated class, determine what kind of temp...
Represents an explicit instantiation of a template entity in source code.
Store information needed for an explicit specifier.
ExplicitSpecKind getKind() const
bool isInvalid() const
Determine if the explicit specifier is invalid.
static ExplicitSpecifier Invalid()
const Expr * getExpr() const
static ExplicitSpecifier getFromDecl(const FunctionDecl *Function)
This represents one expression.
static bool isPotentialConstantExprUnevaluated(Expr *E, const FunctionDecl *FD, SmallVectorImpl< PartialDiagnosticAt > &Diags)
isPotentialConstantExprUnevaluated - Return true if this expression might be usable in a constant exp...
bool isValueDependent() const
Determines whether the value of this expression depends on.
bool isTypeDependent() const
Determines whether the type of this expression depends on.
bool isConstantInitializer(ASTContext &Ctx, bool ForRef=false, const Expr **Culprit=nullptr) const
Returns true if this expression can be emitted to IR as a constant, and thus can be used as a constan...
std::optional< llvm::APSInt > getIntegerConstantExpr(const ASTContext &Ctx, bool AllowRelaxedEval=false) const
isIntegerConstantExpr - Return the value if this expression is a valid integer constant expression.
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
Declaration context for names declared as extern "C" in C++.
Abstract interface for external sources of AST nodes.
Represents difference between two FPOptions values.
Represents a member of a struct/union/class.
bool isMutable() const
Determines whether this field is mutable (C++ only).
InClassInitStyle getInClassInitStyle() const
Get the kind of (C++11) default member initializer that this field has.
Expr * getBitWidth() const
Returns the expression that represents the bit width, if this field is a bit field.
FriendDecl - Represents the declaration of a friend entity, which can be a function,...
llvm::PointerUnion< NamedDecl *, TypeSourceInfo * > FriendUnion
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
SourceLocation getFriendLoc() const
SourceLocation getEllipsisLoc() const
Retrieves the location of the '...', if present.
virtual NamedDecl * getFriendDecl() const
If this friend declaration doesn't name a type, return the inner declaration.
TypeSourceInfo * getFriendType() const
If this friend declaration names an (untemplated but possibly dependent) type, return the type; other...
bool isPackExpansion() const
static FriendDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation L, FriendUnion Friend, SourceLocation FriendL, SourceLocation EllipsisLoc={})
Declaration of a friend template.
static FriendTemplateDecl * Create(ASTContext &Context, DeclContext *DC, SourceLocation Loc, FriendUnion Friend, SourceLocation FriendLoc, ArrayRef< TemplateParameterList * > FriendTPLists, SourceLocation EllipsisLoc={}, TemplateName Template={})
NamedDecl * getFriendDecl() const override
If this friend declaration doesn't name a type, return the inner declaration.
TemplateName getFriendTemplateName() const
ArrayRef< TemplateParameterList * > getTemplateParameterLists() const
CXXSpecialMemberKind asSpecialMember() const
static DefaultedOrDeletedFunctionInfo * Create(ASTContext &Context, ArrayRef< DeclAccessPair > Lookups, FPOptionsOverride FPFeatures, StringLiteral *DeletedMessage=nullptr)
Represents a function declaration or definition.
void setInstantiationIsPending(bool IC)
State that the instantiation of this function is pending.
static FunctionDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation NLoc, DeclarationName N, QualType T, TypeSourceInfo *TInfo, StorageClass SC, bool UsesFPIntrin=false, bool isInlineSpecified=false, bool hasWrittenPrototype=true, ConstexprSpecKind ConstexprKind=ConstexprSpecKind::Unspecified, const AssociatedConstraint &TrailingRequiresClause={})
const ParmVarDecl * getParamDecl(unsigned i) const
Stmt * getBody(const FunctionDecl *&Definition) const
Retrieve the body (definition) of the function.
ConstexprSpecKind getConstexprKind() const
DefaultedOrDeletedFunctionInfo * getDefaultedOrDeletedInfo() const
FunctionTemplateDecl * getDescribedFunctionTemplate() const
Retrieves the function template that is described by this function declaration.
bool isThisDeclarationADefinition() const
Returns whether this specific declaration of the function is also a definition that does not contain ...
bool isDestroyingOperatorDelete() const
Determine whether this is a destroying operator delete.
StringLiteral * getDeletedMessage() const
Get the message that indicates why this function was deleted.
bool isInlined() const
Determine whether this function should be inlined, because it is either marked "inline" or "constexpr...
bool UsesFPIntrin() const
Determine whether the function was declared in source context that requires constrained FP intrinsics...
QualType getReturnType() const
ArrayRef< ParmVarDecl * > parameters() const
FunctionDecl * getTemplateInstantiationPattern(bool ForDefinition=true) const
Retrieve the function declaration from which this function could be instantiated, if it is an instant...
bool isExplicitlyDefaulted() const
Whether this function is explicitly defaulted.
bool hasWrittenPrototype() const
Whether this function has a written prototype.
FunctionDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
DependentFunctionTemplateSpecializationInfo * getDependentSpecializationInfo() const
bool isDeleted() const
Whether this function has been deleted.
StorageClass getStorageClass() const
Returns the storage class as written in the source.
bool isOutOfLine() const override
Determine whether this is or was instantiated from an out-of-line definition of a member function.
bool FriendConstraintRefersToEnclosingTemplate() const
bool isDeletedAsWritten() const
bool isPureVirtual() const
Whether this virtual function is pure, i.e.
bool isLateTemplateParsed() const
Whether this templated function will be late parsed.
bool hasSkippedBody() const
True if the function was a definition but its body was skipped.
FunctionDecl * getDefinition()
Get the definition for this declaration.
bool isTypeAwareOperatorNewOrDelete() const
Determine whether this is a type aware operator new or delete.
bool isThisDeclarationInstantiatedFromAFriendDefinition() const
Determine whether this specific declaration of the function is a friend declaration that was instanti...
bool isDefaulted() const
Whether this function is defaulted.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
DefaultedFunctionKind getDefaultedFunctionKind() const
Determine the kind of defaulting that would be done for a given function.
bool isVirtualAsWritten() const
Whether this function is marked as virtual explicitly.
unsigned getNumParams() const
Return the number of parameters this function must have based on its FunctionType.
DeclarationNameInfo getNameInfo() const
bool hasBody(const FunctionDecl *&Definition) const
Returns true if the function has a body.
bool isDefined(const FunctionDecl *&Definition, bool CheckForPendingFriendDefinition=false) const
Returns true if the function has a definition that does not need to be instantiated.
FunctionDecl * getPreviousDecl()
Return the previous declaration of this declaration or NULL if this is the first declaration.
bool isInlineSpecified() const
Determine whether the "inline" keyword was specified for this function.
bool willHaveBody() const
True if this function will eventually have a body, once it's fully parsed.
const ASTTemplateArgumentListInfo * getTemplateSpecializationArgsAsWritten() const
Retrieve the template argument list as written in the sources, if any.
Represents a prototype with parameter type info, e.g.
ExceptionSpecificationType getExceptionSpecType() const
Get the kind of exception specification on this function.
QualType getParamType(unsigned i) const
bool hasExceptionSpec() const
Return whether this function has any kind of exception spec.
ExtProtoInfo getExtProtoInfo() const
FunctionDecl * getExceptionSpecTemplate() const
If this function type has an uninstantiated exception specification, this is the function whose excep...
ArrayRef< QualType > getParamTypes() const
Declaration of a template function.
FunctionTemplateDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
FunctionDecl * getTemplatedDecl() const
Get the underlying function declaration of the template.
FunctionTemplateDecl * getInstantiatedFromMemberTemplate() const
void setInstantiatedFromMemberTemplate(FunctionTemplateDecl *D)
static FunctionTemplateDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, NamedDecl *Decl)
Create a function template node.
ParmVarDecl * getParam(unsigned i) const
void setParam(unsigned i, ParmVarDecl *VD)
ExtInfo getExtInfo() const
bool getNoReturnAttr() const
Determine whether this function type includes the GNU noreturn attribute.
QualType getReturnType() const
HLSLBufferDecl - Represent a cbuffer or tbuffer declaration.
One of these records is kept for each identifier that is lexed.
bool isStr(const char(&Str)[StrLen]) const
Return true if this is the identifier for the specified string.
Represents a field injected from an anonymous union/struct into the parent scope.
unsigned getChainingSize() const
static IndirectFieldDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation L, const IdentifierInfo *Id, QualType T, MutableArrayRef< NamedDecl * > CH)
ArrayRef< NamedDecl * > chain() const
Description of a constructor that was inherited from a base class.
const TypeClass * getTypePtr() const
static IntegerLiteral * Create(const ASTContext &C, const llvm::APInt &V, QualType type, SourceLocation l)
Returns a new integer literal with value 'V' and type 'type'.
An lvalue reference type, per C++11 [dcl.ref].
Represents the declaration of a label.
static LabelDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation IdentL, IdentifierInfo *II)
A stack-allocated class that identifies which local variable declaration instantiations are present i...
SmallVector< ValueDecl *, 4 > DeclArgumentPack
A set of declarations.
void InstantiatedLocal(const Decl *D, Decl *Inst)
void InstantiatedLocalPackArg(const Decl *D, VarDecl *Inst)
void MakeInstantiatedLocalArgPack(const Decl *D)
Represents the results of name lookup.
An instance of this class represents the declaration of a property member.
static MSPropertyDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation L, DeclarationName N, QualType T, TypeSourceInfo *TInfo, SourceLocation StartL, IdentifierInfo *Getter, IdentifierInfo *Setter)
IdentifierInfo * getGetterId() const
IdentifierInfo * getSetterId() const
Provides information a specialization of a member of a class template, which may be a member function...
Data structure that captures multiple levels of template argument lists for use in template instantia...
const ArgList & getInnermost() const
Retrieve the innermost template argument list.
void addOuterTemplateArguments(Decl *AssociatedDecl, ArgList Args, bool Final)
Add a new outmost level to the multi-level template argument list.
void setKind(TemplateSubstitutionKind K)
void addOuterRetainedLevels(unsigned Num)
unsigned getNumRetainedOuterLevels() const
This represents a decl that may have a name.
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
bool hasLinkage() const
Determine whether this declaration has linkage.
bool isCXXClassMember() const
Determine whether this declaration is a C++ class member.
Represents a C++ namespace alias.
NestedNameSpecifierLoc getQualifierLoc() const
Retrieve the nested-name-specifier that qualifies the name of the namespace, with source-location inf...
SourceLocation getAliasLoc() const
Returns the location of the alias name, i.e.
static NamespaceAliasDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation NamespaceLoc, SourceLocation AliasLoc, IdentifierInfo *Alias, NestedNameSpecifierLoc QualifierLoc, SourceLocation IdentLoc, NamespaceBaseDecl *Namespace)
SourceLocation getNamespaceLoc() const
Returns the location of the namespace keyword.
SourceLocation getTargetNameLoc() const
Returns the location of the identifier in the named namespace.
NamespaceDecl * getNamespace()
Retrieve the namespace declaration aliased by this directive.
Represent a C++ namespace.
A C++ nested-name-specifier augmented with source location information.
NestedNameSpecifier getNestedNameSpecifier() const
Retrieve the nested-name-specifier to which this instance refers.
SourceRange getSourceRange() const LLVM_READONLY
Retrieve the source range covering the entirety of this nested-name-specifier.
bool hasQualifier() const
Evaluates true when this nested-name-specifier location is non-empty.
bool isDependent() const
Whether this nested name specifier refers to a dependent type or not.
NonTypeTemplateParmDecl - Declares a non-type template parameter, e.g., "Size" in.
bool isPackExpansion() const
Whether this parameter pack is a pack expansion.
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.
unsigned getPosition() const
Get the position of the template parameter within its parameter list.
bool defaultArgumentWasInherited() const
Determines whether the default argument was inherited from a previous declaration of this template.
TypeSourceInfo * getExpansionTypeSourceInfo(unsigned I) const
Retrieve a particular expansion type source info within an expanded parameter pack.
unsigned getNumExpansionTypes() const
Retrieves the number of expansion types in an expanded parameter pack.
const TemplateArgumentLoc & getDefaultArgument() const
Retrieve the default argument, if any.
bool isExpandedParameterPack() const
Whether this parameter is a non-type template parameter pack that has a known list of different types...
bool isParameterPack() const
Whether this parameter is a non-type template parameter pack.
unsigned getDepth() const
Get the nesting depth of the template parameter.
Expr * getPlaceholderTypeConstraint() const
Return the constraint introduced by the placeholder type of this non-type template parameter (if any)...
void setDefaultArgument(const ASTContext &C, const TemplateArgumentLoc &DefArg)
Set the default argument for this template parameter, and whether that default argument was inherited...
This represents 'pragma omp allocate ...' directive.
clauselist_range clauselists()
Pseudo declaration for capturing expressions.
This represents 'pragma omp declare mapper ...' directive.
OMPDeclareMapperDecl * getPrevDeclInScope()
Get reference to previous declare mapper construct in the same scope with the same name.
clauselist_iterator clauselist_begin()
clauselist_range clauselists()
DeclarationName getVarName()
Get the name of the variable declared in the mapper.
Expr * getMapperVarRef()
Get the variable declared in the mapper.
This represents 'pragma omp declare reduction ...' directive.
Expr * getInitializer()
Get initializer expression (if specified) of the declare reduction construct.
Expr * getInitPriv()
Get Priv variable of the initializer.
Expr * getCombinerOut()
Get Out variable of the combiner.
Expr * getCombinerIn()
Get In variable of the combiner.
Expr * getCombiner()
Get combiner expression of the declare reduction construct.
OMPDeclareReductionDecl * getPrevDeclInScope()
Get reference to previous declare reduction construct in the same scope with the same name.
Expr * getInitOrig()
Get Orig variable of the initializer.
OMPDeclareReductionInitKind getInitializerKind() const
Get initializer kind.
This represents 'pragma omp groupprivate ...' directive.
This represents 'pragma omp requires...' directive.
This represents 'pragma omp threadprivate ...' directive.
Represents a field declaration created by an @defs(...).
static OpaquePtr make(QualType P)
static OpenACCBindClause * Create(const ASTContext &C, SourceLocation BeginLoc, SourceLocation LParenLoc, const IdentifierInfo *ID, SourceLocation EndLoc)
OpenACCDirectiveKind getDirectiveKind() const
ArrayRef< const OpenACCClause * > clauses() const
SourceLocation getDirectiveLoc() const
static OpenACCCopyClause * Create(const ASTContext &C, OpenACCClauseKind Spelling, SourceLocation BeginLoc, SourceLocation LParenLoc, OpenACCModifierKind Mods, ArrayRef< Expr * > VarList, SourceLocation EndLoc)
static OpenACCCopyInClause * Create(const ASTContext &C, OpenACCClauseKind Spelling, SourceLocation BeginLoc, SourceLocation LParenLoc, OpenACCModifierKind Mods, ArrayRef< Expr * > VarList, SourceLocation EndLoc)
static OpenACCCopyOutClause * Create(const ASTContext &C, OpenACCClauseKind Spelling, SourceLocation BeginLoc, SourceLocation LParenLoc, OpenACCModifierKind Mods, ArrayRef< Expr * > VarList, SourceLocation EndLoc)
static OpenACCCreateClause * Create(const ASTContext &C, OpenACCClauseKind Spelling, SourceLocation BeginLoc, SourceLocation LParenLoc, OpenACCModifierKind Mods, ArrayRef< Expr * > VarList, SourceLocation EndLoc)
static OpenACCDevicePtrClause * Create(const ASTContext &C, SourceLocation BeginLoc, SourceLocation LParenLoc, ArrayRef< Expr * > VarList, SourceLocation EndLoc)
static OpenACCDeviceResidentClause * Create(const ASTContext &C, SourceLocation BeginLoc, SourceLocation LParenLoc, ArrayRef< Expr * > VarList, SourceLocation EndLoc)
A 'device_type' or 'dtype' clause, takes a list of either an 'asterisk' or an identifier.
static OpenACCDeviceTypeClause * Create(const ASTContext &C, OpenACCClauseKind K, SourceLocation BeginLoc, SourceLocation LParenLoc, ArrayRef< DeviceTypeArgument > Archs, SourceLocation EndLoc)
static OpenACCLinkClause * Create(const ASTContext &C, SourceLocation BeginLoc, SourceLocation LParenLoc, ArrayRef< Expr * > VarList, SourceLocation EndLoc)
static OpenACCNoHostClause * Create(const ASTContext &Ctx, SourceLocation BeginLoc, SourceLocation EndLoc)
static OpenACCPresentClause * Create(const ASTContext &C, SourceLocation BeginLoc, SourceLocation LParenLoc, ArrayRef< Expr * > VarList, SourceLocation EndLoc)
SourceLocation getRParenLoc() const
const Expr * getFunctionReference() const
SourceLocation getLParenLoc() const
static OpenACCSeqClause * Create(const ASTContext &Ctx, SourceLocation BeginLoc, SourceLocation EndLoc)
static OpenACCVectorClause * Create(const ASTContext &Ctx, SourceLocation BeginLoc, SourceLocation LParenLoc, Expr *IntExpr, SourceLocation EndLoc)
static OpenACCWorkerClause * Create(const ASTContext &Ctx, SourceLocation BeginLoc, SourceLocation LParenLoc, Expr *IntExpr, SourceLocation EndLoc)
SourceLocation getEllipsisLoc() const
TypeLoc getPatternLoc() const
Represents a parameter to a function.
Represents a #pragma detect_mismatch line.
PrettyDeclStackTraceEntry - If a crash occurs in the parser while parsing something related to a decl...
A (possibly-)qualified type.
bool isRestrictQualified() const
Determine whether this type is restrict-qualified.
bool isNull() const
Return true if this QualType doesn't point to a type yet.
QualType getNonReferenceType() const
If Type is a reference type (e.g., const int&), returns the type that the reference refers to ("const...
QualType getAtomicUnqualifiedType() const
Remove all qualifiers including _Atomic.
The collection of all-type qualifiers we support.
Represents a struct/union/class.
bool isAnonymousStructOrUnion() const
Whether this is an anonymous struct or union.
Wrapper for source info for record types.
Declaration of a redeclarable template.
void setInstantiatedFromMemberTemplate(RedeclarableTemplateDecl *TD)
decl_type * getFirstDecl()
Return the first declaration of this declaration or itself if this is the only declaration.
void setPreviousDecl(decl_type *PrevDecl)
Set the previous declaration.
Represents the body of a requires-expression.
static RequiresExprBodyDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc)
Scope - A scope is a transient data structure that is used while parsing the program.
void addAMDGPUFlatWorkGroupSizeAttr(Decl *D, const AttributeCommonInfo &CI, Expr *Min, Expr *Max)
addAMDGPUFlatWorkGroupSizeAttr - Adds an amdgpu_flat_work_group_size attribute to a particular declar...
void addAMDGPUWavesPerEUAttr(Decl *D, const AttributeCommonInfo &CI, Expr *Min, Expr *Max)
addAMDGPUWavePersEUAttr - Adds an amdgpu_waves_per_eu attribute to a particular declaration.
void addAMDGPUMaxNumWorkGroupsAttr(Decl *D, const AttributeCommonInfo &CI, Expr *XExpr, Expr *YExpr, Expr *ZExpr)
addAMDGPUMaxNumWorkGroupsAttr - Adds an amdgpu_max_num_work_groups attribute to a particular declarat...
SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID)
Emit a diagnostic.
void checkAllowedInitializer(VarDecl *VD)
QualType getInoutParameterType(QualType Ty)
void AddXConsumedAttr(Decl *D, const AttributeCommonInfo &CI, Sema::RetainOwnershipKind K, bool IsTemplateInstantiation)
A type to represent all the data for an OpenACC Clause that has been parsed, but not yet created/sema...
OpenACCDirectiveKind getDirectiveKind() const
OpenACCClauseKind getClauseKind() const
void ActOnOpenMPDeclareVariantDirective(FunctionDecl *FD, Expr *VariantRef, OMPTraitInfo &TI, ArrayRef< Expr * > AdjustArgsNothing, ArrayRef< Expr * > AdjustArgsNeedDevicePtr, ArrayRef< Expr * > AdjustArgsNeedDeviceAddr, ArrayRef< OMPInteropInfo > AppendArgs, SourceLocation AdjustArgsLoc, SourceLocation AppendArgsLoc, SourceRange SR)
Called on well-formed '#pragma omp declare variant' after parsing of the associated method/function.
std::optional< std::pair< FunctionDecl *, Expr * > > checkOpenMPDeclareVariantFunction(DeclGroupPtrTy DG, Expr *VariantRef, OMPTraitInfo &TI, unsigned NumAppendArgs, SourceRange SR)
Checks '#pragma omp declare variant' variant function and original functions after parsing of the ass...
DeclGroupPtrTy ActOnOpenMPDeclareSimdDirective(DeclGroupPtrTy DG, OMPDeclareSimdDeclAttr::BranchStateTy BS, Expr *Simdlen, ArrayRef< Expr * > Uniforms, ArrayRef< Expr * > Aligneds, ArrayRef< Expr * > Alignments, ArrayRef< Expr * > Linears, ArrayRef< unsigned > LinModifiers, ArrayRef< Expr * > Steps, SourceRange SR)
Called on well-formed '#pragma omp declare simd' after parsing of the associated method/function.
void AddParameterABIAttr(Decl *D, const AttributeCommonInfo &CI, ParameterABI abi)
RAII object used to change the argument pack substitution index within a Sema object.
RAII object used to temporarily allow the C++ 'this' expression to be used, with the given qualifiers...
A helper class for building up ExtParameterInfos.
Records and restores the CurFPFeatures state on entry/exit of compound statements.
RAII class used to indicate that we are performing provisional semantic analysis to determine the val...
Sema - This implements semantic analysis and AST building for C.
MemInitResult BuildDelegatingInitializer(TypeSourceInfo *TInfo, Expr *Init, CXXRecordDecl *ClassDecl)
SmallVector< CodeSynthesisContext, 16 > CodeSynthesisContexts
List of active code synthesis contexts.
LocalInstantiationScope * CurrentInstantiationScope
The current instantiation scope used to store local variables.
bool CheckUsingDeclQualifier(SourceLocation UsingLoc, bool HasTypename, const CXXScopeSpec &SS, const DeclarationNameInfo &NameInfo, SourceLocation NameLoc, const LookupResult *R=nullptr, const UsingDecl *UD=nullptr)
Checks that the given nested-name qualifier used in a using decl in the current context is appropriat...
@ LookupOrdinaryName
Ordinary name lookup, which finds ordinary names (functions, variables, typedefs, etc....
@ LookupUsingDeclName
Look up all declarations in a scope with the given name, including resolved using declarations.
@ LookupRedeclarationWithLinkage
Look up an ordinary name that is going to be redeclared as a name with linkage.
Decl * ActOnSkippedFunctionBody(Decl *Decl)
NamedDecl * FindInstantiatedDecl(SourceLocation Loc, NamedDecl *D, const MultiLevelTemplateArgumentList &TemplateArgs, bool FindingInstantiatedContext=false)
Find the instantiation of the given declaration within the current instantiation.
void deduceOpenCLAddressSpace(VarDecl *decl)
MemInitResult BuildBaseInitializer(QualType BaseType, TypeSourceInfo *BaseTInfo, Expr *Init, CXXRecordDecl *ClassDecl, SourceLocation EllipsisLoc)
TypeSourceInfo * SubstFriendType(TypeSourceInfo *TSI, const MultiLevelTemplateArgumentList &TemplateArgs, SourceLocation Loc, DeclarationName Entity)
bool InstantiateDefaultArgument(SourceLocation CallLoc, FunctionDecl *FD, ParmVarDecl *Param)
void AddAlignedAttr(Decl *D, const AttributeCommonInfo &CI, Expr *E, bool IsPackExpansion)
AddAlignedAttr - Adds an aligned attribute to a particular declaration.
const TranslationUnitKind TUKind
The kind of translation unit we are processing.
void InstantiateExceptionSpec(SourceLocation PointOfInstantiation, FunctionDecl *Function)
void AddAssumeAlignedAttr(Decl *D, const AttributeCommonInfo &CI, Expr *E, Expr *OE)
AddAssumeAlignedAttr - Adds an assume_aligned attribute to a particular declaration.
bool RequireCompleteDeclContext(CXXScopeSpec &SS, DeclContext *DC)
Require that the context specified by SS be complete.
const ExpressionEvaluationContextRecord & currentEvaluationContext() const
PragmaStack< FPOptionsOverride > FpPragmaStack
FunctionDecl * InstantiateFunctionDeclaration(FunctionTemplateDecl *FTD, const TemplateArgumentList *Args, SourceLocation Loc, CodeSynthesisContext::SynthesisKind CSC=CodeSynthesisContext::ExplicitTemplateArgumentSubstitution)
Instantiate (or find existing instantiation of) a function template with a given set of template argu...
bool tryResolveExplicitSpecifier(ExplicitSpecifier &ExplicitSpec)
tryResolveExplicitSpecifier - Attempt to resolve the explict specifier.
ExprResult SubstInitializer(Expr *E, const MultiLevelTemplateArgumentList &TemplateArgs, bool CXXDirectInit)
MemInitResult BuildMemberInitializer(ValueDecl *Member, Expr *Init, SourceLocation IdLoc)
VarTemplateSpecializationDecl * BuildVarTemplateInstantiation(VarTemplateDecl *VarTemplate, VarDecl *FromVar, const TemplateArgumentList *PartialSpecArgs, SmallVectorImpl< TemplateArgument > &Converted, SourceLocation PointOfInstantiation, LateInstantiatedAttrVec *LateAttrs=nullptr, LocalInstantiationScope *StartingScope=nullptr)
Decl * ActOnFinishFunctionBody(Decl *Decl, Stmt *Body, bool IsInstantiation=false, bool RetainFunctionScopeInfo=false)
Performs semantic analysis at the end of a function body.
void SubstExceptionSpec(FunctionDecl *New, const FunctionProtoType *Proto, const MultiLevelTemplateArgumentList &Args)
ExpressionEvaluationContextRecord & parentEvaluationContext()
LateParsedTemplateMapT LateParsedTemplateMap
bool SubstExprs(ArrayRef< Expr * > Exprs, bool IsCall, const MultiLevelTemplateArgumentList &TemplateArgs, SmallVectorImpl< Expr * > &Outputs)
Substitute the given template arguments into a list of expressions, expanding pack expansions if requ...
StmtResult SubstStmt(Stmt *S, const MultiLevelTemplateArgumentList &TemplateArgs)
ExprResult SubstExpr(Expr *E, const MultiLevelTemplateArgumentList &TemplateArgs)
DiagnosticsEngine & getDiagnostics() const
bool CheckParameterPacksForExpansion(SourceLocation EllipsisLoc, SourceRange PatternRange, ArrayRef< UnexpandedParameterPack > Unexpanded, const MultiLevelTemplateArgumentList &TemplateArgs, bool FailOnPackProducingTemplates, bool &ShouldExpand, bool &RetainExpansion, UnsignedOrNone &NumExpansions, bool Diagnose=true)
Determine whether we could expand a pack expansion with the given set of parameter packs into separat...
DeclGroupPtrTy ConvertDeclToDeclGroup(Decl *Ptr, Decl *OwnedType=nullptr)
void InstantiateMemInitializers(CXXConstructorDecl *New, const CXXConstructorDecl *Tmpl, const MultiLevelTemplateArgumentList &TemplateArgs)
void AddModeAttr(Decl *D, const AttributeCommonInfo &CI, const IdentifierInfo *Name, bool InInstantiation=false)
AddModeAttr - Adds a mode attribute to a particular declaration.
ASTContext & getASTContext() const
TypeSourceInfo * SubstType(TypeSourceInfo *T, const MultiLevelTemplateArgumentList &TemplateArgs, SourceLocation Loc, DeclarationName Entity, bool AllowDeducedTST=false)
Perform substitution on the type T with a given set of template arguments.
void InstantiateVariableDefinition(SourceLocation PointOfInstantiation, VarDecl *Var, bool Recursive=false, bool DefinitionRequired=false, bool AtEndOfTU=false)
Instantiate the definition of the given variable from its template.
SmallVector< LateInstantiatedAttribute, 1 > LateInstantiatedAttrVec
PrintingPolicy getPrintingPolicy() const
Retrieve a suitable printing policy for diagnostics.
bool SubstTemplateArguments(ArrayRef< TemplateArgumentLoc > Args, const MultiLevelTemplateArgumentList &TemplateArgs, TemplateArgumentListInfo &Outputs)
void HandleDependentAccessCheck(const DependentDiagnostic &DD, const MultiLevelTemplateArgumentList &TemplateArgs)
@ TPL_TemplateMatch
We are matching the template parameter lists of two templates that might be redeclarations.
void SetDeclDefaulted(Decl *dcl, SourceLocation DefaultLoc)
Sema(Preprocessor &pp, ASTContext &ctxt, ASTConsumer &consumer, TranslationUnitKind TUKind=TU_Complete, CodeCompleteConsumer *CompletionConsumer=nullptr)
void InstantiateAttrs(const MultiLevelTemplateArgumentList &TemplateArgs, const Decl *Pattern, Decl *Inst, LateInstantiatedAttrVec *LateAttrs=nullptr, LocalInstantiationScope *OuterMostScope=nullptr)
const LangOptions & getLangOpts() const
void inferLifetimeBoundAttribute(FunctionDecl *FD)
Add [[clang:lifetimebound]] attr for std:: functions and methods.
void collectUnexpandedParameterPacks(TemplateArgument Arg, SmallVectorImpl< UnexpandedParameterPack > &Unexpanded)
Collect the set of unexpanded parameter packs within the given template argument.
bool BuildCtorClosureDefaultArgs(SourceLocation Loc, CXXConstructorDecl *Ctor, bool IsCopy=false)
const LangOptions & LangOpts
Decl * ActOnStartOfFunctionDef(Scope *S, Declarator &D, MultiTemplateParamsArg TemplateParamLists, SkipBodyInfo *SkipBody=nullptr, FnBodyKind BodyKind=FnBodyKind::Other)
VarTemplateSpecializationDecl * CompleteVarTemplateSpecializationDecl(VarTemplateSpecializationDecl *VarSpec, VarDecl *PatternDecl, const MultiLevelTemplateArgumentList &TemplateArgs)
Instantiates a variable template specialization by completing it with appropriate type information an...
void updateAttrsForLateParsedTemplate(const Decl *Pattern, Decl *Inst)
Update instantiation attributes after template was late parsed.
void InstantiateVariableInitializer(VarDecl *Var, VarDecl *OldVar, const MultiLevelTemplateArgumentList &TemplateArgs)
Instantiate the initializer of a variable.
SmallVector< PendingImplicitInstantiation, 1 > LateParsedInstantiations
Queue of implicit template instantiations that cannot be performed eagerly.
DeclarationNameInfo SubstDeclarationNameInfo(const DeclarationNameInfo &NameInfo, const MultiLevelTemplateArgumentList &TemplateArgs)
Do template substitution on declaration name info.
void AddAllocAlignAttr(Decl *D, const AttributeCommonInfo &CI, Expr *ParamExpr)
AddAllocAlignAttr - Adds an alloc_align attribute to a particular declaration.
UnsignedOrNone getNumArgumentsInExpansion(QualType T, const MultiLevelTemplateArgumentList &TemplateArgs)
Determine the number of arguments in the given pack expansion type.
bool usesPartialOrExplicitSpecialization(SourceLocation Loc, ClassTemplateSpecializationDecl *ClassTemplateSpec)
TemplateArgumentLoc getTrivialTemplateArgumentLoc(const TemplateArgument &Arg, QualType NTTPType, SourceLocation Loc)
Allocate a TemplateArgumentLoc where all locations have been initialized to the given location.
ExplicitSpecifier instantiateExplicitSpecifier(const MultiLevelTemplateArgumentList &TemplateArgs, ExplicitSpecifier ES)
bool CheckVariableDeclaration(VarDecl *NewVD, LookupResult &Previous)
Perform semantic checking on a newly-created variable declaration.
DeclContext * CurContext
CurContext - This is the current declaration context of parsing.
MultiLevelTemplateArgumentList getTemplateInstantiationArgs(const NamedDecl *D, const DeclContext *DC=nullptr, bool Final=false, std::optional< ArrayRef< TemplateArgument > > Innermost=std::nullopt, bool RelativeToPrimary=false, const FunctionDecl *Pattern=nullptr, bool ForConstraintInstantiation=false, bool SkipForSpecialization=false, bool ForDefaultArgumentSubstitution=false)
Retrieve the template argument list(s) that should be used to instantiate the definition of the given...
std::deque< PendingImplicitInstantiation > PendingLocalImplicitInstantiations
The queue of implicit template instantiations that are required and must be performed within the curr...
ExprResult PerformContextuallyConvertToBool(Expr *From)
PerformContextuallyConvertToBool - Perform a contextual conversion of the expression From to bool (C+...
SourceManager & getSourceManager() const
FunctionDecl * SubstSpaceshipAsEqualEqual(CXXRecordDecl *RD, FunctionDecl *Spaceship)
Substitute the name and return type of a defaulted 'operator<=>' to form an implicit 'operator=='.
void PerformPendingInstantiations(bool LocalOnly=false, bool AtEndOfTU=true)
Performs template instantiation for all implicit template instantiations we have seen until this poin...
Decl * SubstDecl(Decl *D, DeclContext *Owner, const MultiLevelTemplateArgumentList &TemplateArgs)
DeclContext * computeDeclContext(QualType T)
Compute the DeclContext that is associated with the given type.
void ActOnMemInitializers(Decl *ConstructorDecl, SourceLocation ColonLoc, ArrayRef< CXXCtorInitializer * > MemInits, bool AnyErrors)
ActOnMemInitializers - Handle the member initializers for a constructor.
TemplateParameterList * SubstTemplateParams(TemplateParameterList *Params, DeclContext *Owner, const MultiLevelTemplateArgumentList &TemplateArgs, bool EvaluateConstraints=true)
void AddLaunchBoundsAttr(Decl *D, const AttributeCommonInfo &CI, Expr *MaxThreads, Expr *MinBlocks, Expr *MaxBlocks)
AddLaunchBoundsAttr - Adds a launch_bounds attribute to a particular declaration.
UnsignedOrNone ArgPackSubstIndex
The current index into pack expansion arguments that will be used for substitution of parameter packs...
QualType CheckTemplateIdType(ElaboratedTypeKeyword Keyword, TemplateName Template, SourceLocation TemplateLoc, TemplateArgumentListInfo &TemplateArgs, Scope *Scope, bool ForNestedNameSpecifier)
RedeclarationKind forRedeclarationInCurContext() const
void InstantiateFunctionDefinition(SourceLocation PointOfInstantiation, FunctionDecl *Function, bool Recursive=false, bool DefinitionRequired=false, bool AtEndOfTU=false)
Instantiate the definition of the given function from its template.
bool CheckUsingDeclRedeclaration(SourceLocation UsingLoc, bool HasTypenameKeyword, const CXXScopeSpec &SS, SourceLocation NameLoc, const LookupResult &Previous)
Checks that the given using declaration is not an invalid redeclaration.
bool SubstDefaultArgument(SourceLocation Loc, ParmVarDecl *Param, const MultiLevelTemplateArgumentList &TemplateArgs, bool ForCallExpr=false)
Substitute the given template arguments into the default argument.
void InstantiateAttrsForDecl(const MultiLevelTemplateArgumentList &TemplateArgs, const Decl *Pattern, Decl *Inst, LateInstantiatedAttrVec *LateAttrs=nullptr, LocalInstantiationScope *OuterMostScope=nullptr)
IntrusiveRefCntPtr< ExternalSemaSource > ExternalSource
Source of additional semantic information.
sema::AnalysisBasedWarnings AnalysisWarnings
Worker object for performing CFG-based warnings.
bool hasUncompilableErrorOccurred() const
Whether uncompilable error has occurred.
std::deque< PendingImplicitInstantiation > PendingInstantiations
The queue of implicit template instantiations that are required but have not yet been performed.
bool checkInstantiatedThreadSafetyAttrs(const Decl *D, const Attr *A)
Recheck instantiated thread-safety attributes that could not be validated on the dependent pattern de...
bool CheckInheritingConstructorUsingDecl(UsingDecl *UD)
Additional checks for a using declaration referring to a constructor name.
void addClusterDimsAttr(Decl *D, const AttributeCommonInfo &CI, Expr *X, Expr *Y, Expr *Z)
@ ConstantEvaluated
The current context is "potentially evaluated" in C++11 terms, but the expression is evaluated at com...
@ PotentiallyEvaluated
The current expression is potentially evaluated at run time, which means that code may be generated t...
@ Unevaluated
The current expression and its subexpressions occur within an unevaluated operand (C++11 [expr]p7),...
NestedNameSpecifierLoc SubstNestedNameSpecifierLoc(NestedNameSpecifierLoc NNS, const MultiLevelTemplateArgumentList &TemplateArgs)
bool RequireCompleteType(SourceLocation Loc, QualType T, CompleteTypeKind Kind, TypeDiagnoser &Diagnoser)
Ensure that the type T is a complete type.
LateTemplateParserCB * LateTemplateParser
bool CheckDependentFriend(SourceLocation Loc, NestedNameSpecifierLoc NNSLoc, ArrayRef< TemplateParameterList * > TPLs, bool IsInstantiation)
bool LookupQualifiedName(LookupResult &R, DeclContext *LookupCtx, bool InUnqualifiedLookup=false)
Perform qualified name lookup into a given context.
SmallVector< ExpressionEvaluationContextRecord, 8 > ExprEvalContexts
A stack of expression evaluation contexts.
bool DiagnoseUninstantiableTemplate(SourceLocation PointOfInstantiation, NamedDecl *Instantiation, bool InstantiatedFromMember, const NamedDecl *Pattern, const NamedDecl *PatternDef, TemplateSpecializationKind TSK, bool Complain=true, bool *Unreachable=nullptr)
Determine whether we would be unable to instantiate this template (because it either has no definitio...
SourceManager & SourceMgr
bool CheckAlignasTypeArgument(StringRef KWName, TypeSourceInfo *TInfo, SourceLocation OpLoc, SourceRange R)
Attr * CreateAnnotationAttr(const AttributeCommonInfo &CI, StringRef Annot, MutableArrayRef< Expr * > Args)
CreateAnnotationAttr - Creates an annotation Annot with Args arguments.
@ TPC_FriendFunctionTemplate
@ TPC_FriendFunctionTemplateDefinition
void DiagnoseUnusedDecl(const NamedDecl *ND)
void ActOnUninitializedDecl(Decl *dcl)
void AddInitializerToDecl(Decl *dcl, Expr *init, bool DirectInit)
AddInitializerToDecl - Adds the initializer Init to the declaration dcl.
void runWithSufficientStackSpace(SourceLocation Loc, llvm::function_ref< void()> Fn)
Run some code with "sufficient" stack space.
bool CheckSpanLikeType(const AttributeCommonInfo &CI, const QualType &Ty)
Check that the type is a plain record with one field being a pointer type and the other field being a...
void BuildVariableInstantiation(VarDecl *NewVar, VarDecl *OldVar, const MultiLevelTemplateArgumentList &TemplateArgs, LateInstantiatedAttrVec *LateAttrs, DeclContext *Owner, LocalInstantiationScope *StartingScope, bool InstantiatingVarTemplate=false, VarTemplateSpecializationDecl *PrevVTSD=nullptr)
BuildVariableInstantiation - Used after a new variable has been created.
void UpdateExceptionSpec(FunctionDecl *FD, const FunctionProtoType::ExceptionSpecInfo &ESI)
std::pair< ValueDecl *, SourceLocation > PendingImplicitInstantiation
An entity for which implicit template instantiation is required.
DeclContext * FindInstantiatedContext(SourceLocation Loc, DeclContext *DC, const MultiLevelTemplateArgumentList &TemplateArgs)
Finds the instantiation of the given declaration context within the current instantiation.
void AddAlignValueAttr(Decl *D, const AttributeCommonInfo &CI, Expr *E)
AddAlignValueAttr - Adds an align_value attribute to a particular declaration.
ArrayRef< sema::FunctionScopeInfo * > getFunctionScopes() const
void PerformDependentDiagnostics(const DeclContext *Pattern, const MultiLevelTemplateArgumentList &TemplateArgs)
OpaquePtr< DeclGroupRef > DeclGroupPtrTy
bool checkStringLiteralArgumentAttr(const AttributeCommonInfo &CI, const Expr *E, StringRef &Str, SourceLocation *ArgLocation=nullptr)
Check if the argument E is a ASCII string literal.
ASTMutationListener * getASTMutationListener() const
ExprResult ActOnFinishFullExpr(Expr *Expr, bool DiscardedValue)
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
Represents a C++11 static_assert declaration.
SourceLocation getRParenLoc() const
Stmt - This represents one statement.
SourceLocation getEndLoc() const LLVM_READONLY
SourceLocation getBeginLoc() const LLVM_READONLY
Represents the declaration of a struct/union/class/enum.
bool isThisDeclarationADefinition() const
Return true if this declaration is a completion definition of the type.
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
NestedNameSpecifierLoc getQualifierLoc() const
Retrieve the nested-name-specifier (with source-location information) that qualifies the name of this...
TypedefNameDecl * getTypedefNameForAnonDecl() const
void setTypedefNameForAnonDecl(TypedefNameDecl *TDD)
void setQualifierInfo(NestedNameSpecifierLoc QualifierLoc)
bool hasNameForLinkage() const
Is this tag type named, either directly or via being defined in a typedef of this type?
TagKind getTagKind() const
SourceLocation getNameLoc() const
void setQualifierLoc(NestedNameSpecifierLoc QualifierLoc)
void setNameLoc(SourceLocation Loc)
void setElaboratedKeywordLoc(SourceLocation Loc)
A convenient class for passing around template argument information.
void setLAngleLoc(SourceLocation Loc)
void setRAngleLoc(SourceLocation Loc)
void addArgument(const TemplateArgumentLoc &Loc)
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.
const TemplateArgument & getArgument() const
SourceLocation getTemplateNameLoc() const
SourceLocation getTemplateKWLoc() const
NestedNameSpecifierLoc getTemplateQualifierLoc() const
Represents a template argument.
TemplateName getAsTemplate() const
Retrieve the template name for a template name argument.
@ Pack
The template argument is actually a parameter pack.
@ RewriteSpaceshipAsEqualEqual
bool SubstTemplateParameterLists(ArrayRef< TemplateParameterList * > TPLs, SmallVectorImpl< TemplateParameterList * > &InstTPLs)
void setEvaluateConstraints(bool B)
Decl * VisitDecl(Decl *D)
VarTemplateSpecializationDecl * VisitVarTemplateSpecializationDecl(VarTemplateDecl *VarTemplate, VarDecl *FromVar, ArrayRef< TemplateArgument > Converted, VarTemplateSpecializationDecl *PrevDecl=nullptr)
Decl * VisitVarDecl(VarDecl *D, bool InstantiatingVarTemplate, ArrayRef< BindingDecl * > *Bindings=nullptr)
bool InitMethodInstantiation(CXXMethodDecl *New, CXXMethodDecl *Tmpl)
Initializes common fields of an instantiated method declaration (New) from the corresponding fields o...
bool InitFunctionInstantiation(FunctionDecl *New, FunctionDecl *Tmpl)
Initializes the common fields of an instantiation function declaration (New) from the corresponding f...
VarTemplatePartialSpecializationDecl * InstantiateVarTemplatePartialSpecialization(VarTemplateDecl *VarTemplate, VarTemplatePartialSpecializationDecl *PartialSpec)
Instantiate the declaration of a variable template partial specialization.
void adjustForRewrite(RewriteKind RK, FunctionDecl *Orig, QualType &T, TypeSourceInfo *&TInfo, DeclarationNameInfo &NameInfo)
TypeSourceInfo * SubstFunctionType(FunctionDecl *D, SmallVectorImpl< ParmVarDecl * > &Params)
void InstantiateEnumDefinition(EnumDecl *Enum, EnumDecl *Pattern)
Decl * VisitFunctionDecl(FunctionDecl *D, TemplateParameterList *TemplateParams, RewriteKind RK=RewriteKind::None)
Normal class members are of more specific types and therefore don't make it here.
Decl * VisitCXXMethodDecl(CXXMethodDecl *D, TemplateParameterList *TemplateParams, RewriteKind RK=RewriteKind::None)
Decl * InstantiateTypeAliasTemplateDecl(TypeAliasTemplateDecl *D)
Decl * VisitBaseUsingDecls(BaseUsingDecl *D, BaseUsingDecl *Inst, LookupResult *Lookup)
bool SubstQualifier(const DeclaratorDecl *OldDecl, DeclaratorDecl *NewDecl)
TemplateParameterList * SubstTemplateParams(TemplateParameterList *List)
Instantiates a nested template parameter list in the current instantiation context.
bool InstantiateFriendPackExpansion(FriendDecl *D)
Decl * InstantiateTypedefNameDecl(TypedefNameDecl *D, bool IsTypeAlias)
ClassTemplatePartialSpecializationDecl * InstantiateClassTemplatePartialSpecialization(ClassTemplateDecl *ClassTemplate, ClassTemplatePartialSpecializationDecl *PartialSpec)
Instantiate the declaration of a class template partial specialization.
bool SubstDefaultedFunction(FunctionDecl *New, FunctionDecl *Tmpl)
The base class of all kinds of template declarations (e.g., class, function, etc.).
TemplateParameterList * getTemplateParameters() const
Get the list of template parameters.
Represents a C++ template name within the type system.
bool isNull() const
Determine whether this template name is NULL.
@ Template
A single template declaration.
A template parameter object.
Stores a list of template parameters for a TemplateDecl and its derived classes.
SourceRange getSourceRange() const LLVM_READONLY
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.
SourceLocation getRAngleLoc() const
SourceLocation getLAngleLoc() const
ArrayRef< NamedDecl * > asArray()
SourceLocation getTemplateLoc() const
unsigned getNumArgs() const
SourceLocation getLAngleLoc() const
TemplateArgumentLoc getArgLoc(unsigned i) const
SourceLocation getRAngleLoc() const
SourceLocation getTemplateNameLoc() const
SourceLocation getTemplateKeywordLoc() const
NestedNameSpecifierLoc getQualifierLoc() const
SourceLocation getElaboratedKeywordLoc() const
TemplateTemplateParmDecl - Declares a template template parameter, e.g., "T" in.
bool wasDeclaredWithTypename() const
Whether this template template parameter was declared with the 'typename' keyword.
TemplateParameterList * getExpansionTemplateParameters(unsigned I) const
Retrieve a particular expansion type within an expanded parameter pack.
bool isPackExpansion() const
Whether this parameter pack is a pack expansion.
unsigned getNumExpansionTemplateParameters() const
Retrieves the number of expansion template parameters in an expanded parameter pack.
TemplateNameKind templateParameterKind() const
const TemplateArgumentLoc & getDefaultArgument() const
Retrieve the default argument, if any.
unsigned getPosition() const
Get the position of the template parameter within its parameter list.
bool isParameterPack() const
Whether this template template parameter is a template parameter pack.
bool defaultArgumentWasInherited() const
Determines whether the default argument was inherited from a previous declaration of this template.
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...
unsigned getDepth() const
Get the nesting depth of the template parameter.
bool isExpandedParameterPack() const
Whether this parameter is a template template parameter pack that has a known list of different templ...
bool hasDefaultArgument() const
Determine whether this template parameter has a default argument.
Declaration of a template type parameter.
bool wasDeclaredWithTypename() const
Whether this template type parameter was declared with the 'typename' keyword.
const TemplateArgumentLoc & getDefaultArgument() const
Retrieve the default argument, if any.
unsigned getIndex() const
Retrieve the index of the template parameter.
bool hasTypeConstraint() const
Determine whether this template parameter has a type-constraint.
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)
const TypeConstraint * getTypeConstraint() const
Returns the type constraint associated with this template parameter (if any).
UnsignedOrNone getNumExpansionParameters() const
Whether this parameter is a template type parameter pack that has a known list of different type-cons...
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.
void setDefaultArgument(const ASTContext &C, const TemplateArgumentLoc &DefArg)
Set the default argument for this template parameter.
bool isPackExpansion() const
Whether this parameter pack is a pack expansion.
The top declaration context.
Represents the declaration of a typedef-name via a C++11 alias-declaration.
static TypeAliasDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, const IdentifierInfo *Id, TypeSourceInfo *TInfo)
void setDescribedAliasTemplate(TypeAliasTemplateDecl *TAT)
Declaration of an alias template.
static TypeAliasTemplateDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation L, DeclarationName Name, TemplateParameterList *Params, NamedDecl *Decl)
Create a function template node.
TypeAliasDecl * getTemplatedDecl() const
Get the underlying function declaration of the template.
const Type * getTypeForDecl() const
SourceLocation getBeginLoc() const LLVM_READONLY
TyLocType push(QualType T)
Pushes space for a new TypeLoc of the given type.
TypeSourceInfo * getTypeSourceInfo(ASTContext &Context, QualType T)
Creates a TypeSourceInfo for the given type.
void pushTrivial(ASTContext &Context, QualType T, SourceLocation Loc)
Pushes 'T' with all locations pointing to 'Loc'.
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...
NestedNameSpecifierLoc getPrefix() const
If this type represents a qualified-id, this returns it's nested name specifier.
TypeLoc IgnoreParens() const
T castAs() const
Convert to the specified TypeLoc type, asserting that this TypeLoc is of the desired type.
SourceRange getSourceRange() const LLVM_READONLY
Get the full source range.
AutoTypeLoc getContainedAutoTypeLoc() const
Get the typeloc of an AutoType whose type will be deduced for a variable with an initializer of this ...
T getAsAdjusted() const
Convert to the specified TypeLoc type, returning a null TypeLoc if this TypeLoc is not of the desired...
SourceLocation getBeginLoc() const
Get the begin source location.
A container of type source information.
TypeLoc getTypeLoc() const
Return the TypeLoc wrapper for the type source info.
QualType getType() const
Return the type wrapped by this type source info.
The base class of the type hierarchy.
bool isRValueReferenceType() const
const T * castAs() const
Member-template castAs<specific type>.
bool isReferenceType() const
AutoType * getContainedAutoType() const
Get the AutoType whose type will be deduced for a variable with an initializer of this type.
bool isInstantiationDependentType() const
Determine whether this type is an instantiation-dependent type, meaning that the type involves a temp...
bool isLValueReferenceType() const
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
bool containsUnexpandedParameterPack() const
Whether this type is or contains an unexpanded parameter pack, used to support C++0x variadic templat...
bool isTemplateTypeParmType() const
bool isAtomicType() const
bool isVariablyModifiedType() const
Whether this type is a variably-modified type (C99 6.7.5).
bool isUndeducedType() const
Determine whether this type is an undeduced type, meaning that it somehow involves a C++11 'auto' typ...
bool isFunctionType() const
const T * getAs() const
Member-template getAs<specific type>'.
Represents the declaration of a typedef-name via the 'typedef' type specifier.
static TypedefDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, const IdentifierInfo *Id, TypeSourceInfo *TInfo)
Base class for declarations which introduce a typedef-name.
TypeSourceInfo * getTypeSourceInfo() const
QualType getUnderlyingType() const
An artificial decl, representing a global anonymous constant value which is uniquified by value withi...
This node is generated when a using-declaration that was annotated with attribute((using_if_exists)) ...
static UnresolvedUsingIfExistsDecl * Create(ASTContext &Ctx, DeclContext *DC, SourceLocation Loc, DeclarationName Name)
Represents a dependent using declaration which was marked with typename.
SourceLocation getTypenameLoc() const
Returns the source location of the 'typename' keyword.
Represents a dependent using declaration which was not marked with typename.
Represents a C++ using-declaration.
bool hasTypename() const
Return true if the using declaration has 'typename'.
NestedNameSpecifierLoc getQualifierLoc() const
Retrieve the nested-name-specifier that qualifies the name, with source-location information.
DeclarationNameInfo getNameInfo() const
static UsingDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation UsingL, NestedNameSpecifierLoc QualifierLoc, const DeclarationNameInfo &NameInfo, bool HasTypenameKeyword)
SourceLocation getUsingLoc() const
Return the source location of the 'using' keyword.
Represents C++ using-directive.
static UsingDirectiveDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation UsingLoc, SourceLocation NamespaceLoc, NestedNameSpecifierLoc QualifierLoc, SourceLocation IdentLoc, NamedDecl *Nominated, DeclContext *CommonAncestor)
NamespaceDecl * getNominatedNamespace()
Returns the namespace nominated by this using-directive.
DeclContext * getCommonAncestor()
Returns the common ancestor context of this using-directive and its nominated namespace.
SourceLocation getNamespaceKeyLocation() const
Returns the location of the namespace keyword.
SourceLocation getIdentLocation() const
Returns the location of this using declaration's identifier.
NestedNameSpecifierLoc getQualifierLoc() const
Retrieve the nested-name-specifier that qualifies the name of the namespace, with source-location inf...
Represents a C++ using-enum-declaration.
SourceLocation getEnumLoc() const
The source location of the 'enum' keyword.
EnumDecl * getEnumDecl() const
TypeSourceInfo * getEnumType() const
static UsingEnumDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation UsingL, SourceLocation EnumL, SourceLocation NameL, TypeSourceInfo *EnumType)
SourceLocation getUsingLoc() const
The source location of the 'using' keyword.
Represents a pack of using declarations that a single using-declarator pack-expanded into.
ArrayRef< NamedDecl * > expansions() const
Get the set of using declarations that this pack expanded into.
Represents a shadow declaration implicitly introduced into a scope by a (resolved) using-declaration ...
void setType(QualType newType)
bool isParameterPack() const
Determine whether this value is actually a function parameter pack, init-capture pack,...
Represents a variable declaration or definition.
VarTemplateDecl * getDescribedVarTemplate() const
Retrieves the variable template that is described by this variable declaration.
void setObjCForDecl(bool FRD)
static VarDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, const IdentifierInfo *Id, QualType T, TypeSourceInfo *TInfo, StorageClass S)
void setCXXForRangeDecl(bool FRD)
bool isConstexpr() const
Whether this variable is (C++11) constexpr.
void setInstantiationOfStaticDataMember(VarDecl *VD, TemplateSpecializationKind TSK)
Specify that this variable is an instantiation of the static data member VD.
TLSKind getTLSKind() const
void setInitStyle(InitializationStyle Style)
VarDecl * getMostRecentDecl()
Returns the most recent (re)declaration of this declaration.
InitializationStyle getInitStyle() const
The style of initialization for this declaration.
void setInitCapture(bool IC)
DefinitionKind isThisDeclarationADefinition(ASTContext &) const
Check whether this declaration is a definition.
bool isOutOfLine() const override
Determine whether this is or was instantiated from an out-of-line definition of a static data member.
VarDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
bool isInitCapture() const
Whether this variable is the implicit variable for a lambda init-capture.
@ CallInit
Call-style initialization (C++98)
bool isObjCForDecl() const
Determine whether this variable is a for-loop declaration for a for-in statement in Objective-C.
void setPreviousDeclInSameBlockScope(bool Same)
bool isInlineSpecified() const
bool isStaticDataMember() const
Determines whether this is a static data member.
VarDecl * getTemplateInstantiationPattern() const
Retrieve the variable declaration from which this variable could be instantiated, if it is an instant...
bool isCXXForRangeDecl() const
Determine whether this variable is the for-range-declaration in a C++0x for-range statement.
VarDecl * getDefinition(ASTContext &)
Get the real (not just tentative) definition for this declaration.
bool mightBeUsableInConstantExpressions(const ASTContext &C) const
Determine whether this variable's value might be usable in a constant expression, according to the re...
bool isNRVOVariable() const
Determine whether this local variable can be used with the named return value optimization (NRVO).
void setInlineSpecified()
bool isStaticLocal() const
Returns true if a variable with function scope is a static local variable.
void setTemplateSpecializationKind(TemplateSpecializationKind TSK, SourceLocation PointOfInstantiation=SourceLocation())
For a static data member that was instantiated from a static data member of a class template,...
void setTSCSpec(ThreadStorageClassSpecifier TSC)
void setNRVOVariable(bool NRVO)
bool isInline() const
Whether this variable is (C++1z) inline.
ThreadStorageClassSpecifier getTSCSpec() const
const Expr * getInit() const
void setConstexpr(bool IC)
void setDescribedVarTemplate(VarTemplateDecl *Template)
bool isDirectInit() const
Whether the initializer is a direct-initializer (list or call).
StorageClass getStorageClass() const
Returns the storage class as written in the source.
void setImplicitlyInline()
bool isPreviousDeclInSameBlockScope() const
Whether this local extern variable declaration's previous declaration was declared in the same block ...
VarDecl * getPreviousDecl()
Return the previous declaration of this declaration or NULL if this is the first declaration.
SourceLocation getPointOfInstantiation() const
If this variable is an instantiation of a variable template or a static data member of a class templa...
TemplateSpecializationKind getTemplateSpecializationKindForInstantiation() const
Get the template specialization kind of this variable for the purposes of template instantiation.
TemplateSpecializationKind getTemplateSpecializationKind() const
If this variable is an instantiation of a variable template or a static data member of a class templa...
Declaration of a variable template.
VarDecl * getTemplatedDecl() const
Get the underlying variable declarations of the template.
VarTemplateSpecializationDecl * findSpecialization(ArrayRef< TemplateArgument > Args, llvm::FoldingSetInsertToken &InsertToken)
Return the specialization with the provided arguments if it exists, otherwise return the insertion po...
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.
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)
TemplateParameterList * getTemplateParameters() const
Get the list of template parameters.
void setInstantiatedFromMember(VarTemplatePartialSpecializationDecl *PartialSpec)
Represents a variable template specialization, which refers to a variable template with a given set o...
SourceLocation getPointOfInstantiation() const
Get the point of instantiation (if any), or null if none.
void setTemplateArgsAsWritten(const ASTTemplateArgumentListInfo *ArgsWritten)
Set the template argument list as written in the sources.
const ASTTemplateArgumentListInfo * getTemplateArgsAsWritten() const
Retrieve the template argument list as written in the sources, if any.
const TemplateArgumentList & getTemplateArgs() const
Retrieve the template arguments of the variable template specialization.
const TemplateArgumentList & getTemplateInstantiationArgs() const
Retrieve the set of template arguments that should be used to instantiate the initializer of the vari...
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.
void setCompleteDefinition()
Decl * Visit(PTR(Decl) D)
void addCapture(ValueDecl *Var, bool isBlock, bool isByref, bool isNested, SourceLocation Loc, SourceLocation EllipsisLoc, QualType CaptureType, bool Invalid)
Defines the clang::TargetInfo interface.
const internal::VariadicAllOfMatcher< Decl > decl
Matches declarations.
bool NE(InterpState &S, CodePtr OpPC)
std::variant< struct RequiresDecl, struct HeaderDecl, struct UmbrellaDirDecl, struct ModuleDecl, struct ExcludeDecl, struct ExportDecl, struct ExportAsDecl, struct ExternModuleDecl, struct UseDecl, struct LinkDecl, struct ConfigMacrosDecl, struct ConflictDecl > Decl
All declarations that can appear in a module declaration.
Attr * instantiateTemplateAttribute(const Attr *At, ASTContext &C, Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs)
Attr * instantiateTemplateAttributeForDecl(const Attr *At, ASTContext &C, Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs)
Top level wrappers for InstallAPI frontend operations.
CanQual< Type > CanQualType
Represents a canonical, potentially-qualified type.
bool isa(CodeGen::Address addr)
@ Rewrite
We are substituting template parameters for (typically) other template parameters in order to rewrite...
QualType getFunctionOrMethodResultType(const Decl *D)
@ TemplateName
The identifier is a template name. FIXME: Add an annotation for that.
@ DevicePtr
'deviceptr' clause, allowed on Compute and Combined Constructs, plus 'data' and 'declare'.
@ VectorLength
'vector_length' clause, allowed on 'parallel', 'kernels', 'parallel loop', and 'kernels loop' constru...
@ Async
'async' clause, allowed on Compute, Data, 'update', 'wait', and Combined constructs.
@ Collapse
'collapse' clause, allowed on 'loop' and Combined constructs.
@ DeviceNum
'device_num' clause, allowed on 'init', 'shutdown', and 'set' constructs.
@ DefaultAsync
'default_async' clause, allowed on 'set' construct.
@ Attach
'attach' clause, allowed on Compute and Combined constructs, plus 'data' and 'enter data'.
@ NumGangs
'num_gangs' clause, allowed on 'parallel', 'kernels', parallel loop', and 'kernels loop' constructs.
@ If
'if' clause, allowed on all the Compute Constructs, Data Constructs, Executable Constructs,...
@ UseDevice
'use_device' clause, allowed on 'host_data' construct.
@ NoCreate
'no_create' clause, allowed on allowed on Compute and Combined constructs, plus 'data'.
@ Reduction
'reduction' clause, allowed on Parallel, Serial, Loop, and the combined constructs.
@ Self
'self' clause, allowed on Compute and Combined Constructs, plus 'update'.
@ FirstPrivate
'firstprivate' clause, allowed on 'parallel', 'serial', 'parallel loop', and 'serial loop' constructs...
@ Tile
'tile' clause, allowed on 'loop' and Combined constructs.
@ Independent
'independent' clause, allowed on 'loop' directives.
@ NumWorkers
'num_workers' clause, allowed on 'parallel', 'kernels', parallel loop', and 'kernels loop' constructs...
@ IfPresent
'if_present' clause, allowed on 'host_data' and 'update' directives.
@ Detach
'detach' clause, allowed on the 'exit data' construct.
@ Delete
'delete' clause, allowed on the 'exit data' construct.
@ Finalize
'finalize' clause, allowed on 'exit data' directive.
StorageClass
Storage classes.
bool isGenericLambdaCallOperatorOrStaticInvokerSpecialization(const DeclContext *DC)
@ Default
Set to the current date and time.
@ Property
The type of a property.
@ Result
The result type of a method or function.
ActionResult< CXXCtorInitializer * > MemInitResult
OptionalUnsigned< unsigned > UnsignedOrNone
const FunctionProtoType * T
@ Template
We are parsing a template declaration.
@ FunctionTemplate
The name was classified as a function template name.
@ VarTemplate
The name was classified as a variable template name.
@ TU_Prefix
The translation unit is a prefix to a translation unit, and is not complete.
@ VK_PRValue
A pr-value expression (in the C++11 taxonomy) produces a temporary value.
bool declaresSameEntity(const Decl *D1, const Decl *D2)
Determine whether two declarations declare the same entity.
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.
@ Enum
The "enum" keyword introduces the elaborated-type-specifier.
bool isLambdaMethod(const DeclContext *DC)
ActionResult< Expr * > ExprResult
@ Other
Other implicit parameter.
ExceptionSpecificationType
The various types of exception specifications that exist in C++11.
@ EST_Uninstantiated
not instantiated yet
@ EST_None
no exception specification
@ EST_BasicNoexcept
noexcept
@ EST_Unevaluated
not evaluated yet, for special member function
ActionResult< Stmt * > StmtResult
TypeSourceInfo * TypeInfo
Represents an explicit template argument list in C++, e.g., the "<int>" in "sort<int>".
SourceLocation RAngleLoc
The source location of the right angle bracket ('>').
SourceLocation LAngleLoc
The source location of the left angle bracket ('<').
ArrayRef< TemplateArgumentLoc > arguments() const
DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspon...
DeclarationName getName() const
getName - Returns the embedded declaration name.
void setName(DeclarationName N)
setName - Sets the embedded declaration name.
const DeclarationNameLoc & getInfo() const
TypeSourceInfo * getNamedTypeInfo() const
Holds information about the various types of exception specification.
FunctionDecl * SourceDecl
The function whose exception specification this is, for EST_Unevaluated and EST_Uninstantiated.
FunctionDecl * SourceTemplate
The function template whose exception specification this is instantiated from, for EST_Uninstantiated...
ExceptionSpecificationType Type
The kind of exception specification this is.
Extra information about a function prototype.
ExceptionSpecInfo ExceptionSpec
FunctionType::ExtInfo ExtInfo
llvm::SmallVector< OMPInteropPref, 4 > Prefs
One entry of a prefer_type list.
llvm::SmallVector< Expr *, 2 > Attrs
bool StrictPackMatch
Is set to true when, in the context of TTP matching, a pack parameter matches non-pack arguments.
SmallVector< TemplateArgument, 4 > CanonicalConverted
A context in which code is being synthesized (where a source location alone is not sufficient to iden...
SynthesisKind
The kind of template instantiation we are performing.
@ BuildingDeductionGuides
We are building deduction guides for a class.
@ DeducedTemplateArgumentSubstitution
We are substituting template argument determined as part of template argument deduction for either a ...
bool InLifetimeExtendingContext
Whether we are currently in a context in which all temporaries must be lifetime-extended,...
bool RebuildDefaultArgOrDefaultInit
Whether we should rebuild CXXDefaultArgExpr and CXXDefaultInitExpr.
VarDecl * DeclForInitializer
Declaration for initializer if one is currently being parsed.
A stack object to be created when performing template instantiation.
bool isInvalid() const
Determines whether we have exceeded the maximum recursive template instantiations.