46#include "llvm/ADT/APInt.h"
47#include "llvm/ADT/APSInt.h"
48#include "llvm/ADT/ArrayRef.h"
49#include "llvm/ADT/DenseMap.h"
50#include "llvm/ADT/FoldingSet.h"
51#include "llvm/ADT/SmallBitVector.h"
52#include "llvm/ADT/SmallPtrSet.h"
53#include "llvm/ADT/SmallVector.h"
54#include "llvm/Support/Casting.h"
55#include "llvm/Support/Compiler.h"
56#include "llvm/Support/ErrorHandling.h"
57#include "llvm/Support/SaveAndRestore.h"
115using namespace clang;
127 bool *HasDeducedAnyParam);
143 bool OnlyDeduced,
unsigned Depth,
144 llvm::SmallBitVector &
Used);
147 bool OnlyDeduced,
unsigned Level,
148 llvm::SmallBitVector &
Deduced);
154 if (
const auto *IC = dyn_cast<ImplicitCastExpr>(E))
155 E = IC->getSubExpr();
156 else if (
const auto *CE = dyn_cast<ConstantExpr>(E))
157 E = CE->getSubExpr();
158 else if (
const auto *Subst = dyn_cast<SubstNonTypeTemplateParmExpr>(E))
159 E = Subst->getReplacement();
160 else if (
const auto *CCE = dyn_cast<CXXConstructExpr>(E)) {
162 if (CCE->getParenOrBraceRange().isValid())
165 assert(CCE->getNumArgs() >= 1 &&
"implicit construct expr should have 1 arg");
186 if (
const auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(Template))
187 return NTTP->getType();
194 if (
const auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(Template))
195 return NTTP->getDepth();
200 if (
const auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(Template))
201 return NTTP->getIndex();
214 if (
const auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(Template))
220 if (
const auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(Template))
221 return NTTP->isExpandedParameterPack();
226 if (
const auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(Template))
227 return NTTP->getLocation();
231 operator bool()
const {
return Template; }
245 if (
const auto *DRE = dyn_cast<DeclRefExpr>(E))
246 if (
const auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(DRE->getDecl()))
247 if (!Depth || NTTP->getDepth() == *Depth)
251 if (
const auto *DTI = dyn_cast<DependentTemplateIdExpr>(E))
252 if (!DTI->getTemplateName().getAsPackIndexingTemplate() &&
253 (!Depth || DTI->getParameter()->getDepth() == *Depth))
254 return DTI->getParameter();
263 return NTTP.getType();
276 X = NX->getUnderlyingDecl();
277 if (
NamedDecl *NY = dyn_cast<NamedDecl>(Y))
278 Y = NY->getUnderlyingDecl();
291 bool AggregateCandidateDeduction =
false) {
304 QualType XType =
X.getNonTypeTemplateArgumentType();
307 if (YType.
isNull() || !Context.hasSameType(XType, YType))
312 switch (
X.getKind()) {
314 llvm_unreachable(
"Non-deduced template arguments handled above");
321 X.wasDeducedFromArrayBound() ||
327 return X.wasDeducedFromArrayBound() ? Y :
X;
341 return X.wasDeducedFromArrayBound() ? Y :
X;
350 X.structurallyEquals(Y)))
358 Context.hasSameTemplateName(
X.getAsTemplate(), Y.
getAsTemplate()))
366 Context.hasSameTemplateName(
X.getAsTemplateOrTemplatePattern(),
378 llvm::FoldingSetNodeID ID1, ID2;
379 X.getAsExpr()->Profile(ID1, Context,
true);
382 return X.wasDeducedFromArrayBound() ? Y :
X;
389 assert(!
X.wasDeducedFromArrayBound());
402 X.getParamTypeForDecl());
439 (!AggregateCandidateDeduction &&
X.pack_size() != Y.
pack_size()))
451 if (Merged.isNull() && !(XA->isNull() && YA->isNull()))
453 NewPack.push_back(Merged);
456 NewPack.push_back(*XA);
466 llvm_unreachable(
"Invalid TemplateArgument Kind!");
479 bool *HasDeducedAnyParam) {
481 "deducing non-type template argument with wrong depth");
505 if (
auto *Expansion = dyn_cast<PackExpansionType>(ParamType))
506 ParamType = Expansion->getPattern();
512 ValueType = ValueType.getNonReferenceType();
519 S, TemplateParams, ParamType, ValueType, Info,
Deduced,
533 bool *HasDeducedAnyParam) {
535 S, TemplateParams, NTTP,
537 DeducedFromArrayBound),
549 bool *HasDeducedAnyParam) {
571 bool *HasDeducedAnyParam) {
587 bool *HasDeducedAnyParam) {
599 bool *HasDeducedAnyParam) {
607 if (
auto *TempParam = dyn_cast<TemplateTemplateParmDecl>(ParamDecl)) {
614 unsigned StartPos = 0;
631 Arg, {StartPos, DefaultArguments.drop_front(StartPos)}))
637 Info.
Param = TempParam;
644 if (HasDeducedAnyParam)
645 *HasDeducedAnyParam =
true;
680 const TemplateSpecializationType *LastTST =
nullptr;
682 const TemplateSpecializationType *TST =
683 T->getAs<TemplateSpecializationType>();
686 if (!TST->isSugared())
689 T = TST->desugar().getTypePtr();
698 bool *HasDeducedAnyParam) {
703 TNP = TP->getTemplateName();
712 TP->castAsCanonical<TemplateSpecializationType>()->template_arguments();
714 const auto *TT = P->
castAs<InjectedClassNameType>();
715 TNP = TT->getTemplateName(S.
Context);
716 PResolved = TT->getTemplateArgs(S.
Context);
738 SA->getCanonicalTypeInternal()
739 ->castAs<TemplateSpecializationType>()
740 ->template_arguments();
754 S, TemplateParams, PResolved, AResolved, Info,
Deduced,
762 const auto *TA = A->
getAs<TagType>();
768 TNA = TST->getTemplateName();
770 TNA = TA->getTemplateName(S.
Context);
789 S, TemplateParams, PResolved, AResolved, Info,
Deduced,
795 assert(
T->isCanonicalUnqualified());
797 switch (
T->getTypeClass()) {
798 case Type::TypeOfExpr:
800 case Type::DependentName:
802 case Type::PackIndexing:
803 case Type::UnresolvedUsing:
804 case Type::TemplateTypeParm:
808 case Type::ConstantArray:
809 case Type::IncompleteArray:
810 case Type::VariableArray:
811 case Type::DependentSizedArray:
824 T->getCanonicalTypeInternal().getTypePtr());
862class PackDeductionScope {
870 bool DeducePackIfNotAlreadyDeduced =
false,
871 bool FinishingDeduction =
false)
872 : S(S), TemplateParams(TemplateParams),
Deduced(
Deduced), Info(Info),
873 DeducePackIfNotAlreadyDeduced(DeducePackIfNotAlreadyDeduced),
874 FinishingDeduction(FinishingDeduction) {
875 unsigned NumNamedPacks = addPacks(Pattern);
876 finishConstruction(NumNamedPacks);
880 PackDeductionScope(Sema &S, TemplateParameterList *TemplateParams,
881 SmallVectorImpl<DeducedTemplateArgument> &
Deduced,
882 TemplateDeductionInfo &Info,
unsigned Index)
883 : S(S), TemplateParams(TemplateParams),
Deduced(
Deduced), Info(Info) {
885 finishConstruction(1);
889 void addPack(
unsigned Index) {
892 DeducedFromEarlierParameter = !
Deduced[Index].isNull();
893 DeducedPack Pack(Index);
894 if (!FinishingDeduction) {
896 Deduced[Index] = TemplateArgument();
904 FixedNumExpansions = ExpandedPackExpansions;
906 Packs.push_back(Pack);
909 unsigned addPacks(TemplateArgument Pattern) {
912 llvm::SmallBitVector SawIndices(TemplateParams->size());
913 llvm::SmallVector<TemplateArgument, 4> ExtraDeductions;
915 auto AddPack = [&](
unsigned Index) {
916 if (SawIndices[Index])
918 SawIndices[Index] =
true;
925 if (
auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(
926 TemplateParams->getParam(Index))) {
927 if (!NTTP->isExpandedParameterPack())
930 if (
auto *Expansion = dyn_cast<PackExpansionType>(
931 S.Context.getUnconstrainedType(NTTP->getType())))
932 ExtraDeductions.push_back(Expansion->getPattern());
938 auto Collect = [&](TemplateArgument Pattern) {
939 SmallVector<UnexpandedParameterPack, 2> Unexpanded;
940 S.collectUnexpandedParameterPacks(Pattern, Unexpanded);
941 for (
unsigned I = 0, N = Unexpanded.size(); I != N; ++I) {
942 unsigned Depth, Index;
945 if (isa_and_present<ParmVarDecl>(
946 dyn_cast<NamedDecl *>(Unexpanded[I].first)))
949 std::tie(Depth, Index) = *DI;
953 if (Depth == Info.getDeducedDepth())
961 unsigned NumNamedPacks = Packs.size();
965 while (!ExtraDeductions.empty())
966 Collect(ExtraDeductions.pop_back_val());
968 return NumNamedPacks;
971 void finishConstruction(
unsigned NumNamedPacks) {
973 const TemplateArgument *PartialPackArgs =
nullptr;
974 unsigned NumPartialPackArgs = 0;
975 std::pair<unsigned, unsigned> PartialPackDepthIndex(-1u, -1u);
976 if (
auto *Scope = S.CurrentInstantiationScope)
977 if (
auto *Partial = Scope->getPartiallySubstitutedPack(
978 &PartialPackArgs, &NumPartialPackArgs))
984 bool IsExpanded =
true;
985 for (
unsigned I = 0; I != NumNamedPacks; ++I) {
986 if (Packs[I].Index >= Info.getNumExplicitArgs()) {
988 IsPartiallyExpanded =
false;
991 if (PartialPackDepthIndex ==
992 std::make_pair(Info.getDeducedDepth(), Packs[I].Index)) {
993 IsPartiallyExpanded =
true;
1001 if (IsPartiallyExpanded)
1002 PackElements += NumPartialPackArgs;
1003 else if (IsExpanded && FixedNumExpansions)
1004 PackElements += *FixedNumExpansions;
1006 for (
auto &Pack : Packs) {
1007 if (Info.PendingDeducedPacks.size() > Pack.Index)
1008 Pack.Outer = Info.PendingDeducedPacks[Pack.Index];
1010 Info.PendingDeducedPacks.resize(Pack.Index + 1);
1011 Info.PendingDeducedPacks[Pack.Index] = &Pack;
1013 if (PartialPackDepthIndex ==
1014 std::make_pair(Info.getDeducedDepth(), Pack.Index)) {
1015 Pack.New.append(PartialPackArgs, PartialPackArgs + NumPartialPackArgs);
1021 ~PackDeductionScope() {
1022 for (
auto &Pack : Packs)
1023 Info.PendingDeducedPacks[Pack.Index] = Pack.Outer;
1028 unsigned PackSize = Packs[0].Saved.pack_size();
1030 if (std::all_of(Packs.begin() + 1, Packs.end(), [&PackSize](
const auto &P) {
1031 return P.Saved.pack_size() == PackSize;
1034 return std::nullopt;
1039 bool isDeducedFromEarlierParameter()
const {
1040 return DeducedFromEarlierParameter;
1045 bool isPartiallyExpanded() {
return IsPartiallyExpanded; }
1050 bool hasFixedArity() {
return static_cast<bool>(FixedNumExpansions); }
1055 bool hasNextElement() {
1056 return !FixedNumExpansions || *FixedNumExpansions > PackElements;
1060 void nextPackElement() {
1064 if (!FinishingDeduction) {
1065 for (
auto &Pack : Packs) {
1066 DeducedTemplateArgument &DeducedArg =
Deduced[Pack.Index];
1067 if (!Pack.New.empty() || !DeducedArg.
isNull()) {
1068 while (Pack.New.size() < PackElements)
1069 Pack.New.push_back(DeducedTemplateArgument());
1070 if (Pack.New.size() == PackElements)
1071 Pack.New.push_back(DeducedArg);
1073 Pack.New[PackElements] = DeducedArg;
1074 DeducedArg = Pack.New.size() > PackElements + 1
1075 ? Pack.New[PackElements + 1]
1076 : DeducedTemplateArgument();
1087 if (FinishingDeduction)
1088 return TemplateDeductionResult::Success;
1091 for (
auto &Pack : Packs) {
1093 if (!FinishingDeduction)
1094 Deduced[Pack.Index] = Pack.Saved;
1109 Pack.New.resize(PackElements);
1112 DeducedTemplateArgument NewPack;
1113 if (Pack.New.empty()) {
1117 TemplateArgument *ArgumentPack =
1118 new (S.Context) TemplateArgument[Pack.New.size()];
1119 std::copy(Pack.New.begin(), Pack.New.end(), ArgumentPack);
1120 NewPack = DeducedTemplateArgument(
1121 TemplateArgument(llvm::ArrayRef(ArgumentPack, Pack.New.size())),
1127 Pack.New[0].wasDeducedFromArrayBound());
1131 DeducedTemplateArgument *Loc;
1133 if (Pack.Outer->DeferredDeduction.isNull()) {
1136 Pack.Outer->DeferredDeduction = NewPack;
1139 Loc = &Pack.Outer->DeferredDeduction;
1145 DeducedTemplateArgument OldPack = *Loc;
1147 S.Context, OldPack, NewPack, DeducePackIfNotAlreadyDeduced);
1149 Info.AggregateDeductionCandidateHasMismatchedArity =
1155 if (!
Result.isNull() && !Pack.DeferredDeduction.isNull()) {
1157 NewPack = Pack.DeferredDeduction;
1161 NamedDecl *Param = TemplateParams->getParam(Pack.Index);
1164 Info.FirstArg = OldPack;
1165 Info.SecondArg = NewPack;
1166 return TemplateDeductionResult::Inconsistent;
1172 if (*Expansions != PackElements) {
1175 return TemplateDeductionResult::IncompletePack;
1182 return TemplateDeductionResult::Success;
1187 TemplateParameterList *TemplateParams;
1188 SmallVectorImpl<DeducedTemplateArgument> &
Deduced;
1189 TemplateDeductionInfo &Info;
1190 unsigned PackElements = 0;
1191 bool IsPartiallyExpanded =
false;
1192 bool DeducePackIfNotAlreadyDeduced =
false;
1193 bool DeducedFromEarlierParameter =
false;
1194 bool FinishingDeduction =
false;
1198 SmallVector<DeducedPack, 2> Packs;
1208 bool FinishingDeduction,
T &&DeductFunc) {
1217 const PackExpansionType *Expansion
1218 = dyn_cast<PackExpansionType>(Params[
ParamIdx]);
1223 if (ArgIdx >= Args.size())
1235 DeductFunc(S, TemplateParams,
ParamIdx, ArgIdx,
1236 Params[
ParamIdx].getUnqualifiedType(),
1237 Args[ArgIdx].getUnqualifiedType(), Info,
Deduced, POK);
1252 QualType Pattern = Expansion->getPattern();
1253 PackDeductionScope PackScope(S, TemplateParams,
Deduced, Info, Pattern,
1255 FinishingDeduction);
1259 if (
ParamIdx + 1 == Params.size() || PackScope.hasFixedArity()) {
1260 for (; ArgIdx < Args.size() && PackScope.hasNextElement(); ++ArgIdx) {
1263 S, TemplateParams,
ParamIdx, ArgIdx,
1268 PackScope.nextPackElement();
1289 if (NumExpansions && !PackScope.isPartiallyExpanded()) {
1290 for (
unsigned I = 0; I != *NumExpansions && ArgIdx < Args.size();
1292 PackScope.nextPackElement();
1298 if (
auto Result = PackScope.finish();
1314 if (ArgIdx < Args.size())
1357 llvm::SmallBitVector *HasDeducedParam) {
1358 return ::DeduceForEachType(
1359 S, TemplateParams, Params, Args, Info,
Deduced, POK,
1365 bool HasDeducedAnyParamCopy =
false;
1367 S, TemplateParams, P, A, Info,
Deduced, TDF, POK,
1368 false, &HasDeducedAnyParamCopy);
1369 if (HasDeducedAnyParam && HasDeducedAnyParamCopy)
1370 *HasDeducedAnyParam =
true;
1371 if (HasDeducedParam && HasDeducedAnyParamCopy)
1372 (*HasDeducedParam)[
ParamIdx] =
true;
1386 if (ParamQs == ArgQs)
1414 return Context.hasSameType(P, A);
1421 return Context.hasSameFunctionTypeIgnoringExceptionSpec(P, A);
1430 if (!Guide || !Guide->isImplicit())
1432 return Guide->getDeducedTemplate()->getTemplateParameters()->size();
1442 if (ParamRef->getPointeeType().getQualifiers())
1445 ParamRef->getPointeeType()->getAsCanonical<TemplateTypeParmType>();
1446 return TypeParm && TypeParm->getIndex() >= FirstInnerIndex;
1474 bool *HasDeducedAnyParam) {
1500 bool HasDeducedAnyParam;
1502 llvm::MapVector<const CXXRecordDecl *, MatchValue> Matches;
1504 auto AddBases = [&Visited, &ToVisit](
const CXXRecordDecl *RD) {
1507 assert(
T->isRecordType() &&
"Base class that isn't a record?");
1508 if (Visited.insert(
T->getAsCXXRecordDecl()).second)
1509 ToVisit.push_back(
T);
1518 while (!ToVisit.empty()) {
1519 QualType NextT = ToVisit.pop_back_val();
1524 bool HasDeducedAnyParamCopy =
false;
1527 &HasDeducedAnyParamCopy);
1533 Matches.insert({RD, {DeducedCopy, HasDeducedAnyParamCopy}});
1544 if (Matches.size() > 1) {
1546 for (
const auto &
Match : Matches)
1547 AddBases(
Match.first);
1551 while (Matches.size() > 1 && !ToVisit.empty()) {
1552 const CXXRecordDecl *RD = ToVisit.pop_back_val()->getAsCXXRecordDecl();
1561 if (Matches.empty())
1563 if (Matches.size() > 1)
1566 std::swap(Matches.front().second.Deduced,
Deduced);
1567 if (
bool HasDeducedAnyParamCopy = Matches.front().second.HasDeducedAnyParam;
1568 HasDeducedAnyParamCopy && HasDeducedAnyParam)
1569 *HasDeducedAnyParam = HasDeducedAnyParamCopy;
1610 bool *HasDeducedAnyParam) {
1614 if (
const auto *AExp = dyn_cast<PackExpansionType>(A))
1615 A = AExp->getPattern();
1710 if (
const auto *TTP = P->
getAsCanonical<TemplateTypeParmType>()) {
1716 unsigned Index = TTP->getIndex();
1743 "saw template type parameter with wrong depth");
1745 "Unresolved overloaded function");
1788 case Decl::TemplateTypeParm:
1791 case Decl::NonTypeTemplateParm:
1794 case Decl::TemplateTemplateParm:
1798 llvm_unreachable(
"unexpected kind");
1806 if (HasDeducedAnyParam)
1807 *HasDeducedAnyParam =
true;
1819 if (P->
getAs<SubstTemplateTypeParmPackType>())
1865#define NON_CANONICAL_TYPE(Class, Base) \
1866 case Type::Class: llvm_unreachable("deducing non-canonical type: " #Class);
1867#define TYPE(Class, Base)
1868#include "clang/AST/TypeNodes.inc"
1870 case Type::TemplateTypeParm:
1871 case Type::SubstTemplateTypeParmPack:
1872 case Type::SubstBuiltinTemplatePack:
1873 llvm_unreachable(
"Type nodes handled above");
1885 case Type::VariableArray:
1887 case Type::FunctionNoProto:
1890 case Type::ObjCObject:
1891 case Type::ObjCInterface:
1892 case Type::ObjCObjectPointer:
1902 case Type::Complex: {
1907 S, TemplateParams, CP->getElementType(), CA->getElementType(), Info,
1909 false, HasDeducedAnyParam);
1913 case Type::Atomic: {
1918 S, TemplateParams, PA->getValueType(), AA->getValueType(), Info,
1920 false, HasDeducedAnyParam);
1924 case Type::Pointer: {
1938 false, HasDeducedAnyParam);
1942 case Type::LValueReference: {
1949 S, TemplateParams, RP->getPointeeType(), RA->getPointeeType(), Info,
1951 false, HasDeducedAnyParam);
1955 case Type::RValueReference: {
1962 S, TemplateParams, RP->getPointeeType(), RA->getPointeeType(), Info,
1964 false, HasDeducedAnyParam);
1968 case Type::IncompleteArray: {
1974 assert(IAP &&
"Template parameter not of incomplete array type");
1977 S, TemplateParams, IAP->getElementType(), IAA->getElementType(), Info,
1980 false, HasDeducedAnyParam);
1984 case Type::ConstantArray: {
1988 if (!CAA || CAA->getSize() != CAP->getSize())
1992 S, TemplateParams, CAP->getElementType(), CAA->getElementType(), Info,
1995 false, HasDeducedAnyParam);
1999 case Type::DependentSizedArray: {
2008 S, TemplateParams, DAP->getElementType(), AA->getElementType(),
2011 false, HasDeducedAnyParam);
2024 "saw non-type template parameter with wrong depth");
2025 if (
const auto *CAA = dyn_cast<ConstantArrayType>(AA)) {
2026 llvm::APSInt Size(CAA->getSize());
2032 if (
const auto *DAA = dyn_cast<DependentSizedArrayType>(AA))
2033 if (DAA->getSizeExpr())
2035 S, TemplateParams, NTTP, DAA->getSizeExpr(), Info,
2045 case Type::FunctionProto: {
2051 if (FPP->getMethodQuals() != FPA->getMethodQuals() ||
2052 FPP->getRefQualifier() != FPA->getRefQualifier() ||
2053 FPP->isVariadic() != FPA->isVariadic())
2058 S, TemplateParams, FPP->getReturnType(), FPA->getReturnType(),
2060 false, HasDeducedAnyParam);
2066 S, TemplateParams, FPP->param_types(), FPA->param_types(), Info,
2079 Expr *NoexceptExpr = FPP->getNoexceptExpr();
2084 "saw non-type template parameter with wrong depth");
2087 switch (FPA->canThrow()) {
2101 if (
Expr *ArgNoexceptExpr = FPA->getNoexceptExpr())
2103 S, TemplateParams, NTTP, ArgNoexceptExpr, Info,
2117 case Type::InjectedClassName:
2126 case Type::TemplateSpecialization: {
2173 case Type::MemberPointer: {
2190 S, TemplateParams, PPT, APT, Info,
Deduced, SubTDF,
2192 false, HasDeducedAnyParam);
2199 :
QualType(MPP->getQualifier().getAsType(), 0);
2200 assert(!TP.
isNull() &&
"member pointer with non-type class");
2205 :
QualType(MPA->getQualifier().getAsType(), 0)
2207 assert(!TA.
isNull() &&
"member pointer with non-type class");
2210 S, TemplateParams, TP, TA, Info,
Deduced, SubTDF,
2212 false, HasDeducedAnyParam);
2220 case Type::BlockPointer: {
2226 S, TemplateParams, BPP->getPointeeType(), BPA->getPointeeType(), Info,
2228 false, HasDeducedAnyParam);
2234 case Type::ExtVector: {
2239 if (VP->getNumElements() != VA->getNumElements())
2241 ElementType = VA->getElementType();
2246 ElementType = VA->getElementType();
2252 S, TemplateParams, VP->getElementType(), ElementType, Info,
Deduced,
2254 false, HasDeducedAnyParam);
2257 case Type::DependentVector: {
2263 S, TemplateParams, VP->getElementType(), VA->getElementType(),
2265 false, HasDeducedAnyParam);
2276 ArgSize = VA->getNumElements();
2283 HasDeducedAnyParam);
2289 S, TemplateParams, VP->getElementType(), VA->getElementType(),
2291 false, HasDeducedAnyParam);
2302 S, TemplateParams, NTTP, VA->getSizeExpr(), Info,
2312 case Type::DependentSizedExtVector: {
2318 S, TemplateParams, VP->getElementType(), VA->getElementType(),
2320 false, HasDeducedAnyParam);
2331 ArgSize = VA->getNumElements();
2336 S, TemplateParams, NTTP, ArgSize, S.
Context.
IntTy,
true, Info,
2343 S, TemplateParams, VP->getElementType(), VA->getElementType(),
2345 false, HasDeducedAnyParam);
2356 S, TemplateParams, NTTP, VA->getSizeExpr(), Info,
2367 case Type::ConstantMatrix: {
2374 if (MP->getNumRows() != MA->getNumRows() ||
2375 MP->getNumColumns() != MA->getNumColumns()) {
2380 S, TemplateParams, MP->getElementType(), MA->getElementType(), Info,
2382 false, HasDeducedAnyParam);
2385 case Type::DependentSizedMatrix: {
2395 false, HasDeducedAnyParam);
2400 auto DeduceMatrixArg =
2401 [&S, &Info, &
Deduced, &TemplateParams, &HasDeducedAnyParam, POK](
2405 const auto *ACM = dyn_cast<ConstantMatrixType>(A);
2406 const auto *ADM = dyn_cast<DependentSizedMatrixType>(A);
2407 if (!ParamExpr->isValueDependent()) {
2408 std::optional<llvm::APSInt> ParamConst =
2409 ParamExpr->getIntegerConstantExpr(S.
Context);
2414 if ((ACM->*GetArgDimension)() == *ParamConst)
2419 Expr *ArgExpr = (ADM->*GetArgDimensionExpr)();
2420 if (std::optional<llvm::APSInt> ArgConst =
2422 if (*ArgConst == *ParamConst)
2433 llvm::APSInt ArgConst(
2435 ArgConst = (ACM->*GetArgDimension)();
2443 S, TemplateParams, NTTP, (ADM->*GetArgDimensionExpr)(), Info,
2447 if (
auto Result = DeduceMatrixArg(MP->getRowExpr(), MA,
2453 return DeduceMatrixArg(MP->getColumnExpr(), MA,
2461 case Type::DependentAddressSpace: {
2467 S, TemplateParams, ASP->getPointeeType(), ASA->getPointeeType(),
2469 false, HasDeducedAnyParam);
2480 S, TemplateParams, NTTP, ASA->getAddrSpaceExpr(), Info,
2491 S, TemplateParams, ASP->getPointeeType(),
2494 false, HasDeducedAnyParam);
2505 S, TemplateParams, NTTP, ArgAddressSpace, S.
Context.
IntTy,
true,
2507 HasDeducedAnyParam);
2512 case Type::DependentBitInt: {
2516 if (IP->isUnsigned() != IA->isUnsigned())
2527 ArgSize = IA->getNumBits();
2530 S, TemplateParams, NTTP, ArgSize,
T,
true, Info,
2535 if (IP->isUnsigned() != IA->isUnsigned())
2543 case Type::TypeOfExpr:
2545 case Type::DependentName:
2546 case Type::UnresolvedUsing:
2547 case Type::Decltype:
2548 case Type::UnaryTransform:
2549 case Type::DeducedTemplateSpecialization:
2550 case Type::PackExpansion:
2552 case Type::ArrayParameter:
2553 case Type::HLSLAttributedResource:
2554 case Type::HLSLInlineSpirv:
2555 case Type::OverflowBehavior:
2559 case Type::PackIndexing:
2564 assert(!P->
getAs<PackIndexingType>()->hasSelectedType() &&
2565 "a pack-index-specifier with a selected type canonicalizes to "
2566 "the selected type and should not dispatch here");
2570 llvm_unreachable(
"Invalid Type Class!");
2592 bool *HasDeducedAnyParam) {
2601 llvm_unreachable(
"Null template argument in parameter list");
2609 false, HasDeducedAnyParam);
2621 HasDeducedAnyParam);
2627 llvm_unreachable(
"caller should handle pack expansions");
2681 HasDeducedAnyParam);
2702 llvm_unreachable(
"Unknown template argument kind");
2707 llvm_unreachable(
"Argument packs should be expanded by the caller!");
2710 llvm_unreachable(
"Invalid TemplateArgument Kind!");
2723 if (ArgIdx == Args.size())
2730 assert(ArgIdx == Args.size() - 1 &&
"Pack not at the end of argument list?");
2733 return ArgIdx < Args.size();
2739 bool FoundPackExpansion =
false;
2740 for (
const auto &A : Args) {
2741 if (FoundPackExpansion)
2749 if (A.isPackExpansion())
2750 FoundPackExpansion =
true;
2780 for (
unsigned ArgIdx = 0,
ParamIdx = 0; ; ) {
2786 if (!Ps[
ParamIdx].isPackExpansion()) {
2791 return !FoldPackArgument && NumberOfArgumentsMustMatch
2795 if (As[ArgIdx].isPackExpansion()) {
2800 if (!FoldPackArgument)
2807 S, TemplateParams, Ps[
ParamIdx], Pattern, Info,
2815 if (Ps[
ParamIdx].isPackExpansion())
2821 S, TemplateParams, Ps[
ParamIdx], As[ArgIdx], Info,
2842 PackDeductionScope PackScope(S, TemplateParams,
Deduced, Info, Pattern);
2848 PackScope.hasNextElement();
2850 if (!As[ArgIdx].isPackExpansion()) {
2851 if (!FoldPackParameter)
2853 if (FoldPackArgument)
2863 PackScope.nextPackElement();
2868 return PackScope.finish();
2876 bool NumberOfArgumentsMustMatch) {
2877 return ::DeduceTemplateArguments(
2878 *
this, TemplateParams, Ps, As, Info,
Deduced, NumberOfArgumentsMustMatch,
2888 llvm_unreachable(
"Can't get a NULL template argument here");
2936 llvm_unreachable(
"Invalid TemplateArgument Kind!");
2954 unsigned ArgumentPackIndex) {
2966 Template->getSourceRange().getEnd(), ArgumentPackIndex, CTAI,
2980 CanonicalPackedArgsBuilder;
2988 "deduced nested pack");
2994 S.
Diag(Param->getLocation(),
2995 diag::err_template_arg_deduced_incomplete_pack)
2999 if (ConvertArg(InnerArg, SugaredPackedArgsBuilder.size()))
3004 CanonicalPackedArgsBuilder.push_back(
3010 if (SugaredPackedArgsBuilder.empty()) {
3016 if (
auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(Param)) {
3021 S.
SubstType(NTTP->getType(), Args, NTTP->getLocation(),
3022 NTTP->getDeclName()).isNull())
3024 }
else if (
auto *TTP = dyn_cast<TemplateTemplateParmDecl>(Param)) {
3040 S.
Context, CanonicalPackedArgsBuilder));
3044 return ConvertArg(Arg, 0);
3056 unsigned NumAlreadyConverted,
bool *IsIncomplete) {
3057 for (
unsigned I = 0, N = TemplateParams->
size(); I != N; ++I) {
3064 if (
Deduced[I].isNull() && Param->isTemplateParameterPack()) {
3066 PackDeductionScope(S, TemplateParams,
Deduced, Info, I).finish();
3072 if (I < NumAlreadyConverted) {
3076 if (Param->isParameterPack() && CurrentInstantiationScope &&
3116 *IsIncomplete =
true;
3123 bool HasDefaultArg =
false;
3136 if (Rec->isLambda())
3137 if (
auto *Method = dyn_cast<CXXMethodDecl>(Rec->getDeclContext())) {
3139 ThisTypeQuals = Method->getMethodQualifiers();
3184 if (
auto *DC = dyn_cast<DeclContext>(D))
3207 bool DeducedArgsNeedReplacement =
false;
3208 if (
auto *TD = dyn_cast<ClassTemplatePartialSpecializationDecl>(
Template)) {
3209 TD->getAssociatedConstraints(AssociatedConstraints);
3210 DeducedArgsNeedReplacement = !TD->isClassScopeExplicitSpecialization();
3211 }
else if (
auto *TD =
3212 dyn_cast<VarTemplatePartialSpecializationDecl>(
Template)) {
3213 TD->getAssociatedConstraints(AssociatedConstraints);
3214 DeducedArgsNeedReplacement = !TD->isClassScopeExplicitSpecialization();
3217 AssociatedConstraints);
3220 std::optional<ArrayRef<TemplateArgument>> Innermost;
3223 if (!DeducedArgsNeedReplacement)
3224 Innermost = SugaredDeducedArgs;
3263 Info.
FirstArg = Ps[ArgIdx].getArgument();
3270 {},
false, InstCTAI,
3283 while (!Stack.empty()) {
3284 auto &Xs = Stack.back();
3289 auto &
X = Xs.front();
3291 Stack.emplace_back(
X.getPackAsArray());
3292 Xs = Xs.drop_front();
3295 assert(!
X.isNull());
3302 auto [Ps, P] = take(PsStack);
3303 auto [As, A] = take(AsStack);
3304 if (P.isNull() && A.isNull())
3307 PA = A.isPackExpansion() ? A.getPackExpansionPattern() : A;
3309 if (!P.isPackExpansion() && !A.isPackExpansion()) {
3311 (AsStack.empty() ? As.end() : AsStack.back().begin()) -
3317 if (P.isPackExpansion()) {
3318 Ps = Ps.drop_front();
3321 if (A.isPackExpansion()) {
3322 As = As.drop_front();
3326 Ps = Ps.drop_front(P.isPackExpansion() ? 0 : 1);
3327 As = As.drop_front(A.isPackExpansion() && !P.isPackExpansion() ? 0 : 1);
3329 assert(PsStack.empty());
3330 assert(AsStack.empty());
3355 if (CopyDeducedArgs) {
3361 Info.
reset(SugaredDeducedArgumentList, CanonicalDeducedArgumentList);
3389 for (
unsigned I = 0, N = Ps.size(); I != N; ++I)
3394 Info, CopyDeducedArgs);
3425template <
typename T>
3426static std::enable_if_t<IsPartialSpecialization<T>::value,
3431 if (Partial->isInvalidDecl())
3450 Deduced.resize(Partial->getTemplateParameters()->size());
3452 S, Partial->getTemplateParameters(),
3453 Partial->getTemplateArgs().asArray(), TemplateArgs, Info,
Deduced,
3467 Result = ::FinishTemplateArgumentDeduction(
3468 S, Partial, Partial->getTemplateParameters(),
3469 Partial->getSpecializedTemplate(),
3471 Partial->getTemplateArgsAsWritten()->arguments(), TemplateArgs, Deduced,
3488 return ::DeduceTemplateArguments(*
this, Partial, TemplateArgs, Info);
3494 return ::DeduceTemplateArguments(*
this, Partial, TemplateArgs, Info);
3504 if (
const auto *CTD = dyn_cast<ClassTemplateDecl>(TD)) {
3506 PType =
Context.getCanonicalTagType(CTD->getTemplatedDecl());
3507 }
else if (
const auto *
AliasTemplate = dyn_cast<TypeAliasTemplateDecl>(TD)) {
3508 PType =
AliasTemplate->getTemplatedDecl()->getUnderlyingType();
3510 assert(
false &&
"Expected a class or alias template");
3529 return DeducedResult;
3539 Result = ::FinishTemplateArgumentDeduction(*this, TD, Deduced, Info);
3553 if (
const TemplateSpecializationType *Spec
3554 =
T->getAs<TemplateSpecializationType>())
3555 return Spec->getTemplateName().getAsTemplateDecl() !=
nullptr;
3584 if (ExplicitTemplateArgs.
size() == 0) {
3587 for (
auto *P :
Function->parameters())
3588 ParamTypes.push_back(P->getType());
3613 ExplicitTemplateArgs, {},
3617 if (Index >= TemplateParams->
size())
3630 CanonicalExplicitArgumentList);
3642 unsigned PartiallySubstitutedPackIndex = -1u;
3650 if (!Expansions || Arg.
pack_size() < *Expansions) {
3660 assert(Proto &&
"Function template does not have a prototype?");
3668 SugaredExplicitArgumentList->
asArray(),
3678 nullptr, ExtParamInfos))
3694 ThisContext =
Method->getParent();
3695 ThisTypeQuals =
Method->getMethodQualifiers();
3709 Diag(
Function->getLocation(), diag::err_kern_type_not_void_return)
3720 nullptr, ExtParamInfos))
3745 for (
unsigned I = 0, N = SugaredExplicitArgumentList->
size(); I != N; ++I) {
3747 if (I == PartiallySubstitutedPackIndex)
3820 if (AQuals == DeducedAQuals) {
3838 bool ObjCLifetimeConversion =
false;
3841 ObjCLifetimeConversion) ||
3863 if (Context.hasSameUnqualifiedType(A, DeducedA))
3887 if (PD->isParameterPack()) {
3890 unsigned NumExpansions = NumArgs ? *NumArgs : 1;
3891 if (Idx + NumExpansions >
ParamIdx)
3893 Idx += NumExpansions;
3896 return std::nullopt;
3901 llvm_unreachable(
"parameter index would not be produced from template");
3956 bool ForOverloadSetAddressResolution,
3957 llvm::function_ref<
bool(
bool)> CheckNonDependent) {
3972 bool IsIncomplete =
false;
3977 NumExplicitlySpecified, PartialOverloading ? &IsIncomplete :
nullptr);
3986 Info.
reset(SugaredDeducedArgumentList, CanonicalDeducedArgumentList);
3995 if (CheckNonDependent(
true))
4007 if (!IsLambda && !IsIncomplete) {
4027 if (CheckNonDependent(
false))
4044 CanonicalDeducedArgumentList)
4055 if (IsLambda && !IsIncomplete) {
4078 if (OriginalCallArgs) {
4083 llvm::SmallDenseMap<std::pair<unsigned, QualType>,
QualType> DeducedATypes;
4084 for (
unsigned I = 0, N = OriginalCallArgs->size(); I != N; ++I) {
4088 unsigned ExplicitOffset =
4090 !ForOverloadSetAddressResolution)
4111 if (CacheEntry.
isNull()) {
4120 DeducedA = CacheEntry;
4135 auto [Pos, Inserted] =
4152 if (Candidate.Specialization &&
4183 DeducedArgLists.reserve(TPLs.size());
4189 Params, PatternArgs, CandidateArgs, Info,
Deduced,
4193 bool IsIncomplete =
false;
4196 *
this, PatternCTD, Params,
false,
Deduced, Info, CTAI,
4197 &InstantiationScope, 0, &IsIncomplete);
4199 for (
unsigned I = 0, N =
Deduced.size(); I != N; ++I) {
4218 DeducedArgLists.push_back(
4230 return Params->hasAssociatedConstraints();
4235 PatternArgLocs.reserve(PatternArgs.size());
4237 PatternArgLocs.push_back(
4244 *
this, CandidateCTD, PatternArgLocs, CandidateArgs, DeducedArgs, Info);
4257 if (Constraints.empty())
4268 CanonicalCandidateArgs.reserve(CandidateArgs.size());
4270 CanonicalCandidateArgs.push_back(
4271 Context.getCanonicalTemplateArgument(Arg));
4276 *
this, PatternCTD, Info,
4290 if (S.
getLangOpts().CPlusPlus14 && Fn->getReturnType()->isUndeducedType() &&
4295 if (Method->isImplicitObjectMemberFunction()) {
4298 if (!R.HasFormOfMemberPointer)
4302 Fn->getType(), std::nullopt, Method->getParent());
4305 if (!R.IsAddressOfOperand)
return Fn->getType();
4316 bool ParamWasReference,
4325 if (ParamWasReference)
4327 if (R.IsAddressOfOperand)
4384 if (ArgType.isNull())
continue;
4388 ArgType->isFunctionType())
4407 S, TemplateParams, ParamType, ArgType, Info,
Deduced, TDF,
4451 assert(Arg &&
"expected a non-null arg expression");
4453 ParamRefType !=
nullptr, FailedTSC);
4454 if (ArgType.isNull())
4460 if (ArgType->isIncompleteArrayType()) {
4461 assert(Arg &&
"expected a non-null arg expression");
4470 if (S.
getLangOpts().OpenCL && !ArgType.hasAddressSpace())
4484 if (ArgType->canDecayToPointerType())
4489 ArgType = ArgType.getUnqualifiedType();
4507 if (ArgType->isPointerType() || ArgType->isMemberPointerType() ||
4508 ArgType->isObjCObjectPointerType())
4535 bool DecomposedParam,
unsigned ArgIdx,
unsigned TDF,
4560 ElTy = ArrTy->getElementType();
4577 S, TemplateParams, 0, ElTy, E->getType(),
4579 OriginalCallArgs,
true, ArgIdx, TDF);
4587 if (
auto *DependentArrTy = dyn_cast_or_null<DependentSizedArrayType>(ArrTy)) {
4599 S, TemplateParams, NTTP, llvm::APSInt(Size),
T,
4619 bool DecomposedParam,
unsigned ArgIdx,
unsigned TDF,
4622 QualType OrigParamType = ParamType;
4627 S, TemplateParams, FirstInnerIndex, ParamType, ArgType,
4628 ArgClassification, Arg, TDF, FailedTSC))
4632 if (
InitListExpr *ILE = dyn_cast_if_present<InitListExpr>(Arg))
4634 Deduced, OriginalCallArgs, ArgIdx, TDF);
4642 OriginalCallArgs.push_back(
4645 S, TemplateParams, ParamType, ArgType, Info,
Deduced, TDF,
4654 bool PartialOverloading,
bool AggregateDeductionCandidate,
4657 bool ForOverloadSetAddressResolution,
4663 unsigned NumParams =
Function->getNumParams();
4664 bool HasExplicitObject =
false;
4665 int ExplicitObjectOffset = 0;
4673 if (!ForOverloadSetAddressResolution &&
4674 Function->hasCXXExplicitFunctionObjectParameter()) {
4675 HasExplicitObject =
true;
4676 ExplicitObjectOffset = 1;
4685 if (Args.size() <
Function->getMinRequiredExplicitArguments() &&
4686 !PartialOverloading)
4689 PartialOverloading)) {
4691 if (Proto->isTemplateVariadic())
4693 else if (!Proto->isVariadic())
4708 unsigned NumExplicitlySpecified = 0;
4709 if (ExplicitTemplateArgs) {
4712 Result = SubstituteExplicitTemplateArguments(
4713 FunctionTemplate, *ExplicitTemplateArgs, Deduced, ParamTypes, nullptr,
4721 NumExplicitlySpecified =
Deduced.size();
4724 for (
unsigned I = 0; I != NumParams; ++I)
4725 ParamTypes.push_back(
Function->getParamDecl(I)->getType());
4731 auto DeduceCallArgument = [&](
QualType ParamType,
unsigned ArgIdx,
4732 bool ExplicitObjectArgument) {
4740 if (ExplicitObjectArgument) {
4743 *
this, TemplateParams, FirstInnerIndex, ParamType, ObjectType,
4744 ObjectClassification,
4745 nullptr, Info,
Deduced, OriginalCallArgs,
4751 *
this, TemplateParams, FirstInnerIndex, ParamType,
4753 Args[ArgIdx], Info,
Deduced, OriginalCallArgs,
false,
4760 for (
unsigned ParamIdx = 0, NumParamTypes = ParamTypes.size(), ArgIdx = 0;
4764 const PackExpansionType *ParamExpansion =
4765 dyn_cast<PackExpansionType>(ParamType);
4766 if (!ParamExpansion) {
4768 if (ArgIdx >= Args.size() && !(HasExplicitObject &&
ParamIdx == 0))
4771 ParamTypesForArgChecking.push_back(ParamType);
4773 if (
ParamIdx == 0 && HasExplicitObject) {
4777 if (
auto Result = DeduceCallArgument(ParamType, 0,
4784 if (
auto Result = DeduceCallArgument(ParamType, ArgIdx++,
4792 bool IsTrailingPack =
ParamIdx + 1 == NumParamTypes;
4794 QualType ParamPattern = ParamExpansion->getPattern();
4795 PackDeductionScope PackScope(*
this, TemplateParams,
Deduced, Info,
4797 AggregateDeductionCandidate && IsTrailingPack);
4815 if (IsTrailingPack || PackScope.hasFixedArity()) {
4816 for (; ArgIdx < Args.size() && PackScope.hasNextElement();
4817 PackScope.nextPackElement(), ++ArgIdx) {
4818 ParamTypesForArgChecking.push_back(ParamPattern);
4819 if (
auto Result = DeduceCallArgument(ParamPattern, ArgIdx,
4828 UnsignedOrNone NumExpansions = ParamExpansion->getNumExpansions();
4829 if (NumExpansions && !PackScope.isPartiallyExpanded()) {
4830 for (
unsigned I = 0; I != *NumExpansions && ArgIdx < Args.size();
4832 ParamTypesForArgChecking.push_back(ParamPattern);
4835 PackScope.nextPackElement();
4837 }
else if (!IsTrailingPack && !PackScope.isPartiallyExpanded() &&
4838 PackScope.isDeducedFromEarlierParameter()) {
4852 PackScope.getSavedPackSizeIfAllEqual();
4853 if (!ArgPosAfterSubstitution)
4856 unsigned PackArgEnd = ArgIdx + *ArgPosAfterSubstitution;
4857 for (; ArgIdx < PackArgEnd && ArgIdx < Args.size(); ArgIdx++) {
4858 ParamTypesForArgChecking.push_back(ParamPattern);
4860 DeduceCallArgument(ParamPattern, ArgIdx,
4865 PackScope.nextPackElement();
4872 if (
auto Result = PackScope.finish();
4883 Result = FinishTemplateArgumentDeduction(
4884 FunctionTemplate, Deduced, NumExplicitlySpecified, Specialization, Info,
4885 &OriginalCallArgs, PartialOverloading, PartialOrdering,
4886 ForOverloadSetAddressResolution,
4887 [&, CallingCtx](bool OnlyInitializeNonUserDefinedConversions) {
4888 ContextRAII SavedContext(*this, CallingCtx);
4889 return CheckNonDependent(ParamTypesForArgChecking,
4890 OnlyInitializeNonUserDefinedConversions);
4893 if (Trap.hasErrorOccurred()) {
4903 bool AdjustExceptionSpec) {
4904 if (ArgFunctionType.
isNull())
4905 return ArgFunctionType;
4910 bool Rebuild =
false;
4913 if (EPI.ExtInfo.getCC() != CC) {
4914 EPI.ExtInfo = EPI.ExtInfo.withCallingConv(CC);
4918 bool NoReturn = FunctionTypeP->getNoReturnAttr();
4919 if (EPI.ExtInfo.getNoReturn() != NoReturn) {
4920 EPI.ExtInfo = EPI.ExtInfo.withNoReturn(NoReturn);
4924 if (AdjustExceptionSpec && (FunctionTypeP->hasExceptionSpec() ||
4926 EPI.ExceptionSpec = FunctionTypeP->getExtProtoInfo().ExceptionSpec;
4931 return ArgFunctionType;
4941 bool IsAddressOfFunction) {
4961 unsigned NumExplicitlySpecified = 0;
4963 if (ExplicitTemplateArgs) {
4966 Result = SubstituteExplicitTemplateArguments(
4967 FunctionTemplate, *ExplicitTemplateArgs, Deduced, ParamTypes,
4968 &FunctionType, Info);
4975 NumExplicitlySpecified =
Deduced.size();
4981 if (!IsAddressOfFunction)
4989 bool HasDeducedReturnType =
false;
4991 Function->getReturnType()->getContainedAutoType()) {
4993 HasDeducedReturnType =
true;
5014 Result = FinishTemplateArgumentDeduction(
5015 FunctionTemplate, Deduced, NumExplicitlySpecified, Specialization, Info,
5017 true, IsAddressOfFunction);
5060 if (HasDeducedReturnType && IsAddressOfFunction &&
5080 if (!IsAddressOfFunction) {
5086 if (HasDeducedReturnType) {
5095 if (!ArgFunctionType.
isNull()) {
5097 SpecializationType, ArgFunctionType)
5098 : !
Context.hasSameFunctionTypeIgnoringExceptionSpec(
5099 SpecializationType, ArgFunctionType)) {
5137 if (!IsReferenceP) {
5146 assert(!A->
isReferenceType() &&
"Reference types were handled above");
5152 P =
Context.getArrayDecayedType(P);
5157 P =
Context.getPointerType(P);
5212 ParamType, ObjectType, ObjectClassification,
5213 nullptr, Info,
Deduced, OriginalCallArgs,
5220 *
this, TemplateParams, P, A, Info,
Deduced, TDF,
5232 Result = FinishTemplateArgumentDeduction(
5233 ConversionTemplate, Deduced, 0, ConversionSpecialized, Info,
5234 &OriginalCallArgs, false,
5237 Specialization = cast_or_null<CXXConversionDecl>(ConversionSpecialized);
5246 bool IsAddressOfFunction) {
5249 IsAddressOfFunction);
5253 struct DependentAuto {
bool IsPack; };
5257 class SubstituteDeducedTypeTransform :
5265 SubstituteDeducedTypeTransform(
Sema &SemaRef, DependentAuto DA)
5269 UseTypeSugar(
true) {}
5271 SubstituteDeducedTypeTransform(Sema &SemaRef, QualType Replacement,
5272 bool UseTypeSugar =
true)
5273 : TreeTransform<SubstituteDeducedTypeTransform>(SemaRef),
5276 Replacement(Replacement), UseTypeSugar(UseTypeSugar) {
5277 assert((!Replacement.isNull() || UseTypeSugar) &&
5278 "An undeduced auto type is never type sugar");
5281 QualType TransformDesugared(TypeLocBuilder &TLB, DeducedTypeLoc TL) {
5283 "unexpected unsugared replacement kind");
5284 QualType
Result = Replacement;
5285 TemplateTypeParmTypeLoc NewTL = TLB.
push<TemplateTypeParmTypeLoc>(
Result);
5290 QualType TransformAutoType(TypeLocBuilder &TLB, AutoTypeLoc TL) {
5301 return TransformDesugared(TLB, TL);
5304 DK, Replacement, TL.
getTypePtr()->getKeyword(),
5306 TL.
getTypePtr()->getTypeConstraintArguments());
5312 QualType TransformDeducedTemplateSpecializationType(
5313 TypeLocBuilder &TLB, DeducedTemplateSpecializationTypeLoc TL) {
5315 return TransformDesugared(TLB, TL);
5318 DK, Replacement, TL.
getTypePtr()->getKeyword(),
5320 auto NewTL = TLB.
push<DeducedTemplateSpecializationTypeLoc>(
Result);
5327 QualType TransformAtomicType(TypeLocBuilder &TLB, AtomicTypeLoc TL) {
5340 if (isa_and_nonnull<TemplateTypeParmType>(Replacement) &&
5342 return getDerived().TransformType(TLB, TL.
getValueLoc());
5343 return inherited::TransformAtomicType(TLB, TL);
5350 bool TransformExceptionSpec(SourceLocation Loc,
5351 FunctionProtoType::ExceptionSpecInfo &ESI,
5352 SmallVectorImpl<QualType> &Exceptions,
5358 return inherited::TransformExceptionSpec(Loc, ESI, Exceptions, Changed);
5361 QualType Apply(TypeLoc TL) {
5366 return TransformType(TLB, TL);
5384 for (
unsigned I = 0,
C =
TypeLoc.getNumArgs(); I !=
C; ++I)
5400 llvm::raw_string_ostream OS(Buf);
5401 OS <<
"'" <<
Concept->getName();
5402 if (
TypeLoc.hasExplicitTemplateArgs()) {
5403 printTemplateArgumentList(OS,
Type.getTypeConstraintArguments(),
5405 Type.getTypeConstraintConcept()
5406 .getAsTemplateDecl()
5407 ->getTemplateParameters());
5411 diag::err_placeholder_constraints_not_satisfied)
5422 bool IgnoreConstraints,
5425 if (
Init->containsErrors())
5431 if (
Init->getType()->isNonOverloadPlaceholderType() || AT->isDecltypeAuto()) {
5438 DependentAuto DependentResult = {
5441 if (!DependentDeduction &&
5443 Init->containsUnexpandedParameterPack())) {
5444 Result = SubstituteDeducedTypeTransform(*
this, DependentResult).Apply(
Type);
5445 assert(!
Result.isNull() &&
"substituting DependentTy can't fail");
5449 auto *InitList = dyn_cast<InitListExpr>(
Init);
5452 Diag(
Init->getBeginLoc(), diag::err_auto_init_list_from_c)
5453 << (int)AT->getKeyword() << IsArrayType;
5459 Diag(
Type.getBeginLoc(), diag::ext_c23_auto_non_plain_identifier);
5470 if (AT->isDecltypeAuto()) {
5472 Diag(
Init->getBeginLoc(), diag::err_decltype_auto_initializer_list);
5477 assert(!DeducedType.
isNull());
5485 nullptr,
false,
false,
false);
5489 Context, Loc, Loc, TemplParamPtr, Loc,
nullptr);
5495 if (!
Type.getType().getNonReferenceType()->
getAs<AutoType>())
5499 for (
Expr *
Init : InitList->inits()) {
5505 *
this, TemplateParamsSt.get(), 0, TemplArg,
Init->getType(),
5514 <<
Init->getSourceRange();
5522 DeducedFromInitRange =
Init->getSourceRange();
5527 Diag(Loc, diag::err_auto_bitfield);
5531 SubstituteDeducedTypeTransform(*
this, TemplArg).Apply(
Type);
5532 assert(!FuncParam.
isNull() &&
5533 "substituting template parameter for 'auto' failed");
5535 *
this, TemplateParamsSt.get(), 0, FuncParam,
Init->getType(),
5538 false, 0, 0, FailedTSC);
5546 DeducedType =
Deduced[0].getAsType();
5550 if (DeducedType.
isNull())
5561 DeducedType =
Context.getCommonSugaredType(
Result, DeducedType);
5564 if (AT->isConstrained() && !IgnoreConstraints &&
5566 *
this, *AT,
Type.getContainedAutoTypeLoc(), DeducedType))
5569 Result = SubstituteDeducedTypeTransform(*
this, DeducedType).Apply(
Type);
5577 assert((
bool)InitList == OriginalArg.DecomposedParam &&
5578 "decomposed non-init-list in auto deduction?");
5592 assert(TypeToReplaceAuto !=
Context.DependentTy);
5593 return SubstituteDeducedTypeTransform(*
this, TypeToReplaceAuto)
5594 .TransformType(TypeWithAuto);
5599 assert(TypeToReplaceAuto !=
Context.DependentTy);
5600 return SubstituteDeducedTypeTransform(*
this, TypeToReplaceAuto)
5601 .TransformType(TypeWithAuto);
5605 return SubstituteDeducedTypeTransform(
5608 .TransformType(TypeWithAuto);
5613 return SubstituteDeducedTypeTransform(
5616 .TransformType(TypeWithAuto);
5621 return SubstituteDeducedTypeTransform(*
this, TypeToReplaceAuto,
5623 .TransformType(TypeWithAuto);
5628 return SubstituteDeducedTypeTransform(*
this, TypeToReplaceAuto,
5630 .TransformType(TypeWithAuto);
5638 ? diag::err_init_capture_deduction_failure_from_init_list
5639 : diag::err_auto_var_deduction_failure_from_init_list)
5643 VDecl->
isInitCapture() ? diag::err_init_capture_deduction_failure
5644 : diag::err_auto_var_deduction_failure)
5646 <<
Init->getSourceRange();
5678 "failed to deduce lambda return type");
5688 RetType =
Context.getPointerType(RetType);
5691 RetType =
Context.getBlockPointerType(RetType);
5693 Context.adjustDeducedFunctionResultType(FD, RetType);
5705 Diag(Loc, diag::err_auto_fn_used_before_defined) << FD;
5709 return StillUndeduced;
5752 assert(Method && !Method->isExplicitObjectMemberFunction() &&
5753 "expected a member function with no explicit object parameter");
5755 RawType = Context.getQualifiedType(RawType, Method->getMethodQualifiers());
5756 if (Method->getRefQualifier() ==
RQ_RValue ||
5757 (IsOtherRvr && Method->getRefQualifier() ==
RQ_None))
5758 return Context.getRValueReferenceType(RawType);
5759 return Context.getLValueReferenceType(RawType);
5770 bool IsIncompleteSubstitution =
false;
5779 if (IsDeductionGuide) {
5781 P = Injected->getDecl()->getCanonicalTemplateSpecializationType(
5786 if (InstP.
isNull() && !IsIncompleteSubstitution)
5788 if (!CheckConsistency)
5790 if (IsIncompleteSubstitution)
5795 if (
auto *PA = dyn_cast<PackExpansionType>(A);
5797 A = PA->getPattern();
5800 if (IsDeductionGuide) {
5801 if (
auto *Injected = T1->getAsCanonical<InjectedClassNameType>())
5802 T1 = Injected->getDecl()->getCanonicalTemplateSpecializationType(
5804 if (
auto *Injected = T2->getAsCanonical<InjectedClassNameType>())
5805 T2 = Injected->getDecl()->getCanonicalTemplateSpecializationType(
5823 bool IsIncomplete =
false;
5839 Info.
reset(SugaredDeducedArgumentList, CanonicalDeducedArgumentList);
5858 assert(Proto1 && Proto2 &&
"Function templates must have prototypes");
5874 Proto1->
isVariadic() == Proto2->isVariadic() &&
5875 "shouldn't partial order functions with different qualifiers in a "
5876 "context where the function type is used");
5878 assert(Args1.empty() && Args2.empty() &&
5879 "Only call context should have arguments");
5881 Args2 = Proto2->getParamTypes();
5888 bool HasDeducedAnyParamFromReturnType =
false;
5891 S, TemplateParams, Proto2->getReturnType(), Proto1->
getReturnType(),
5894 &HasDeducedAnyParamFromReturnType) !=
5899 llvm::SmallBitVector HasDeducedParam;
5901 HasDeducedParam.resize(Args2.size());
5905 &HasDeducedParam) !=
5920 bool AtLeastAsSpecialized;
5922 AtLeastAsSpecialized =
5923 ::FinishTemplateArgumentDeduction(
5924 S, FT2, Deduced, Info,
5925 [&](Sema &S, FunctionTemplateDecl *FTD,
5926 ArrayRef<TemplateArgument> DeducedArgs) {
5931 if (TPOC != TPOC_Call) {
5932 if (auto TDR = ::CheckDeductionConsistency(
5933 S, FTD, std::nullopt,
5934 Proto2->getReturnType(), Proto1->getReturnType(),
5936 HasDeducedAnyParamFromReturnType);
5937 TDR != TemplateDeductionResult::Success)
5941 if (TPOC == TPOC_Conversion)
5942 return TemplateDeductionResult::Success;
5944 return ::DeduceForEachType(
5945 S, TemplateParams, Args2, Args1, Info, Deduced,
5946 PartialOrderingKind::Call, true,
5947 [&](Sema &S, TemplateParameterList *, int ParamIdx,
5948 UnsignedOrNone ArgIdx, QualType P, QualType A,
5949 TemplateDeductionInfo &Info,
5950 SmallVectorImpl<DeducedTemplateArgument> &Deduced,
5951 PartialOrderingKind) {
5952 if (ArgIdx && *ArgIdx >= static_cast<unsigned>(Args1Offset))
5953 ArgIdx = *ArgIdx - Args1Offset;
5955 ArgIdx = std::nullopt;
5956 return ::CheckDeductionConsistency(
5957 S, FTD, ArgIdx, P, A, DeducedArgs,
5958 HasDeducedParam[ParamIdx]);
5962 if (!AtLeastAsSpecialized || Trap.hasErrorOccurred())
5971 unsigned ArgIdx = 0, NumArgs =
Deduced.size();
5972 for (; ArgIdx != NumArgs; ++ArgIdx)
5976 if (ArgIdx == NumArgs) {
5983 llvm::SmallBitVector UsedParameters(TemplateParams->size());
5986 for (
unsigned I = 0, N = Args2.size(); I != N; ++I)
5988 TemplateParams->getDepth(), UsedParameters);
5994 TemplateParams->getDepth(), UsedParameters);
6019 S.Context.getFunctionTypeWithExceptionSpec(FD2->getType(),
EST_None),
6020 false, TemplateParams->getDepth(), UsedParameters);
6024 for (; ArgIdx != NumArgs; ++ArgIdx)
6027 if (
Deduced[ArgIdx].isNull() && UsedParameters[ArgIdx])
6039 const TemplateSpecializationType *TST1,
6040 const TemplateSpecializationType *TST2) {
6042 As2 = TST2->template_arguments();
6052 if (IsPack1 != IsPack2)
6055 if (!IsPack1 || As1.size() != As2.size())
6058 unsigned PackSize1 = TA1.
pack_size(), PackSize2 = TA2.pack_size();
6059 bool IsPackExpansion1 =
6061 bool IsPackExpansion2 =
6062 PackSize2 && TA2.pack_elements().back().isPackExpansion();
6063 if (PackSize1 == PackSize2 && IsPackExpansion1 == IsPackExpansion2)
6065 if (PackSize1 > PackSize2 && IsPackExpansion1)
6067 if (PackSize1 < PackSize2 && IsPackExpansion2)
6076 bool PartialOverloading) {
6081 bool ShouldConvert1 =
false;
6082 bool ShouldConvert2 =
false;
6083 bool Args1Offset =
false;
6084 bool Args2Offset =
false;
6095 const CXXMethodDecl *Method1 = dyn_cast<CXXMethodDecl>(FD1);
6096 const CXXMethodDecl *Method2 = dyn_cast<CXXMethodDecl>(FD2);
6107 bool NonStaticMethod1 = Method1 && !Method1->isStatic(),
6108 NonStaticMethod2 = Method2 && !Method2->
isStatic();
6111 Params2Begin = Proto2->param_type_begin();
6113 size_t NumComparedArguments = NumCallArguments1;
6116 (NonStaticMethod1 && NonStaticMethod2) ||
6117 (OO !=
OO_None && OO != OO_Call && OO != OO_Subscript)) {
6119 NonStaticMethod1 && !Method1->hasCXXExplicitFunctionObjectParameter();
6122 NumComparedArguments += 1;
6124 if (ShouldConvert1) {
6128 : Proto2->param_type_begin()[0]->isRValueReferenceType();
6131 RawObj1Ty, IsRValRef2);
6132 Args1.push_back(Obj1Ty);
6135 if (ShouldConvert2) {
6138 ? Method1->getRefQualifier() ==
RQ_RValue
6142 RawObj2Ty, IsRValRef1);
6143 Args2.push_back(Obj2Ty);
6147 if (NonStaticMethod1 && Method1->hasCXXExplicitFunctionObjectParameter())
6152 Args1.insert(Args1.end(), Params1Begin, Proto1->
param_type_end());
6153 Args2.insert(Args2.end(), Params2Begin, Proto2->param_type_end());
6158 Args1.resize(std::min(Args1.size(), NumComparedArguments));
6159 Args2.resize(std::min(Args2.size(), NumComparedArguments));
6162 std::reverse(Args2.begin(), Args2.end());
6164 assert(!
Reversed &&
"Only call context could have reversed arguments");
6167 Args2, Args2Offset);
6169 Args1, Args1Offset);
6173 if (Better1 != Better2)
6174 return Better1 ? FT1 : FT2;
6176 if (!Better1 && !Better2)
6185 Param1.reserve(FD1->
param_size() + ShouldConvert1);
6187 Param1.push_back(Obj1Ty);
6189 Param1.push_back(P->getType());
6192 Param2.reserve(FD2->
param_size() + ShouldConvert2);
6194 Param2.push_back(Obj2Ty);
6196 Param2.push_back(P->getType());
6198 unsigned NumParams1 = Param1.size();
6199 unsigned NumParams2 = Param2.size();
6205 if (Variadic1 != Variadic2) {
6206 if (Variadic1 && NumParams1 > NumParams2)
6208 if (Variadic2 && NumParams2 > NumParams1)
6215 for (
int i = 0, e = std::min(NumParams1, NumParams2);
6216 !PartialOverloading && i < e; ++i) {
6217 QualType T1 = Param1[i].getCanonicalType();
6218 QualType T2 = Param2[i].getCanonicalType();
6219 auto *TST1 = dyn_cast<TemplateSpecializationType>(T1);
6220 auto *TST2 = dyn_cast<TemplateSpecializationType>(T2);
6232 "unknown MoreSpecializedTrailingPackTieBreakerResult value");
6235 if (!
Context.getLangOpts().CPlusPlus20)
6251 if (TPL1->
size() != TPL2->
size() || NumParams1 != NumParams2)
6267 for (
unsigned i = 0; i < NumParams1; ++i)
6268 if (!
Context.hasSameUnqualifiedType(Param1[i], Param2[i]))
6283 bool AtLeastAsConstrained1, AtLeastAsConstrained2;
6288 if (AtLeastAsConstrained1 == AtLeastAsConstrained2)
6290 return AtLeastAsConstrained1 ? FT1 : FT2;
6298 bool Complain,
QualType TargetType) {
6299 if (SpecBegin == SpecEnd) {
6301 Diag(Loc, NoneDiag);
6307 if (SpecBegin + 1 == SpecEnd)
6315 assert(BestTemplate &&
"Not a function template specialization?");
6319 assert(Challenger &&
"Not a function template specialization?");
6324 BestTemplate = Challenger;
6350 Diag(Loc, AmbigDiag);
6357 FD->getPrimaryTemplate()->getTemplateParameters(),
6358 *FD->getTemplateSpecializationArgs());
6359 if (!TargetType.
isNull())
6361 Diag((*I)->getLocation(), PD);
6371 "not for function templates");
6388 bool AtLeastAsConstrained1, AtLeastAsConstrained2;
6393 if (AtLeastAsConstrained1 == AtLeastAsConstrained2)
6395 return AtLeastAsConstrained1 ? FD1 : FD2;
6407template <
typename TemplateLikeDecl>
6409 TemplateLikeDecl *P2,
6439 Deduced.resize(P2->getTemplateParameters()->size());
6460 Result = ::FinishTemplateArgumentDeduction(
6461 S, P2, P2->getTemplateParameters(), Template,
6462 true, Ps, As, Deduced, Info,
6472 template <
typename T1,
typename T2,
6473 std::enable_if_t<std::is_same_v<T1, T2>,
bool> =
true>
6474 T2 *operator()(T1 *, T2 *P2) {
6477 template <
typename T1,
typename T2,
6478 std::enable_if_t<!std::is_same_v<T1, T2>,
bool> =
true>
6479 T1 *operator()(T1 *, T2 *) {
6485struct TemplateArgumentListAreEqual {
6487 TemplateArgumentListAreEqual(ASTContext &Ctx) : Ctx(Ctx) {}
6489 template <
typename T1,
typename T2,
6490 std::enable_if_t<std::is_same_v<T1, T2>,
bool> =
true>
6491 bool operator()(T1 *PS1, T2 *PS2) {
6492 ArrayRef<TemplateArgument> Args1 = PS1->getTemplateArgs().asArray(),
6493 Args2 = PS2->getTemplateArgs().asArray();
6495 for (
unsigned I = 0, E = Args1.size(); I < E; ++I) {
6499 llvm::FoldingSetNodeID IDA, IDB;
6500 Args1[I].Profile(IDA, Ctx);
6501 Args2[I].Profile(IDB, Ctx);
6508 template <
typename T1,
typename T2,
6509 std::enable_if_t<!std::is_same_v<T1, T2>,
bool> =
true>
6510 bool operator()(T1 *Spec, T2 *Primary) {
6511 ArrayRef<TemplateArgument> Args1 = Spec->getTemplateArgs().asArray(),
6512 Args2 = Primary->getInjectedTemplateArgs(Ctx);
6514 for (
unsigned I = 0, E = Args1.size(); I < E; ++I) {
6518 llvm::FoldingSetNodeID IDA, IDB;
6519 Args1[I].Profile(IDA, Ctx);
6553template <
typename TemplateLikeDecl,
typename PrimaryDel>
6554static TemplateLikeDecl *
6557 constexpr bool IsMoreSpecialThanPrimaryCheck =
6558 !std::is_same_v<TemplateLikeDecl, PrimaryDel>;
6561 if constexpr (IsMoreSpecialThanPrimaryCheck)
6564 P2T = P2->getSpecializedTemplate();
6567 if (IsMoreSpecialThanPrimaryCheck && !Better1)
6571 P1->getSpecializedTemplate(), Info);
6572 if (IsMoreSpecialThanPrimaryCheck && !Better2)
6578 if (Better1 != Better2)
6579 return Better1 ? P1 : GetP2()(P1, P2);
6581 if (!Better1 && !Better2)
6590 return GetP2()(P1, P2);
6619 if (!TemplateArgumentListAreEqual(S.
getASTContext())(P1, P2))
6623 P1->getAssociatedConstraints(AC1);
6624 P2->getAssociatedConstraints(AC2);
6625 bool AtLeastAsConstrained1, AtLeastAsConstrained2;
6627 (IsMoreSpecialThanPrimaryCheck && !AtLeastAsConstrained1))
6631 if (AtLeastAsConstrained1 == AtLeastAsConstrained2)
6633 return AtLeastAsConstrained1 ? P1 : GetP2()(P1, P2);
6668 "the partial specializations being compared should specialize"
6669 " the same template.");
6687 Context.canonicalizeTemplateArguments(PrimaryCanonArgs);
6739 for (
unsigned I = 0, N = P->
size(); I != N; ++I) {
6764 if (StrictPackMatch)
6785 *
this, A, AArgs, PArgs, Info,
Deduced,
6791 *StrictPackMatch =
true;
6795 Diag(AArg->
getLocation(), diag::err_template_param_list_different_arity)
6805 diag::err_inconsistent_deduction)
6826 llvm_unreachable(
"Unexpected Result");
6831 TDK = ::FinishTemplateArgumentDeduction(
6832 *this, AArg, AArg->getTemplateParameters(), AArg, PartialOrdering,
6833 AArgs, PArgs, Deduced, Info, false);
6843 assert(PArg->
isInvalidDecl() &&
"Unexpected NonDeducedMismatch");
6867 llvm_unreachable(
"Unexpected Result");
6869 llvm_unreachable(
"Unexpected TDK");
6874 llvm::SmallBitVector &
Used;
6876 bool VisitDeclRefTypes =
true;
6878 MarkUsedTemplateParameterVisitor(llvm::SmallBitVector &
Used,
unsigned Depth,
6879 bool VisitDeclRefTypes =
true)
6880 :
Used(
Used), Depth(Depth), VisitDeclRefTypes(VisitDeclRefTypes) {}
6882 bool VisitTemplateTypeParmType(TemplateTypeParmType *
T)
override {
6883 if (
T->getDepth() == Depth)
6884 Used[
T->getIndex()] =
true;
6889 bool TraverseQualifier)
override {
6890 if (
auto *TTP = llvm::dyn_cast_or_null<TemplateTemplateParmDecl>(
6892 if (TTP->getDepth() == Depth)
6893 Used[TTP->getIndex()] =
true;
6899 bool VisitDeclRefExpr(DeclRefExpr *E)
override {
6900 if (
auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(E->
getDecl()))
6901 if (NTTP->getDepth() == Depth)
6902 Used[NTTP->getIndex()] =
true;
6903 if (VisitDeclRefTypes)
6908 bool VisitDependentTemplateIdExpr(DependentTemplateIdExpr *E)
override {
6915 bool TraverseSizeOfPackExpr(SizeOfPackExpr *SOPE)
override {
6916 return TraverseDecl(SOPE->
getPack());
6928 llvm::SmallBitVector &
Used) {
6930 MarkUsedTemplateParameterVisitor(
Used, Depth)
6931 .TraverseStmt(
const_cast<Expr *
>(E));
6937 E = Expansion->getPattern();
6941 if (
const auto *DTI = dyn_cast<DependentTemplateIdExpr>(E)) {
6942 Used[DTI->getParameter()->getIndex()] =
true;
6943 for (
const auto &TLoc : DTI->template_arguments())
6964 bool OnlyDeduced,
unsigned Depth,
6965 llvm::SmallBitVector &
Used) {
6979 llvm::SmallBitVector &
Used) {
6982 = dyn_cast<TemplateTemplateParmDecl>(
Template)) {
7003 llvm::SmallBitVector &
Used) {
7008 if (!
T->isDependentType())
7012 switch (
T->getTypeClass()) {
7021 case Type::BlockPointer:
7029 case Type::LValueReference:
7030 case Type::RValueReference:
7038 case Type::MemberPointer: {
7044 OnlyDeduced, Depth,
Used);
7048 case Type::DependentSizedArray:
7051 OnlyDeduced, Depth,
Used);
7055 case Type::ConstantArray:
7056 case Type::IncompleteArray:
7057 case Type::ArrayParameter:
7060 OnlyDeduced, Depth,
Used);
7063 case Type::ExtVector:
7066 OnlyDeduced, Depth,
Used);
7069 case Type::DependentVector: {
7077 case Type::DependentSizedExtVector: {
7087 case Type::DependentAddressSpace: {
7091 OnlyDeduced, Depth,
Used);
7094 OnlyDeduced, Depth,
Used);
7098 case Type::ConstantMatrix: {
7105 case Type::DependentSizedMatrix: {
7116 case Type::FunctionProto: {
7120 for (
unsigned I = 0, N = Proto->
getNumParams(); I != N; ++I) {
7125 if (!OnlyDeduced || I + 1 == N ||
7143 case Type::TemplateTypeParm: {
7145 if (TTP->getDepth() == Depth)
7146 Used[TTP->getIndex()] =
true;
7150 case Type::SubstTemplateTypeParmPack: {
7151 const SubstTemplateTypeParmPackType *Subst
7153 if (Subst->getReplacedParameter()->getDepth() == Depth)
7154 Used[Subst->getIndex()] =
true;
7159 case Type::SubstBuiltinTemplatePack: {
7161 OnlyDeduced, Depth,
Used);
7165 case Type::InjectedClassName:
7168 ->getCanonicalTemplateSpecializationType(Ctx);
7171 case Type::TemplateSpecialization: {
7172 const TemplateSpecializationType *Spec
7189 for (
const auto &Arg : Spec->template_arguments())
7198 OnlyDeduced, Depth,
Used);
7205 OnlyDeduced, Depth,
Used);
7208 case Type::DependentName:
7212 OnlyDeduced, Depth,
Used);
7218 OnlyDeduced, Depth,
Used);
7221 case Type::TypeOfExpr:
7225 OnlyDeduced, Depth,
Used);
7228 case Type::Decltype:
7232 OnlyDeduced, Depth,
Used);
7235 case Type::PackIndexing:
7238 OnlyDeduced, Depth,
Used);
7240 OnlyDeduced, Depth,
Used);
7244 case Type::UnaryTransform:
7247 auto Next = UTT->getUnderlyingType();
7249 Next = UTT->getBaseType();
7254 case Type::PackExpansion:
7257 OnlyDeduced, Depth,
Used);
7261 case Type::DeducedTemplateSpecialization:
7264 OnlyDeduced, Depth,
Used);
7266 case Type::DependentBitInt:
7269 OnlyDeduced, Depth,
Used);
7272 case Type::HLSLAttributedResource:
7279 OnlyDeduced, Depth,
Used);
7284 case Type::VariableArray:
7285 case Type::FunctionNoProto:
7288 case Type::ObjCInterface:
7289 case Type::ObjCObject:
7290 case Type::ObjCObjectPointer:
7291 case Type::UnresolvedUsing:
7294 case Type::HLSLInlineSpirv:
7295 case Type::OverflowBehavior:
7296#define TYPE(Class, Base)
7297#define ABSTRACT_TYPE(Class, Base)
7298#define DEPENDENT_TYPE(Class, Base)
7299#define NON_CANONICAL_TYPE(Class, Base) case Type::Class:
7300#include "clang/AST/TypeNodes.inc"
7312 llvm::SmallBitVector &
Used) {
7330 OnlyDeduced, Depth,
Used);
7348 llvm::SmallBitVector &
Used) {
7353 const Expr *E,
unsigned Depth, llvm::SmallBitVector &
Used) {
7354 MarkUsedTemplateParameterVisitor(
Used, Depth,
false)
7355 .TraverseStmt(
const_cast<Expr *
>(E));
7360 bool OnlyDeduced,
unsigned Depth,
7361 llvm::SmallBitVector &
Used) {
7370 for (
unsigned I = 0, N = TemplateArgs.
size(); I != N; ++I)
7376 bool OnlyDeduced,
unsigned Depth,
7377 llvm::SmallBitVector &
Used) {
7381 for (
unsigned I = 0, N = TemplateArgs.size(); I != N; ++I)
7388 llvm::SmallBitVector &
Used) {
7389 for (
unsigned I = 0, N = TemplateArgs.size(); I != N; ++I)
7391 false, Depth,
Used);
7396 llvm::SmallBitVector &
Deduced) {
7403 for (
unsigned I = 0, N =
Function->getNumParams(); I != N; ++I)
7411 if (!
T->isDependentType())
7416 llvm::SmallBitVector
Deduced(TemplateParams->
size());
Defines the clang::ASTContext interface.
This file provides some common utility functions for processing Lambda related AST Constructs.
Provides definitions for the various language-specific address spaces.
static Decl::Kind getKind(const Decl *D)
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the C++ template declaration subclasses.
Defines the ExceptionSpecificationType enumeration and various utility functions.
Defines the clang::Expr interface and subclasses for C++ expressions.
Result
Implement __builtin_bit_cast and related operations.
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
Defines the clang::LangOptions interface.
Implements a partial diagnostic that can be emitted anwyhere in a DiagnosticBuilder stream.
static AccessResult DeduceTemplateArguments(Sema &S, FriendTemplateDecl *FTD, DeclContext *DC, const TemplateSpecializationType *TST, ArrayRef< TemplateParameterList * > TPLs, TemplateSpecCandidateSet *FailedTSC, MultiLevelTemplateArgumentList &DeducedArgs)
static TemplateDeductionResult DeduceNullPtrTemplateArgument(Sema &S, TemplateParameterList *TemplateParams, NonTypeOrVarTemplateParmDecl NTTP, QualType NullPtrType, TemplateDeductionInfo &Info, bool PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool *HasDeducedAnyParam)
Deduce the value of the given non-type template parameter from the given null pointer template argume...
static bool ConvertDeducedTemplateArgument(Sema &S, NamedDecl *Param, DeducedTemplateArgument Arg, NamedDecl *Template, TemplateDeductionInfo &Info, bool IsDeduced, Sema::CheckTemplateArgumentInfo &CTAI)
Convert the given deduced template argument and add it to the set of fully-converted template argumen...
static TemplateDeductionResult DeduceTemplateArguments(Sema &S, TemplateParameterList *TemplateParams, ArrayRef< TemplateArgument > Ps, ArrayRef< TemplateArgument > As, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool NumberOfArgumentsMustMatch, bool PartialOrdering, PackFold PackFold, bool *HasDeducedAnyParam)
static TemplateDeductionResult DeduceTemplateSpecArguments(Sema &S, TemplateParameterList *TemplateParams, const QualType P, QualType A, TemplateDeductionInfo &Info, bool PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool *HasDeducedAnyParam)
static TemplateDeductionResult DeduceTemplateArgumentsByTypeMatch(Sema &S, TemplateParameterList *TemplateParams, QualType Param, QualType Arg, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, unsigned TDF, PartialOrderingKind POK, bool DeducedFromArrayBound, bool *HasDeducedAnyParam)
Deduce the template arguments by comparing the parameter type and the argument type (C++ [temp....
static TemplateDeductionResult CheckDeductionConsistency(Sema &S, FunctionTemplateDecl *FTD, UnsignedOrNone ArgIdx, QualType P, QualType A, ArrayRef< TemplateArgument > DeducedArgs, bool CheckConsistency)
static PartialOrderingKind degradeCallPartialOrderingKind(PartialOrderingKind POK)
When propagating a partial ordering kind into a NonCall context, this is used to downgrade a 'Call' i...
static MoreSpecializedTrailingPackTieBreakerResult getMoreSpecializedTrailingPackTieBreaker(const TemplateSpecializationType *TST1, const TemplateSpecializationType *TST2)
static TemplateLikeDecl * getMoreSpecialized(Sema &S, QualType T1, QualType T2, TemplateLikeDecl *P1, PrimaryDel *P2, TemplateDeductionInfo &Info)
Returns the more specialized template specialization between T1/P1 and T2/P2.
static DeducedTemplateArgument checkDeducedTemplateArguments(ASTContext &Context, const DeducedTemplateArgument &X, const DeducedTemplateArgument &Y, bool AggregateCandidateDeduction=false)
Verify that the given, deduced template arguments are compatible.
static const Expr * unwrapExpressionForDeduction(const Expr *E)
static bool isSameDeclaration(Decl *X, Decl *Y)
Determine whether two declaration pointers refer to the same declaration.
static TemplateDeductionResult DeduceForEachType(Sema &S, TemplateParameterList *TemplateParams, ArrayRef< QualType > Params, ArrayRef< QualType > Args, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, PartialOrderingKind POK, bool FinishingDeduction, T &&DeductFunc)
static void AddFriendTemplateDeductionCandidate(Sema &S, TemplateDecl *TD, TemplateDeductionInfo &Info, TemplateDeductionResult Result, TemplateSpecCandidateSet *FailedTSC)
static TemplateDeductionResult DeduceTemplateBases(Sema &S, const CXXRecordDecl *RD, TemplateParameterList *TemplateParams, QualType P, TemplateDeductionInfo &Info, bool PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool *HasDeducedAnyParam)
Attempt to deduce the template arguments by checking the base types according to (C++20 [temp....
static bool hasTemplateArgumentForDeduction(ArrayRef< TemplateArgument > &Args, unsigned &ArgIdx)
Determine whether there is a template argument to be used for deduction.
static DeclContext * getAsDeclContextOrEnclosing(Decl *D)
static bool hasInconsistentOrSupersetQualifiersOf(QualType ParamType, QualType ArgType)
Determine whether the parameter has qualifiers that the argument lacks.
static void MarkUsedTemplateParameters(ASTContext &Ctx, const TemplateArgument &TemplateArg, bool OnlyDeduced, unsigned Depth, llvm::SmallBitVector &Used)
Mark the template parameters that are used by this template argument.
static UnsignedOrNone getPackIndexForParam(Sema &S, FunctionTemplateDecl *FunctionTemplate, const MultiLevelTemplateArgumentList &Args, unsigned ParamIdx)
Find the pack index for a particular parameter index in an instantiation of a function template with ...
static QualType GetTypeOfFunction(Sema &S, const OverloadExpr::FindResult &R, FunctionDecl *Fn)
Gets the type of a function for template-argument-deducton purposes when it's considered as part of a...
static bool hasPackExpansionBeforeEnd(ArrayRef< TemplateArgument > Args)
Determine whether the given set of template arguments has a pack expansion that is not the last templ...
static bool isSimpleTemplateIdType(QualType T)
Determine whether the given type T is a simple-template-id type.
PartialOrderingKind
The kind of PartialOrdering we're performing template argument deduction for (C++11 [temp....
static NonTypeOrVarTemplateParmDecl getNTTParameterFromExpr(const Expr *E, UnsignedOrNone Depth)
If the given expression is of a form that names a non-type template parameter, return the declaration...
MoreSpecializedTrailingPackTieBreakerResult
static TemplateParameter makeTemplateParameter(Decl *D)
Helper function to build a TemplateParameter when we don't know its type statically.
static TemplateDeductionResult CheckOriginalCallArgDeduction(Sema &S, TemplateDeductionInfo &Info, Sema::OriginalCallArg OriginalArg, QualType DeducedA)
Check whether the deduced argument type for a call to a function template matches the actual argument...
static bool AdjustFunctionParmAndArgTypesForDeduction(Sema &S, TemplateParameterList *TemplateParams, unsigned FirstInnerIndex, QualType &ParamType, QualType &ArgType, Expr::Classification ArgClassification, Expr *Arg, unsigned &TDF, TemplateSpecCandidateSet *FailedTSC=nullptr)
Perform the adjustments to the parameter and argument types described in C++ [temp....
static TemplateDeductionResult DeduceTemplateArgumentsFromCallArgument(Sema &S, TemplateParameterList *TemplateParams, unsigned FirstInnerIndex, QualType ParamType, QualType ArgType, Expr::Classification ArgClassification, Expr *Arg, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, SmallVectorImpl< Sema::OriginalCallArg > &OriginalCallArgs, bool DecomposedParam, unsigned ArgIdx, unsigned TDF, TemplateSpecCandidateSet *FailedTSC=nullptr)
Perform template argument deduction per [temp.deduct.call] for a single parameter / argument pair.
static bool isAtLeastAsSpecializedAs(Sema &S, SourceLocation Loc, FunctionTemplateDecl *FT1, FunctionTemplateDecl *FT2, TemplatePartialOrderingContext TPOC, ArrayRef< QualType > Args1, ArrayRef< QualType > Args2, bool Args1Offset)
Determine whether the function template FT1 is at least as specialized as FT2.
static QualType GetImplicitObjectParameterType(ASTContext &Context, const CXXMethodDecl *Method, QualType RawType, bool IsOtherRvr)
static TemplateDeductionResult DeduceFromInitializerList(Sema &S, TemplateParameterList *TemplateParams, QualType AdjustedParamType, InitListExpr *ILE, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, SmallVectorImpl< Sema::OriginalCallArg > &OriginalCallArgs, unsigned ArgIdx, unsigned TDF)
Attempt template argument deduction from an initializer list deemed to be an argument in a function c...
static unsigned getFirstInnerIndex(FunctionTemplateDecl *FTD)
Get the index of the first template parameter that was originally from the innermost template-paramet...
static TemplateDeductionResult CheckDeducedTemplateArgumentList(Sema &S, TemplateDecl *Template, ArrayRef< TemplateArgumentLoc > Ps, ArrayRef< TemplateArgument > As, const MultiLevelTemplateArgumentList &MLTAL, TemplateDeductionInfo &Info)
PackFold
What directions packs are allowed to match non-packs.
static QualType getTypeOfTemplateArgumentValue(TemplateDeductionInfo &Info, const TemplateArgument &A)
C++26 [temp.deduct.type]p13: When the value of the argument corresponding to a constant template para...
static TemplateDeductionResult ConvertDeducedTemplateArguments(Sema &S, NamedDecl *Template, TemplateParameterList *TemplateParams, bool IsDeduced, SmallVectorImpl< DeducedTemplateArgument > &Deduced, TemplateDeductionInfo &Info, Sema::CheckTemplateArgumentInfo &CTAI, LocalInstantiationScope *CurrentInstantiationScope, unsigned NumAlreadyConverted, bool *IsIncomplete)
static QualType ResolveOverloadForDeduction(Sema &S, TemplateParameterList *TemplateParams, Expr *Arg, QualType ParamType, bool ParamWasReference, TemplateSpecCandidateSet *FailedTSC=nullptr)
Apply the deduction rules for overload sets.
static bool IsPossiblyOpaquelyQualifiedType(QualType T)
Determines whether the given type is an opaque type that might be more qualified when instantiated.
static TemplateDeductionResult CheckDeducedArgumentConstraints(Sema &S, NamedDecl *Template, ArrayRef< TemplateArgument > SugaredDeducedArgs, ArrayRef< TemplateArgument > CanonicalDeducedArgs, TemplateDeductionInfo &Info)
static const TemplateSpecializationType * getLastTemplateSpecType(QualType QT)
Deduce the template arguments by comparing the template parameter type (which is a template-id) with ...
static TemplateDeductionResult instantiateExplicitSpecifierDeferred(Sema &S, FunctionDecl *Specialization, const MultiLevelTemplateArgumentList &SubstArgs, TemplateDeductionInfo &Info, FunctionTemplateDecl *FunctionTemplate, ArrayRef< TemplateArgument > DeducedArgs)
static bool CheckDeducedPlaceholderConstraints(Sema &S, const AutoType &Type, AutoTypeLoc TypeLoc, QualType Deduced)
static TemplateDeductionResult DeduceNonTypeTemplateArgument(Sema &S, TemplateParameterList *TemplateParams, const NonTypeOrVarTemplateParmDecl NTTP, const DeducedTemplateArgument &NewDeduced, QualType ValueType, TemplateDeductionInfo &Info, bool PartialOrdering, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool *HasDeducedAnyParam)
Deduce the value of the given non-type template parameter as the given deduced template argument.
static bool IsPossiblyOpaquelyQualifiedTypeInternal(const Type *T)
static bool hasDeducibleTemplateParameters(Sema &S, FunctionTemplateDecl *FunctionTemplate, QualType T)
static bool isForwardingReference(QualType Param, unsigned FirstInnerIndex)
Determine whether a type denotes a forwarding reference.
static TemplateDeductionResult FinishTemplateArgumentDeduction(Sema &S, NamedDecl *Entity, TemplateParameterList *EntityTPL, TemplateDecl *Template, bool PartialOrdering, ArrayRef< TemplateArgumentLoc > Ps, ArrayRef< TemplateArgument > As, SmallVectorImpl< DeducedTemplateArgument > &Deduced, TemplateDeductionInfo &Info, bool CopyDeducedArgs)
Complete template argument deduction.
static bool isParameterPack(Expr *PackExpression)
Defines the clang::SourceLocation class and associated facilities.
Defines various enumerations that describe declaration and type specifiers.
static QualType getPointeeType(const MemRegion *R)
Defines the clang::TemplateNameKind enum.
Defines the clang::TypeLoc interface and its subclasses.
Allows QualTypes to be sorted and hence used in maps and sets.
static const TemplateArgument & getArgument(const TemplateArgument &A)
C Language Family Type Representation.
SourceLocation getLocation() const
const TemplateTemplateParmDecl * getTemplate() const
bool isExpandedParameterPack() const
const NonTypeTemplateParmDecl * getNTTP() const
unsigned getIndex() const
NonTypeOrVarTemplateParmDecl(const NamedDecl *Template)
TemplateParameter asTemplateParam() const
unsigned getDepth() const
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
const ConstantArrayType * getAsConstantArrayType(QualType T) const
QualType getRValueReferenceType(QualType T) const
Return the uniqued reference to the type for an rvalue reference to the specified type.
unsigned getIntWidth(QualType T) const
QualType getAutoType(DeducedKind DK, QualType DeducedAsType, AutoTypeKeyword Keyword, TemplateName TypeConstraintConcept=TemplateName(), ArrayRef< TemplateArgument > TypeConstraintArgs={}) const
C++11 deduced auto type.
TemplateArgument getCanonicalTemplateArgument(const TemplateArgument &Arg) const
Retrieve the "canonical" template argument.
static CanQualType getCanonicalType(QualType T)
Return the canonical (structural) type corresponding to the specified potentially non-canonical type ...
QualType getPointerType(QualType T) const
Return the uniqued reference to the type for a pointer to the specified type.
const IncompleteArrayType * getAsIncompleteArrayType(QualType T) const
QualType getLValueReferenceType(QualType T, bool SpelledAsLValue=true) const
Return the uniqued reference to the type for an lvalue reference to the specified type.
const LangOptions & getLangOpts() const
QualType getDecayedType(QualType T) const
Return the uniqued reference to the decayed version of the given type.
TypeSourceInfo * getTrivialTypeSourceInfo(QualType T, SourceLocation Loc=SourceLocation()) const
Allocate a TypeSourceInfo where all locations have been initialized to a given location,...
QualType removeAddrSpaceQualType(QualType T) const
Remove any existing address space on the type and returns the type with qualifiers intact (or that's ...
QualType getQualifiedType(SplitQualType split) const
Un-split a SplitQualType.
LangAS getDefaultOpenCLPointeeAddrSpace()
Returns default address space based on OpenCL version and enabled features.
const ArrayType * getAsArrayType(QualType T) const
Type Query functions.
uint64_t getTypeSize(QualType T) const
Return the size of the specified (complete) type T, in bits.
CanQualType UnsignedIntTy
QualType getMemberPointerType(QualType T, NestedNameSpecifier Qualifier, const CXXRecordDecl *Cls) const
Return the uniqued reference to the type for a member pointer to the specified type in the specified ...
static bool hasSameType(QualType T1, QualType T2)
Determine whether the given types T1 and T2 are equivalent.
QualType getAdjustedParameterType(QualType T) const
Perform adjustment on the parameter type of a function.
QualType getSizeType() const
Return the unique type for "size_t" (C99 7.17), defined in <stddef.h>.
bool hasSameTemplateName(const TemplateName &X, const TemplateName &Y, bool IgnoreDeduced=false) const
Determine whether the given template names refer to the same template.
QualType getAddrSpaceQualType(QualType T, LangAS AddressSpace) const
Return the uniqued reference to the type for an address space qualified type with the specified type ...
CanQualType getCanonicalTagType(const TagDecl *TD) const
bool isSameTemplateArgument(const TemplateArgument &Arg1, const TemplateArgument &Arg2) const
Determine whether the given template arguments Arg1 and Arg2 are equivalent.
static bool hasSameUnqualifiedType(QualType T1, QualType T2)
Determine whether the given types are equivalent after cvr-qualifiers have been removed.
QualType getUnqualifiedArrayType(QualType T, Qualifiers &Quals) const
Return this type as a completely-unqualified array type, capturing the qualifiers in Quals.
TemplateName getDeducedTemplateName(TemplateName Underlying, DefaultArguments DefaultArgs) const
Represents a TemplateName which had some of its default arguments deduced.
QualType getDeducedTemplateSpecializationType(DeducedKind DK, QualType DeducedAsType, ElaboratedTypeKeyword Keyword, TemplateName Template) const
C++17 deduced class template specialization type.
const DependentSizedArrayType * getAsDependentSizedArrayType(QualType T) const
TypeLoc getValueLoc() const
A fixed int type of a specified bitwidth.
Represents a C++ conversion function within a class.
QualType getConversionType() const
Returns the type that this conversion function is converting to.
Represents a static or instance method of a struct/union/class.
bool isExplicitObjectMemberFunction() const
[C++2b][dcl.fct]/p7 An explicit object member function is a non-static member function with an explic...
RefQualifierKind getRefQualifier() const
Retrieve the ref-qualifier associated with this method.
The null pointer literal (C++11 [lex.nullptr])
Represents a C++ struct/union/class.
CXXMethodDecl * getLambdaCallOperator() const
Retrieve the lambda call operator of the closure type if this is a closure type.
Declaration of a class template.
CanQualType getCanonicalInjectedSpecializationType(const ASTContext &Ctx) const
Retrieve the canonical template specialization type of the injected-class-name for this class templat...
CanQualType getCanonicalInjectedSpecializationType(const ASTContext &Ctx) const
Retrieves the canonical injected specialization type for this partial specialization.
ClassTemplateDecl * getSpecializedTemplate() const
Retrieve the template that this specialization specializes.
Complex values, per C99 6.2.5p11.
Declaration of a C++20 concept.
const TypeClass * getTypePtr() const
Represents a concrete matrix type with constant number of rows and columns.
unsigned getNumColumns() const
Returns the number of columns in the matrix.
unsigned getNumRows() const
Returns the number of rows in the matrix.
The result of a constraint satisfaction check, containing the necessary information to diagnose an un...
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.
Decl - This represents one declaration (or definition), e.g.
TemplateDecl * getDescribedTemplate() const
If this is a declaration that describes some template, this method returns that template declaration.
ASTContext & getASTContext() const LLVM_READONLY
bool isInvalidDecl() const
SourceLocation getLocation() const
DeclContext * getDeclContext()
virtual Decl * getCanonicalDecl()
Retrieves the "canonical" declaration of the given declaration.
Captures a template argument whose value has been deduced via c++ template argument deduction.
void setDeducedFromArrayBound(bool Deduced)
Specify whether the given non-type template argument was deduced from an array bound.
bool wasDeducedFromArrayBound() const
For a non-type template argument, determine whether the template argument was deduced from an array b...
SourceLocation getElaboratedKeywordLoc() const
NestedNameSpecifierLoc getQualifierLoc() const
Represents an extended address space qualifier where the input address space value is dependent.
Expr * getAddrSpaceExpr() const
QualType getPointeeType() const
Represents an extended vector type where either the type or size is dependent.
Expr * getSizeExpr() const
QualType getElementType() const
Represents a matrix type where the type and the number of rows and columns is dependent on a template...
Expr * getColumnExpr() const
Expr * getRowExpr() const
TemplateTemplateParmDecl * getParameter() const
Represents a vector type where either the type or size is dependent.
virtual bool TraverseTemplateName(TemplateName Template, bool TraverseQualifier=true)
virtual bool TraverseType(QualType T, bool TraverseQualifier=true)
RAII object that enters a new expression evaluation context.
Store information needed for an explicit specifier.
bool isInvalid() const
Determine if the explicit specifier is invalid.
const Expr * getExpr() const
The return type of classify().
This represents one expression.
bool isValueDependent() const
Determines whether the value of this expression depends on.
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.
ExtVectorType - Extended vector type.
Stores a list of template parameters and the associated requires-clause (if any) for a TemplateDecl a...
Declaration of a friend template.
Represents a function declaration or definition.
const ParmVarDecl * getParamDecl(unsigned i) const
bool isFunctionTemplateSpecialization() const
Determine whether this function is a function template specialization.
FunctionTemplateDecl * getDescribedFunctionTemplate() const
Retrieves the function template that is described by this function declaration.
bool hasCXXExplicitFunctionObjectParameter() const
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...
void getAssociatedConstraints(SmallVectorImpl< AssociatedConstraint > &ACs) const
Get the associated-constraints of this function declaration.
const TemplateArgumentList * getTemplateSpecializationArgs() const
Retrieve the template arguments used to produce this function template specialization from the primar...
bool isImmediateEscalating() const
OverloadedOperatorKind getOverloadedOperator() const
getOverloadedOperator - Which C++ overloaded operator this function represents, if any.
size_t param_size() const
Represents a prototype with parameter type info, e.g.
param_type_iterator param_type_begin() const
const ExtParameterInfo * getExtParameterInfosOrNull() const
Return a pointer to the beginning of the array of extra parameter information, if present,...
unsigned getNumParams() const
bool hasTrailingReturn() const
Whether this function prototype has a trailing return type.
Qualifiers getMethodQuals() const
QualType getParamType(unsigned i) const
bool hasExceptionSpec() const
Return whether this function has any kind of exception spec.
bool isVariadic() const
Whether this function prototype is variadic.
ExtProtoInfo getExtProtoInfo() const
Expr * getNoexceptExpr() const
Return the expression inside noexcept(expression), or a null pointer if there is none (because the ex...
param_type_iterator param_type_end() const
ArrayRef< QualType > getParamTypes() const
RefQualifierKind getRefQualifier() const
Retrieve the ref-qualifier associated with this function type.
Declaration of a template function.
FunctionDecl * getTemplatedDecl() const
Get the underlying function declaration of the template.
FunctionType - C99 6.7.5.3 - Function Declarators.
QualType getReturnType() const
Describes an C or C++ initializer list.
unsigned getNumInits() const
unsigned getNumInitsWithEmbedExpanded() const
getNumInits but if the list has an EmbedExpr inside includes full length of embedded data.
ArrayRef< Expr * > inits() const
An lvalue reference type, per C++11 [dcl.ref].
A stack-allocated class that identifies which local variable declaration instantiations are present i...
NamedDecl * getPartiallySubstitutedPack(const TemplateArgument **ExplicitArgs=nullptr, unsigned *NumExplicitArgs=nullptr) const
Retrieve the partially-substitued template parameter pack.
void ResetPartiallySubstitutedPack()
Reset the partially-substituted pack when it is no longer of interest.
Represents a matrix type, as defined in the Matrix Types clang extensions.
QualType getElementType() const
Returns type of the elements being stored in the matrix.
A pointer to member type per C++ 8.3.3 - Pointers to members.
NestedNameSpecifier getQualifier() const
QualType getPointeeType() const
Data structure that captures multiple levels of template argument lists for use in template instantia...
void addOuterTemplateArguments(Decl *AssociatedDecl, ArgList Args, bool Final)
Add a new outmost level to the multi-level template argument list.
void addOuterRetainedLevels(unsigned Num)
bool isAnyArgInstantiationDependent() const
void replaceInnermostTemplateArguments(Decl *AssociatedDecl, ArgList Args, bool Final=false)
Replaces the current 'innermost' level with the provided argument list.
This represents a decl that may have a name.
NamedDecl * getUnderlyingDecl()
Looks through UsingDecls and ObjCCompatibleAliasDecls for the underlying named decl.
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
Class that aids in the construction of nested-name-specifiers along with source-location information ...
Represents a C++ nested name specifier, such as "\::std::vector<int>::".
const Type * getAsType() const
@ Type
A type, stored as a Type*.
NonTypeTemplateParmDecl - Declares a non-type template parameter, e.g., "Size" in.
Represents a pointer to an Objective C object.
A reference to an overloaded function set, either an UnresolvedLookupExpr or an UnresolvedMemberExpr.
bool hasExplicitTemplateArgs() const
Determines whether this expression had explicit template arguments.
static FindResult find(Expr *E)
Finds the overloaded expression in the given expression E of OverloadTy.
SourceLocation getNameLoc() const
Gets the location of the name.
decls_iterator decls_begin() const
void copyTemplateArgumentsInto(TemplateArgumentListInfo &List) const
Copies the template arguments into the given structure.
decls_iterator decls_end() const
Represents a C++11 pack expansion that produces a sequence of expressions.
A single parameter index whose accessors require each use to make explicit the parameter index encodi...
PointerType - C99 6.7.5.1 - Pointer Declarators.
QualType getPointeeType() const
A (possibly-)qualified type.
bool hasQualifiers() const
Determine whether this type has any qualifiers.
bool isNull() const
Return true if this QualType doesn't point to a type yet.
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
LangAS getAddressSpace() const
Return the address space of this type.
Qualifiers getQualifiers() const
Retrieve the set of qualifiers applied to this type.
QualType getNonReferenceType() const
If Type is a reference type (e.g., const int&), returns the type that the reference refers to ("const...
QualType getCanonicalType() const
QualType getUnqualifiedType() const
Retrieve the unqualified variant of the given type, removing as little sugar as possible.
QualType getAtomicUnqualifiedType() const
Remove all qualifiers including _Atomic.
unsigned getCVRQualifiers() const
Retrieve the set of CVR (const-volatile-restrict) qualifiers applied to this type.
Represents a template name as written in source code.
The collection of all-type qualifiers we support.
unsigned getCVRQualifiers() const
void removeCVRQualifiers(unsigned mask)
@ OCL_Strong
Assigning into this object requires the old value to be released and the new value to be retained.
@ OCL_ExplicitNone
This object can be modified without requiring retains or releases.
@ OCL_None
There is no lifetime qualification on this type.
void removeObjCLifetime()
bool isStrictSupersetOf(Qualifiers Other) const
Determine whether this set of qualifiers is a strict superset of another set of qualifiers,...
bool hasNonTrivialObjCLifetime() const
True if the lifetime is neither None or ExplicitNone.
bool compatiblyIncludes(Qualifiers other, const ASTContext &Ctx) const
Determines if these qualifiers compatibly include another set.
bool hasAddressSpace() const
void removeAddressSpace()
bool hasObjCGCAttr() const
void setCVRQualifiers(unsigned mask)
bool hasObjCLifetime() const
ObjCLifetime getObjCLifetime() const
Qualifiers withoutObjCLifetime() const
LangAS getAddressSpace() const
void setObjCLifetime(ObjCLifetime type)
An rvalue reference type, per C++11 [dcl.ref].
ArrayRef< TemplateArgument > getInjectedTemplateArgs(const ASTContext &Context) const
Retrieve the "injected" template arguments that correspond to the template parameters of this templat...
Base for LValueReferenceType and RValueReferenceType.
QualType getPointeeType() const
Scope - A scope is a transient data structure that is used while parsing the program.
SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID)
Emit a diagnostic.
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.
const FunctionProtoType::ExtParameterInfo * getPointerOrNull(unsigned numParams)
Return a pointer (suitable for setting in an ExtProtoInfo) to the ExtParameterInfo array we've built ...
RAII class used to determine whether SFINAE has trapped any errors that occur during template argumen...
bool hasErrorOccurred() const
Determine whether any SFINAE errors have been trapped.
Sema - This implements semantic analysis and AST building for C.
bool TryFunctionConversion(QualType FromType, QualType ToType, QualType &ResultTy) const
Same as IsFunctionConversion, but if this would return true, it sets ResultTy to ToType.
QualType SubstAutoType(QualType TypeWithAuto, QualType Replacement)
Substitute Replacement for auto in TypeWithAuto.
LocalInstantiationScope * CurrentInstantiationScope
The current instantiation scope used to store local variables.
TemplateDeductionResult DeduceTemplateArgumentsFromType(TemplateDecl *TD, QualType FromType, sema::TemplateDeductionInfo &Info)
Deduce the template arguments of the given template from FromType.
QualType ReplaceAutoType(QualType TypeWithAuto, QualType Replacement)
Completely replace the auto in TypeWithAuto by Replacement.
bool TemplateParameterListsAreEqual(const TemplateCompareNewDeclInfo &NewInstFrom, TemplateParameterList *New, const NamedDecl *OldInstFrom, TemplateParameterList *Old, bool Complain, TemplateParameterListEqualKind Kind, SourceLocation TemplateArgLoc=SourceLocation())
Determine whether the given template parameter lists are equivalent.
ClassTemplatePartialSpecializationDecl * getMoreSpecializedPartialSpecialization(ClassTemplatePartialSpecializationDecl *PS1, ClassTemplatePartialSpecializationDecl *PS2, SourceLocation Loc)
Returns the more specialized class template partial specialization according to the rules of partial ...
const ExpressionEvaluationContextRecord & currentEvaluationContext() const
FunctionDecl * getMoreConstrainedFunction(FunctionDecl *FD1, FunctionDecl *FD2)
Returns the more constrained function according to the rules of partial ordering by constraints (C++ ...
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...
QualType BuildStdInitializerList(QualType Element, SourceLocation Loc)
Looks for the std::initializer_list template and instantiates it with Element, or emits an error if i...
TemplateDeductionResult FinishTemplateArgumentDeduction(FunctionTemplateDecl *FunctionTemplate, SmallVectorImpl< DeducedTemplateArgument > &Deduced, unsigned NumExplicitlySpecified, FunctionDecl *&Specialization, sema::TemplateDeductionInfo &Info, SmallVectorImpl< OriginalCallArg > const *OriginalCallArgs, bool PartialOverloading, bool PartialOrdering, bool ForOverloadSetAddressResolution, llvm::function_ref< bool(bool)> CheckNonDependent=[](bool) { return false;})
Finish template argument deduction for a function template, checking the deduced template arguments f...
@ CTAK_DeducedFromArrayBound
The template argument was deduced from an array bound via template argument deduction.
@ CTAK_Specified
The template argument was specified in the code or was instantiated with some deduced template argume...
@ CTAK_Deduced
The template argument was deduced via template argument deduction.
bool DeduceReturnType(FunctionDecl *FD, SourceLocation Loc, bool Diagnose=true)
bool IsQualificationConversion(QualType FromType, QualType ToType, bool CStyle, bool &ObjCLifetimeConversion)
IsQualificationConversion - Determines whether the conversion from an rvalue of type FromType to ToTy...
void MarkUsedTemplateParametersForSubsumptionParameterMapping(const Expr *E, unsigned Depth, llvm::SmallBitVector &Used)
Mark which template parameters are named in a given expression.
QualType BuildFunctionType(QualType T, MutableArrayRef< QualType > ParamTypes, SourceLocation Loc, DeclarationName Entity, const FunctionProtoType::ExtProtoInfo &EPI)
Build a function type.
ExprResult BuildExpressionFromNonTypeTemplateArgument(const TemplateArgument &Arg, SourceLocation Loc)
ASTContext & getASTContext() const
UnresolvedSetIterator getMostSpecialized(UnresolvedSetIterator SBegin, UnresolvedSetIterator SEnd, TemplateSpecCandidateSet &FailedCandidates, SourceLocation Loc, const PartialDiagnostic &NoneDiag, const PartialDiagnostic &AmbigDiag, const PartialDiagnostic &CandidateDiag, bool Complain=true, QualType TargetType=QualType())
Retrieve the most specialized of the given function template specializations.
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.
ExprResult ImpCastExprToType(Expr *E, QualType Type, CastKind CK, ExprValueKind VK=VK_PRValue, const CXXCastPath *BasePath=nullptr, CheckedConversionKind CCK=CheckedConversionKind::Implicit)
ImpCastExprToType - If Expr is not of type 'Type', insert an implicit cast.
bool isTemplateTemplateParameterAtLeastAsSpecializedAs(TemplateParameterList *PParam, TemplateDecl *PArg, TemplateDecl *AArg, const DefaultArguments &DefaultArgs, SourceLocation ArgLoc, bool PartialOrdering, bool *StrictPackMatch)
PrintingPolicy getPrintingPolicy() const
Retrieve a suitable printing policy for diagnostics.
bool SubstTemplateArguments(ArrayRef< TemplateArgumentLoc > Args, const MultiLevelTemplateArgumentList &TemplateArgs, TemplateArgumentListInfo &Outputs)
bool CheckConstraintSatisfaction(ConstrainedDeclOrNestedRequirement Entity, ArrayRef< AssociatedConstraint > AssociatedConstraints, const MultiLevelTemplateArgumentList &TemplateArgLists, SourceRange TemplateIDRange, ConstraintSatisfaction &Satisfaction, const ConceptReference *TopLevelConceptId=nullptr, Expr **ConvertedExpr=nullptr)
Check whether the given list of constraint expressions are satisfied (as if in a 'conjunction') given...
@ TPL_TemplateParamsEquivalent
We are determining whether the template-parameters are equivalent according to C++ [temp....
bool CheckTemplateArgument(NamedDecl *Param, TemplateArgumentLoc &Arg, NamedDecl *Template, SourceLocation TemplateLoc, SourceLocation RAngleLoc, unsigned ArgumentPackIndex, CheckTemplateArgumentInfo &CTAI, CheckTemplateArgumentKind CTAK)
Check that the given template argument corresponds to the given template parameter.
bool isSameOrCompatibleFunctionType(QualType Param, QualType Arg)
Compare types for equality with respect to possibly compatible function types (noreturn adjustment,...
const LangOptions & getLangOpts() const
UnsignedOrNone getNumArgumentsInExpansion(QualType T, const MultiLevelTemplateArgumentList &TemplateArgs)
Determine the number of arguments in the given pack expansion type.
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)
TemplateDeductionResult SubstituteExplicitTemplateArguments(FunctionTemplateDecl *FunctionTemplate, TemplateArgumentListInfo &ExplicitTemplateArgs, SmallVectorImpl< DeducedTemplateArgument > &Deduced, SmallVectorImpl< QualType > &ParamTypes, QualType *FunctionType, sema::TemplateDeductionInfo &Info)
Substitute the explicitly-provided template arguments into the given function template according to C...
bool SubstParmTypes(SourceLocation Loc, ArrayRef< ParmVarDecl * > Params, const FunctionProtoType::ExtParameterInfo *ExtParamInfos, const MultiLevelTemplateArgumentList &TemplateArgs, SmallVectorImpl< QualType > &ParamTypes, SmallVectorImpl< ParmVarDecl * > *OutParams, ExtParameterInfoBuilder &ParamInfos)
Substitute the given template arguments into the given set of parameters, producing the set of parame...
FunctionDecl * resolveAddressOfSingleOverloadCandidate(Expr *E, DeclAccessPair &FoundResult)
Given an expression that refers to an overloaded function, try to resolve that function to a single f...
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...
SuppressedDiagnosticsMap SuppressedDiagnostics
void DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction &Satisfaction, SourceLocation Loc={}, bool First=true)
Emit diagnostics explaining why a constraint expression was deemed unsatisfied.
bool IsDerivedFrom(SourceLocation Loc, CXXRecordDecl *Derived, CXXRecordDecl *Base, CXXBasePaths &Paths)
Determine whether the type Derived is a C++ class that is derived from the type Base.
bool isUnevaluatedContext() const
Determines whether we are currently in a context that is not evaluated as per C++ [expr] p5.
FunctionDecl * ResolveSingleFunctionTemplateSpecialization(OverloadExpr *ovl, bool Complain=false, DeclAccessPair *Found=nullptr, TemplateSpecCandidateSet *FailedTSC=nullptr, bool ForTypeDeduction=false)
Given an expression that refers to an overloaded function, try to resolve that overloaded function ex...
QualType getDecltypeForExpr(Expr *E)
getDecltypeForExpr - Given an expr, will return the decltype for that expression, according to the ru...
ExprResult CheckPlaceholderExpr(Expr *E)
Check for operands with placeholder types and complain if found.
Decl * SubstDecl(Decl *D, DeclContext *Owner, const MultiLevelTemplateArgumentList &TemplateArgs)
TemplateArgumentLoc SubstDefaultTemplateArgumentIfAvailable(TemplateDecl *Template, SourceLocation TemplateKWLoc, SourceLocation TemplateNameLoc, SourceLocation RAngleLoc, Decl *Param, ArrayRef< TemplateArgument > SugaredConverted, ArrayRef< TemplateArgument > CanonicalConverted, bool &HasDefaultArg)
If the given template parameter has a default template argument, substitute into that default templat...
TypeSourceInfo * SubstAutoTypeSourceInfoDependent(TypeSourceInfo *TypeWithAuto)
TypeSourceInfo * ReplaceAutoTypeSourceInfo(TypeSourceInfo *TypeWithAuto, QualType Replacement)
TemplateParameterList * SubstTemplateParams(TemplateParameterList *Params, DeclContext *Owner, const MultiLevelTemplateArgumentList &TemplateArgs, bool EvaluateConstraints=true)
bool isSFINAEContext() const
bool isCompleteType(SourceLocation Loc, QualType T, CompleteTypeKind Kind=CompleteTypeKind::Default)
bool isStdInitializerList(QualType Ty, QualType *Element)
Tests whether Ty is an instance of std::initializer_list and, if it is and Element is not NULL,...
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.
void MarkUsedTemplateParameters(const Expr *E, bool OnlyDeduced, unsigned Depth, llvm::SmallBitVector &Used)
Mark which template parameters are used in a given expression.
@ 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),...
QualType getLambdaConversionFunctionResultType(const FunctionProtoType *CallOpType, CallingConv CC)
Get the return type to use for a lambda's conversion function(s) to function pointer type,...
static QualType getTypeOfConstantTemplateParameter(const TemplateArgument &Arg)
Determine the declared type of the constant template parameter that Arg names, if any.
QualType getCompletedType(Expr *E)
Get the type of expression E, triggering instantiation to complete the type if necessary – that is,...
TypeSourceInfo * SubstAutoTypeSourceInfo(TypeSourceInfo *TypeWithAuto, QualType Replacement)
Substitute Replacement for auto in TypeWithAuto.
bool IsAtLeastAsConstrained(const NamedDecl *D1, MutableArrayRef< AssociatedConstraint > AC1, const NamedDecl *D2, MutableArrayRef< AssociatedConstraint > AC2, bool &Result)
Check whether the given declaration's associated constraints are at least as constrained than another...
void DiagnoseAutoDeductionFailure(const VarDecl *VDecl, const Expr *Init)
TemplateArgumentLoc getIdentityTemplateArgumentLoc(NamedDecl *Param, SourceLocation Location)
Get a template argument mapping the given template parameter to itself, e.g.
bool CheckIfFunctionSpecializationIsImmediate(FunctionDecl *FD, SourceLocation Loc)
QualType SubstAutoTypeDependent(QualType TypeWithAuto)
TemplateDeductionResult DeduceTemplateArguments(ClassTemplatePartialSpecializationDecl *Partial, ArrayRef< TemplateArgument > TemplateArgs, sema::TemplateDeductionInfo &Info)
bool CheckFunctionTemplateConstraints(SourceLocation PointOfInstantiation, FunctionDecl *Decl, ArrayRef< TemplateArgument > TemplateArgs, ConstraintSatisfaction &Satisfaction)
void runWithSufficientStackSpace(SourceLocation Loc, llvm::function_ref< void()> Fn)
Run some code with "sufficient" stack space.
bool isMoreSpecializedThanPrimary(ClassTemplatePartialSpecializationDecl *T, sema::TemplateDeductionInfo &Info)
bool IsFunctionConversion(QualType FromType, QualType ToType) const
Determine whether the conversion from FromType to ToType is a valid conversion of ExtInfo/ExtProtoInf...
std::string getTemplateArgumentBindingsText(const TemplateParameterList *Params, const TemplateArgumentList &Args)
Produces a formatted string that describes the binding of template parameters to template arguments.
bool CheckTemplateArgumentList(TemplateDecl *Template, SourceLocation TemplateLoc, TemplateArgumentListInfo &TemplateArgs, const DefaultArguments &DefaultArgs, bool PartialTemplateArgs, CheckTemplateArgumentInfo &CTAI, bool UpdateArgsWithConversions=true, bool *ConstraintsNotSatisfied=nullptr)
Check that the given template arguments can be provided to the given template, converting the argumen...
void adjustMemberFunctionCC(QualType &T, bool HasThisPointer, bool IsCtorOrDtor, SourceLocation Loc)
Adjust the calling convention of a method to be the ABI default if it wasn't specified explicitly.
ExprResult BuildExpressionFromDeclTemplateArgument(const TemplateArgument &Arg, QualType ParamType, SourceLocation Loc)
Given a non-type template argument that refers to a declaration and the type of its corresponding non...
@ Diagnose
Diagnose issues that are non-constant or that are extensions.
TemplateDeductionResult DeduceAutoType(TypeLoc AutoTypeLoc, Expr *Initializer, QualType &Result, sema::TemplateDeductionInfo &Info, bool DependentDeduction=false, bool IgnoreConstraints=false, TemplateSpecCandidateSet *FailedTSC=nullptr)
Deduce the type for an auto type-specifier (C++11 [dcl.spec.auto]p6)
QualType adjustCCAndNoReturn(QualType ArgFunctionType, QualType FunctionType, bool AdjustExceptionSpec=false)
Adjust the type ArgFunctionType to match the calling convention, noreturn, and optionally the excepti...
void HandleFunctionTypeMismatch(PartialDiagnostic &PDiag, QualType FromType, QualType ToType)
HandleFunctionTypeMismatch - Gives diagnostic information for differeing function types.
FunctionTemplateDecl * getMoreSpecializedTemplate(FunctionTemplateDecl *FT1, FunctionTemplateDecl *FT2, SourceLocation Loc, TemplatePartialOrderingContext TPOC, unsigned NumCallArguments1, QualType RawObj1Ty={}, QualType RawObj2Ty={}, bool Reversed=false, bool PartialOverloading=false)
Returns the more specialized function template according to the rules of function template partial or...
void MarkDeducedTemplateParameters(const FunctionTemplateDecl *FunctionTemplate, llvm::SmallBitVector &Deduced)
NamedDecl * getPack() const
Retrieve the parameter pack.
Encodes a location in the source.
A trivial tuple used to represent a source range.
SourceLocation getEnd() const
void Profile(llvm::FoldingSetNodeID &ID, const ASTContext &Context, bool Canonical, bool ProfileLambdaExpr=false) const
Produce a unique representation of the given statement.
A convenient class for passing around template argument information.
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.
unsigned size() const
Retrieve the number of template arguments in this template argument list.
const TemplateArgument & get(unsigned Idx) const
Retrieve the template argument at a given index.
ArrayRef< TemplateArgument > asArray() const
Produce this as an array ref.
Location wrapper for a TemplateArgument.
const TemplateArgument & getArgument() const
Represents a template argument.
QualType getParamTypeForDecl() const
Expr * getAsExpr() const
Retrieve the template argument as an expression.
pack_iterator pack_end() const
Iterator referencing one past the last argument of a template argument pack.
const TemplateArgument * pack_iterator
Iterator that traverses the elements of a template argument pack.
pack_iterator pack_begin() const
Iterator referencing the first argument of a template argument pack.
QualType getNonTypeTemplateArgumentType() const
If this is a non-type template argument, get its type.
void Profile(llvm::FoldingSetNodeID &ID, const ASTContext &Context) const
Used to insert TemplateArguments into FoldingSets.
QualType getAsType() const
Retrieve the type for a type template argument.
llvm::APSInt getAsIntegral() const
Retrieve the template argument as an integral value.
QualType getNullPtrType() const
Retrieve the type for null non-type template argument.
static TemplateArgument CreatePackCopy(ASTContext &Context, ArrayRef< TemplateArgument > Args)
Create a new template argument pack by copying the given set of template arguments.
TemplateName getAsTemplate() const
Retrieve the template name for a template name argument.
TemplateArgument getPackExpansionPattern() const
When the template argument is a pack expansion, returns the pattern of the pack expansion.
bool isNull() const
Determine whether this template argument has no value.
static TemplateArgument getEmptyPack()
unsigned pack_size() const
The number of template arguments in the given template argument pack.
bool structurallyEquals(const TemplateArgument &Other) const
Determines whether two template arguments are superficially the same.
ValueDecl * getAsDecl() const
Retrieve the declaration for a declaration non-type template argument.
ArrayRef< TemplateArgument > pack_elements() const
Iterator range referencing all of the elements of a template argument pack.
@ Declaration
The template argument is a declaration that was provided for a pointer, reference,...
@ Template
The template argument is a template name that was provided for a template template parameter.
@ StructuralValue
The template argument is a non-type template argument that can't be represented by the special-case D...
@ Pack
The template argument is actually a parameter pack.
@ TemplateExpansion
The template argument is a pack expansion of a template name that was provided for a template templat...
@ NullPtr
The template argument is a null pointer or null pointer to member that was provided for a non-type te...
@ Type
The template argument is a type.
@ Null
Represents an empty template argument, e.g., one that has not been deduced.
@ Integral
The template argument is an integral value stored in an llvm::APSInt that was provided for an integra...
@ Expression
The template argument is an expression, and we've not resolved it to one of the other forms yet,...
ArgKind getKind() const
Return the kind of stored template argument.
bool isPackExpansion() const
Determine whether this template argument is a pack expansion.
TemplateName getAsTemplateOrTemplatePattern() const
Retrieve the template argument as a template name; if the argument is a pack expansion,...
The base class of all kinds of template declarations (e.g., class, function, etc.).
void getAssociatedConstraints(llvm::SmallVectorImpl< AssociatedConstraint > &AC) const
Get the total constraint-expression associated with this template, including constraint-expressions d...
NamedDecl * getTemplatedDecl() const
Get the underlying, templated declaration.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
TemplateParameterList * getTemplateParameters() const
Get the list of template parameters.
Represents a C++ template name within the type system.
TemplateDecl * getAsTemplateDecl(bool IgnoreDeduced=false) const
Retrieve the underlying template declaration that this template name refers to, if known.
DependentTemplateName * getAsDependentTemplateName() const
Retrieve the underlying dependent template name structure, if any.
QualifiedTemplateName * getAsQualifiedTemplateName() const
Retrieve the underlying qualified template name structure, if any.
Stores a list of template parameters for a TemplateDecl and its derived classes.
NamedDecl * getParam(unsigned Idx)
ArrayRef< TemplateArgument > getInjectedTemplateArgs(const ASTContext &Context)
Get the template argument list of the template parameter list.
unsigned getDepth() const
Get the depth of this template parameter list in the set of template parameter lists.
SourceLocation getRAngleLoc() const
SourceLocation getLAngleLoc() const
void getAssociatedConstraints(llvm::SmallVectorImpl< AssociatedConstraint > &AC) const
All associated constraints derived from this template parameter list, including the requires clause a...
ArrayRef< NamedDecl * > asArray()
SourceLocation getTemplateLoc() const
TemplateSpecCandidateSet - A set of generalized overload candidates, used in template specializations...
void NoteCandidates(Sema &S, SourceLocation Loc)
NoteCandidates - When no template specialization match is found, prints diagnostic messages containin...
TemplateSpecCandidate & addCandidate()
Add a new candidate with NumConversions conversion sequence slots to the overload set.
TemplateTemplateParmDecl - Declares a template template parameter, e.g., "T" in.
TemplateNameKind templateParameterKind() const
unsigned getIndex() const
Get the index of the template parameter within its parameter list.
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...
Declaration of a template type parameter.
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 Type * getTypeForDecl() const
TyLocType push(QualType T)
Pushes space for a new TypeLoc of the given type.
void reserve(size_t Requested)
Ensures that this buffer has at least as much capacity as described.
Base wrapper for a particular "section" of type source info.
QualType getType() const
Get the type for which this source info wrapper provides information.
SourceRange getLocalSourceRange() const
Get the local source range.
unsigned getFullDataSize() const
Returns the size of the type source info data block.
void copy(TypeLoc other)
Copies the other type loc into this one.
A container of type source information.
QualType getType() const
Return the type wrapped by this type source info.
SourceLocation getNameLoc() const
void setNameLoc(SourceLocation Loc)
The base class of the type hierarchy.
const TemplateSpecializationType * getAsNonAliasTemplateSpecializationType() const
Look through sugar for an instance of TemplateSpecializationType which is not a type alias,...
bool isPlaceholderType() const
Test for a type which does not represent an actual type-system type but is instead used as a placehol...
bool isRValueReferenceType() const
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
bool isFunctionPointerType() const
bool isPointerType() const
const T * castAs() const
Member-template castAs<specific type>.
bool isReferenceType() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
AutoType * getContainedAutoType() const
Get the AutoType whose type will be deduced for a variable with an initializer of this type.
bool isLValueReferenceType() const
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
QualType getCanonicalTypeInternal() const
bool isMemberPointerType() const
bool isObjCLifetimeType() const
Returns true if objects of this type have lifetime semantics under ARC.
bool isUndeducedType() const
Determine whether this type is an undeduced type, meaning that it somehow involves a C++11 'auto' typ...
bool isFunctionType() const
bool isMemberFunctionPointerType() const
const T * getAsCanonical() const
If this type is canonically the specified type, return its canonical type cast to that specified type...
bool isAnyPointerType() const
TypeClass getTypeClass() const
const T * getAs() const
Member-template getAs<specific type>'.
bool isRecordType() const
The iterator over UnresolvedSets.
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Represents a variable declaration or definition.
bool isInitCapture() const
Whether this variable is the implicit variable for a lambda init-capture.
Declaration of a variable template.
VarTemplateDecl * getCanonicalDecl() override
Retrieves the canonical declaration of this template.
const TemplateArgumentList & getTemplateArgs() const
Retrieve the template arguments of the variable template specialization.
VarTemplateDecl * getSpecializedTemplate() const
Retrieve the template that this specialization specializes.
Represents a GCC generic vector type.
Provides information about an attempted template argument deduction, whose success or failure was des...
void setExplicitArgs(TemplateArgumentList *NewDeducedSugared, TemplateArgumentList *NewDeducedCanonical)
Provide an initial template argument list that contains the explicitly-specified arguments.
TemplateArgumentList * takeCanonical()
TemplateArgumentList * takeSugared()
Take ownership of the deduced template argument lists.
SourceLocation getLocation() const
Returns the location at which template argument is occurring.
void clearSFINAEDiagnostic()
Discard any SFINAE diagnostics.
TemplateArgument SecondArg
The second template argument to which the template argument deduction failure refers.
void setStrictPackMatch()
TemplateParameter Param
The template parameter to which a template argument deduction failure refers.
diag_iterator diag_end() const
Returns an iterator at the end of the sequence of suppressed diagnostics.
void reset(TemplateArgumentList *NewDeducedSugared, TemplateArgumentList *NewDeducedCanonical)
Provide a new template argument list that contains the results of template argument deduction.
unsigned getDeducedDepth() const
The depth of template parameters for which deduction is being performed.
diag_iterator diag_begin() const
Returns an iterator at the beginning of the sequence of suppressed diagnostics.
TemplateArgument FirstArg
The first template argument to which the template argument deduction failure refers.
ConstraintSatisfaction AssociatedConstraintsSatisfaction
The constraint satisfaction details resulting from the associated constraints satisfaction tests.
unsigned CallArgIndex
The index of the function argument that caused a deduction failure.
bool hasStrictPackMatch() const
__inline void unsigned int _2
Top level wrappers for InstallAPI frontend operations.
@ OO_None
Not an overloaded operator.
@ Match
This is not an overload because the signature exactly matches an existing declaration.
bool isa(CodeGen::Address addr)
@ GNUAutoType
__auto_type (GNU extension)
bool isTargetAddressSpace(LangAS AS)
@ Specialization
We are substituting template parameters for template arguments in order to form a template specializa...
@ Both
Look for allocation functions in both the global scope and in the scope of the allocated class.
@ RQ_None
No ref-qualifier was provided.
@ RQ_RValue
An rvalue ref-qualifier was provided (&&).
@ TemplateName
The identifier is a template name. FIXME: Add an annotation for that.
NamedDecl * getAsNamedDecl(TemplateParameter P)
bool isPackProducingBuiltinTemplateName(TemplateName N)
UnsignedOrNone getExpandedPackSize(const NamedDecl *Param)
Check whether the template parameter is a pack expansion, and if so, determine the number of paramete...
unsigned toTargetAddressSpace(LangAS AS)
bool isLambdaCallOperator(const CXXMethodDecl *MD)
@ Result
The result type of a method or function.
std::pair< unsigned, unsigned > getDepthAndIndex(const NamedDecl *ND)
Retrieve the depth and index of a template parameter.
OptionalUnsigned< unsigned > UnsignedOrNone
const FunctionProtoType * T
@ Template
We are parsing a template declaration.
ActionResult< CXXBaseSpecifier * > BaseResult
DeductionFailureInfo MakeDeductionFailureInfo(ASTContext &Context, TemplateDeductionResult TDK, sema::TemplateDeductionInfo &Info)
Convert from Sema's representation of template deduction information to the form used in overload-can...
@ FunctionTemplate
The name was classified as a function template name.
@ Concept
The name was classified as a concept name.
bool isLambdaConversionOperator(CXXConversionDecl *C)
@ Deduced
The normal deduced case.
@ Undeduced
Not deduced yet. This is for example an 'auto' which was just parsed.
@ DeducedAsPack
Same as above, but additionally this represents a case where the deduced entity itself is a pack.
@ DeducedAsDependent
This is a special case where the initializer is dependent, so we can't deduce a type yet.
@ TNK_Var_template
The name refers to a variable template whose specialization produces a variable.
@ TNK_Concept_template
The name refers to a concept.
llvm::PointerUnion< TemplateTypeParmDecl *, NonTypeTemplateParmDecl *, TemplateTemplateParmDecl * > TemplateParameter
Stores a template parameter of any kind.
TPOC
The context in which partial ordering of function templates occurs.
@ TPOC_Conversion
Partial ordering of function templates for a call to a conversion function.
@ TPOC_Other
Partial ordering of function templates in other contexts, e.g., taking the address of a function temp...
@ TPOC_Call
Partial ordering of function templates for a function call.
bool declaresSameEntity(const Decl *D1, const Decl *D2)
Determine whether two declarations declare the same entity.
DynamicRecursiveASTVisitorBase< false > DynamicRecursiveASTVisitor
TemplateDeductionResult
Describes the result of template argument deduction.
@ MiscellaneousDeductionFailure
Deduction failed; that's all we know.
@ NonDependentConversionFailure
Checking non-dependent argument conversions failed.
@ ConstraintsNotSatisfied
The deduced arguments did not satisfy the constraints associated with the template.
@ Underqualified
Template argument deduction failed due to inconsistent cv-qualifiers on a template parameter type tha...
@ InstantiationDepth
Template argument deduction exceeded the maximum template instantiation depth (which has already been...
@ InvalidExplicitArguments
The explicitly-specified template arguments were not valid template arguments for the given template.
@ CUDATargetMismatch
CUDA Target attributes do not match.
@ TooFewArguments
When performing template argument deduction for a function template, there were too few call argument...
@ Incomplete
Template argument deduction did not deduce a value for every template parameter.
@ Invalid
The declaration was invalid; do nothing.
@ Success
Template argument deduction was successful.
@ SubstitutionFailure
Substitution of the deduced template argument values resulted in an error.
@ IncompletePack
Template argument deduction did not deduce a value for every expansion of an expanded template parame...
@ DeducedMismatch
After substituting deduced template arguments, a dependent parameter type did not match the correspon...
@ Inconsistent
Template argument deduction produced inconsistent deduced values for the given template parameter.
@ TooManyArguments
When performing template argument deduction for a function template, there were too many call argumen...
@ AlreadyDiagnosed
Some error which was already diagnosed.
@ DeducedMismatchNested
After substituting deduced template arguments, an element of a dependent parameter type did not match...
@ NonDeducedMismatch
A non-depnedent component of the parameter did not match the corresponding component of the argument.
CallingConv
CallingConv - Specifies the calling convention that a function uses.
U cast(CodeGen::Address addr)
@ Noexcept
Condition in a noexcept(bool) specifier.
@ PackIndex
Index of a pack indexing expression or specifier.
@ None
No keyword precedes the qualified type name.
ActionResult< Expr * > ExprResult
@ EST_Uninstantiated
not instantiated yet
@ EST_None
no exception specification
TemplateDeductionFlags
Various flags that control template argument deduction.
@ TDF_None
No template argument deduction flags, which indicates the strictest results for template argument ded...
@ TDF_DerivedClass
Within template argument deduction from a function call, we are matching in a case where we can perfo...
@ TDF_TopLevelParameterTypeList
Whether we are performing template argument deduction for parameters and arguments in a top-level tem...
@ TDF_IgnoreQualifiers
Within template argument deduction from a function call, we are matching in a case where we ignore cv...
@ TDF_ParamWithReferenceType
Within template argument deduction from a function call, we are matching with a parameter type for wh...
@ TDF_SkipNonDependent
Allow non-dependent types to differ, e.g., when performing template argument deduction from a functio...
@ TDF_AllowCompatibleFunctionType
Within template argument deduction from overload resolution per C++ [over.over] allow matching functi...
@ TDF_ArgWithReferenceType
Within template argument deduction for a conversion function, we are matching with an argument type f...
static constexpr bool value
static constexpr bool value
static constexpr bool value
A pack that we're currently deducing.
DeducedPack(unsigned Index)
SmallVector< DeducedTemplateArgument, 4 > New
DeducedTemplateArgument Saved
DeducedTemplateArgument DeferredDeduction
ExceptionSpecificationType Type
The kind of exception specification this is.
Extra information about a function prototype.
const ExtParameterInfo * ExtParameterInfos
bool StrictPackMatch
Is set to true when, in the context of TTP matching, a pack parameter matches non-pack arguments.
bool MatchingTTP
If true, assume these template arguments are the injected template arguments for a template template ...
bool PartialOrdering
The check is being performed in the context of partial ordering.
SmallVector< TemplateArgument, 4 > SugaredConverted
The checked, converted argument will be added to the end of these vectors.
SmallVector< TemplateArgument, 4 > CanonicalConverted
@ ExplicitTemplateArgumentSubstitution
We are substituting explicit template arguments provided for a function template.
@ DeducedTemplateArgumentSubstitution
We are substituting template argument determined as part of template argument deduction for either a ...
bool isPotentiallyEvaluated() const
A stack object to be created when performing template instantiation.
bool isInvalid() const
Determines whether we have exceeded the maximum recursive template instantiations.
brief A function argument from which we performed template argument
QualType OriginalParamType
Location information for a TemplateArgument.
TemplateSpecCandidate - This is a generalization of OverloadCandidate which keeps track of template a...
void set(DeclAccessPair Found, Decl *Spec, DeductionFailureInfo Info)