54#include "llvm/ADT/APSInt.h"
55#include "llvm/ADT/ArrayRef.h"
56#include "llvm/ADT/STLExtras.h"
57#include "llvm/ADT/SmallVector.h"
58#include "llvm/ADT/StringRef.h"
59#include "llvm/ADT/StringSwitch.h"
60#include "llvm/ADT/iterator_range.h"
61#include "llvm/Support/Casting.h"
62#include "llvm/Support/ErrorHandling.h"
63#include "llvm/Support/raw_ostream.h"
64#include "llvm/TargetParser/Triple.h"
82 if (!Loc.isValid() && TheDecl) Loc = TheDecl->getLocation();
84 Loc.print(OS, Context.getSourceManager());
89 if (
auto *ND = dyn_cast_if_present<NamedDecl>(TheDecl)) {
91 ND->getNameForDiagnostic(OS, Context.getPrintingPolicy(),
true);
103TranslationUnitDecl::TranslationUnitDecl(
ASTContext &ctx)
105 DeclContext(TranslationUnit), redeclarable_base(ctx), Ctx(ctx) {}
173 assert(!kind.IgnoreExplicitVisibility &&
174 "asking for explicit visibility when we shouldn't be");
189static std::enable_if_t<!std::is_base_of_v<RedeclarableTemplateDecl, T>,
bool>
192 D->getMemberSpecializationInfo()) {
193 return member->isExplicitSpecialization();
209 switch (
attr->getVisibility()) {
217 llvm_unreachable(
"bad visibility kind");
221static std::optional<Visibility>
226 if (
const auto *A = D->
getAttr<TypeVisibilityAttr>()) {
232 if (
const auto *A = D->
getAttr<VisibilityAttr>()) {
249LinkageInfo LinkageComputer::getLVForTemplateParameterList(
252 for (
const NamedDecl *P : *Params) {
262 if (
const auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(P)) {
264 if (!NTTP->isExpandedParameterPack()) {
265 if (!NTTP->getType()->isDependentType()) {
266 LV.
merge(getLVForType(*NTTP->getType(), computation));
272 for (
unsigned i = 0, n = NTTP->getNumExpansionTypes(); i != n; ++i) {
273 QualType
type = NTTP->getExpansionType(i);
274 if (!
type->isDependentType())
285 if (!TTP->isExpandedParameterPack()) {
286 LV.
merge(getLVForTemplateParameterList(TTP->getTemplateParameters(),
292 for (
unsigned i = 0, n = TTP->getNumExpansionTemplateParameters();
294 LV.
merge(getLVForTemplateParameterList(
295 TTP->getExpansionTemplateParameters(i), computation));
303 const Decl *Ret =
nullptr;
305 while (DC->
getDeclKind() != Decl::TranslationUnit) {
323 for (
const TemplateArgument &Arg : Args) {
324 switch (Arg.getKind()) {
331 LV.
merge(getLVForType(*Arg.getAsType(), computation));
335 const NamedDecl *ND = Arg.getAsDecl();
346 LV.
merge(getLVForValue(Arg.getAsStructuralValue(), computation));
352 Arg.getAsTemplateOrTemplatePattern().getAsTemplateDecl(
358 LV.
merge(getLVForTemplateArgumentList(Arg.getPackAsArray(), computation));
361 llvm_unreachable(
"bad template argument kind");
370 return getLVForTemplateArgumentList(TArgs.
asArray(), computation);
382 return !fn->
hasAttr<VisibilityAttr>();
392void LinkageComputer::mergeTemplateLV(
396 bool considerVisibility =
399 FunctionTemplateDecl *temp = specInfo->
getTemplate();
407 LinkageInfo paramsLV =
413 LinkageInfo argsLV = getLVForTemplateArgumentList(templateArgs, computation);
466void LinkageComputer::mergeTemplateLV(
480 LinkageInfo paramsLV =
489 LinkageInfo argsLV = getLVForTemplateArgumentList(templateArgs, computation);
490 if (considerVisibility)
523void LinkageComputer::mergeTemplateLV(
LinkageInfo &LV,
540 LinkageInfo argsLV = getLVForTemplateArgumentList(templateArgs, computation);
541 if (considerVisibility)
549 if (!Opts.CPlusPlus || !Opts.InlineVisibilityHidden)
552 const auto *FD = dyn_cast<FunctionDecl>(D);
558 = FD->getTemplateSpecializationInfo()) {
561 FD->getMemberSpecializationInfo()) {
562 TSK = MSI->getTemplateSpecializationKind();
575 const T *
First = D->getFirstDecl();
576 return First->isInExternCContext();
580 if (
const auto *SD = dyn_cast<LinkageSpecDecl>(D.
getDeclContext()))
581 if (!SD->hasBraces())
591 if (
auto *TD = dyn_cast<TemplateDecl>(D))
592 D = TD->getTemplatedDecl();
594 if (
auto *VD = dyn_cast<VarDecl>(D))
595 return VD->getStorageClass();
596 if (
auto *FD = dyn_cast<FunctionDecl>(D))
597 return FD->getStorageClass();
603LinkageComputer::getLVForNamespaceScopeDecl(
const NamedDecl *D,
605 bool IgnoreVarTypeLinkage) {
607 "Not a name having namespace scope");
609 const auto *Var = dyn_cast<VarDecl>(D);
616 (Context.
getLangOpts().C23 && Var && Var->isConstexpr())) {
637 if (Context.
getLangOpts().CPlusPlus && Var->getType().isConstQualified() &&
638 !Var->getType().isVolatileQualified() && !Var->isInline() &&
642 if (auto *M = Var->getOwningModule())
643 return M->isInterfaceOrPartition() || M->isImplicitGlobalModule();
647 !Var->getDescribedVarTemplate()) {
648 const VarDecl *PrevVar = Var->getPreviousDecl();
652 if (Var->getStorageClass() !=
SC_Extern &&
658 for (
const VarDecl *PrevVar = Var->getPreviousDecl(); PrevVar;
661 Var->getStorageClass() ==
SC_None)
667 }
else if (
const auto *IFD = dyn_cast<IndirectFieldDecl>(D)) {
669 const VarDecl *VD = IFD->getVarDecl();
670 assert(VD &&
"Expected a VarDecl in this IndirectFieldDecl!");
671 return getLVForNamespaceScopeDecl(VD, computation, IgnoreVarTypeLinkage);
678 const auto *Var = dyn_cast<VarDecl>(D);
679 const auto *
Func = dyn_cast<FunctionDecl>(D);
708 DC = DC->getParent()) {
709 const auto *ND = dyn_cast<NamespaceDecl>(DC);
711 if (std::optional<Visibility> Vis =
751 if (
const auto *Var = dyn_cast<VarDecl>(D)) {
775 !IgnoreVarTypeLinkage) {
776 LinkageInfo TypeLV = getLVForType(*Var->getType(), computation);
793 if (
const auto *spec = dyn_cast<VarTemplateSpecializationDecl>(Var)) {
794 mergeTemplateLV(LV, spec, computation);
798 }
else if (
const auto *
Function = dyn_cast<FunctionDecl>(D)) {
813 OMPDeclareTargetDeclAttr::isDeclareTargetDeclaration(
Function)))
827 QualType TypeAsWritten =
Function->getType();
828 if (TypeSourceInfo *TSI =
Function->getTypeSourceInfo())
829 TypeAsWritten = TSI->getType();
837 if (FunctionTemplateSpecializationInfo *specInfo
838 =
Function->getTemplateSpecializationInfo()) {
839 mergeTemplateLV(LV,
Function, specInfo, computation);
848 }
else if (
const auto *Tag = dyn_cast<TagDecl>(D)) {
850 if (!
Tag->hasNameForLinkage())
856 if (
const auto *spec = dyn_cast<ClassTemplateSpecializationDecl>(Tag)) {
857 mergeTemplateLV(LV, spec, computation);
870 }
else if (
const auto *temp = dyn_cast<TemplateDecl>(D)) {
889 }
else if (
auto *TD = dyn_cast<TypedefNameDecl>(D)) {
892 if (!TD->getAnonDeclWithTypedefName(
true))
913LinkageComputer::getLVForClassMember(
const NamedDecl *D,
915 bool IgnoreVarTypeLinkage) {
952 LVComputationKind classComputation = computation;
956 LinkageInfo classLV =
969 const NamedDecl *explicitSpecSuppressor =
nullptr;
971 if (
const auto *MD = dyn_cast<CXXMethodDecl>(D)) {
974 QualType TypeAsWritten = MD->getType();
975 if (TypeSourceInfo *TSI = MD->getTypeSourceInfo())
976 TypeAsWritten = TSI->getType();
982 if (FunctionTemplateSpecializationInfo *spec
983 = MD->getTemplateSpecializationInfo()) {
984 mergeTemplateLV(LV, MD, spec, computation);
986 explicitSpecSuppressor = MD;
988 explicitSpecSuppressor = spec->getTemplate()->getTemplatedDecl();
991 explicitSpecSuppressor = MD;
1002 OMPDeclareTargetDeclAttr::isDeclareTargetDeclaration(MD)))
1005 }
else if (
const auto *RD = dyn_cast<CXXRecordDecl>(D)) {
1006 if (
const auto *spec = dyn_cast<ClassTemplateSpecializationDecl>(RD)) {
1007 mergeTemplateLV(LV, spec, computation);
1009 explicitSpecSuppressor = spec;
1017 explicitSpecSuppressor = RD;
1021 }
else if (
const auto *VD = dyn_cast<VarDecl>(D)) {
1022 if (
const auto *spec = dyn_cast<VarTemplateSpecializationDecl>(VD))
1023 mergeTemplateLV(LV, spec, computation);
1027 if (!IgnoreVarTypeLinkage) {
1028 LinkageInfo typeLV = getLVForType(*VD->
getType(), computation);
1037 explicitSpecSuppressor = VD;
1041 }
else if (
const auto *temp = dyn_cast<TemplateDecl>(D)) {
1042 bool considerVisibility =
1046 LinkageInfo tempLV =
1050 if (
const auto *redeclTemp = dyn_cast<RedeclarableTemplateDecl>(temp)) {
1053 }
else if (
const RedeclarableTemplateDecl *from =
1054 redeclTemp->getInstantiatedFromMemberTemplate()) {
1058 LinkageInfo fromLV = from->getLinkageAndVisibility();
1069 bool considerClassVisibility =
true;
1070 if (explicitSpecSuppressor &&
1075 considerClassVisibility =
false;
1083void NamedDecl::anchor() {}
1108 if (
const auto *IFD = dyn_cast<IndirectFieldDecl>(
this)) {
1112 const VarDecl *VD = IFD->getVarDecl();
1116 if (
const auto *VD = dyn_cast<VarDecl>(
this)) {
1123 if (
const auto *BD = dyn_cast<BindingDecl>(
this);
1125 const VarDecl *VD = BD->getHoldingVar();
1157 if (
auto *VD = dyn_cast<VarDecl>(
this))
1160 if (
auto *FD = dyn_cast<FunctionDecl>(
this))
1161 if (FD->isExternC())
1173 if (name.front() ==
'C')
1174 if (name ==
"CFStringCreateWithFormat" ||
1175 name ==
"CFStringCreateWithFormatAndArguments" ||
1176 name ==
"CFStringAppendFormat" ||
1177 name ==
"CFStringAppendFormatAndArguments")
1201 llvm_unreachable(
"unexpected module ownership kind");
1230static std::optional<Visibility>
1233 bool IsMostRecent) {
1245 if (
const auto *RD = dyn_cast<CXXRecordDecl>(ND)) {
1247 if (InstantiatedFrom)
1254 if (
const auto *spec = dyn_cast<ClassTemplateSpecializationDecl>(ND)) {
1258 while (TD !=
nullptr) {
1260 if (Vis != std::nullopt)
1262 TD = TD->getPreviousDecl();
1264 return std::nullopt;
1270 if (MostRecent != ND)
1274 if (
const auto *Var = dyn_cast<VarDecl>(ND)) {
1275 if (Var->isStaticDataMember()) {
1277 if (InstantiatedFrom)
1281 if (
const auto *VTSD = dyn_cast<VarTemplateSpecializationDecl>(Var))
1282 return getVisibilityOf(VTSD->getSpecializedTemplate()->getTemplatedDecl(),
1285 return std::nullopt;
1288 if (
const auto *fn = dyn_cast<FunctionDecl>(ND)) {
1293 return getVisibilityOf(templateInfo->getTemplate()->getTemplatedDecl(),
1299 if (InstantiatedFrom)
1302 return std::nullopt;
1306 if (
const auto *TD = dyn_cast<TemplateDecl>(ND))
1309 return std::nullopt;
1312std::optional<Visibility>
1323 Owner = dyn_cast<NamedDecl>(DC);
1342 auto *VD = dyn_cast<VarDecl>(Owner);
1343 LinkageInfo OwnerLV =
1358 if (
const auto *
Function = dyn_cast<FunctionDecl>(D)) {
1359 if (
Function->isInAnonymousNamespace() &&
1369 if (std::optional<Visibility> Vis =
1381 if (
const auto *Var = dyn_cast<VarDecl>(D)) {
1382 if (Var->hasExternalStorage()) {
1390 if (std::optional<Visibility> Vis =
1395 if (
const VarDecl *Prev = Var->getPreviousDecl()) {
1405 if (!Var->isStaticLocal())
1418 if (
const auto *BD = dyn_cast<BlockDecl>(OuterD)) {
1419 if (!BD->getBlockManglingNumber())
1422 LV = getLVForClosure(BD->getDeclContext()->getRedeclContext(),
1423 BD->getBlockManglingContextDecl(), computation);
1426 if (!FD->isInlined() &&
1436 !Context.
getLangOpts().VisibilityInlinesHiddenStaticLocalVar) {
1441 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FD))
1461 bool IgnoreVarTypeLinkage) {
1463 if (D->
hasAttr<InternalLinkageAttr>())
1478 case Decl::ImplicitParam:
1480 case Decl::NamespaceAlias:
1483 case Decl::UsingEnum:
1484 case Decl::UsingShadow:
1485 case Decl::UsingDirective:
1488 case Decl::EnumConstant:
1495 case Decl::TypeAlias:
1499 ->getAnonDeclWithTypedefName(
true))
1503 case Decl::TemplateTemplateParm:
1504 case Decl::NonTypeTemplateParm:
1505 case Decl::ObjCAtDefsField:
1506 case Decl::ObjCCategory:
1507 case Decl::ObjCCategoryImpl:
1508 case Decl::ObjCCompatibleAlias:
1509 case Decl::ObjCImplementation:
1510 case Decl::ObjCMethod:
1511 case Decl::ObjCProperty:
1512 case Decl::ObjCPropertyImpl:
1513 case Decl::ObjCProtocol:
1516 case Decl::CXXRecord: {
1518 if (
Record->isLambda()) {
1519 if (
Record->hasKnownLambdaInternalLinkage() ||
1520 !
Record->getLambdaManglingNumber()) {
1525 return getLVForClosure(
1526 Record->getDeclContext()->getRedeclContext(),
1527 Record->getLambdaContextDecl(), computation);
1533 case Decl::TemplateParamObject: {
1537 LinkageInfo LV = getLVForType(*TPO->getType(), computation);
1538 LV.
merge(getLVForValue(TPO->getValue(), computation));
1545 return getLVForNamespaceScopeDecl(D, computation, IgnoreVarTypeLinkage);
1555 return getLVForClassMember(D, computation, IgnoreVarTypeLinkage);
1569 return getLVForLocalDecl(D, computation);
1580 if (D->
hasAttr<InternalLinkageAttr>())
1586 if (std::optional<LinkageInfo> LI = lookup(D, computation))
1594 cache(D, computation, LV);
1601 if (!Opts.CPlusPlus || Opts.MicrosoftExt)
1611 if (!AlreadyVisited.insert(D).second)
1669 llvm_unreachable(
"unknown module kind");
1673 Name.print(OS, Policy);
1681 std::string QualName;
1682 llvm::raw_string_ostream OS(QualName);
1705 llvm::raw_svector_ostream NameOS(NameBuffer);
1707 if (NameBuffer.empty())
1708 OS <<
"(anonymous)";
1724 if (
auto *MD = dyn_cast<ObjCMethodDecl>(
this)) {
1725 if (
auto *ID = MD->getClassInterface())
1727 }
else if (
auto *PD = dyn_cast<ObjCPropertyDecl>(
this)) {
1728 if (
auto *MD = PD->getGetterMethodDecl())
1729 if (
auto *ID = MD->getClassInterface())
1731 }
else if (
auto *ID = dyn_cast<ObjCIvarDecl>(
this)) {
1732 if (
auto *CI = ID->getContainingInterface())
1740 ContextsTy Contexts;
1756 llvm::to_underlying(
1759 llvm::to_underlying(
1772 const NamedDecl *ND = dyn_cast<NamedDecl>(Ctx);
1776 Contexts.push_back(Ctx);
1780 for (
const DeclContext *DC : llvm::reverse(Contexts)) {
1781 if (
const auto *Spec = dyn_cast<ClassTemplateSpecializationDecl>(DC)) {
1782 OS << Spec->getName();
1784 printTemplateArgumentList(
1785 OS, TemplateArgs.
asArray(), P,
1786 Spec->getSpecializedTemplate()->getTemplateParameters());
1787 }
else if (
const auto *ND = dyn_cast<NamespaceDecl>(DC)) {
1788 if (ND->isAnonymousNamespace()) {
1790 :
"(anonymous namespace)");
1794 }
else if (
const auto *RD = llvm::dyn_cast<RecordDecl>(DC)) {
1801 Copy.SuppressTagKeyword =
true;
1802 Copy.SuppressTagKeywordInAnonNames =
false;
1803 Copy.AnonymousTagLocations =
false;
1804 RD->printName(OS,
Copy);
1805 }
else if (
const auto *FD = dyn_cast<FunctionDecl>(DC)) {
1807 if (FD->hasWrittenPrototype())
1808 FT = dyn_cast<FunctionProtoType>(FD->getType()->castAs<
FunctionType>());
1812 unsigned NumParams = FD->getNumParams();
1813 for (
unsigned i = 0; i < NumParams; ++i) {
1816 OS << FD->getParamDecl(i)->getType().stream(P);
1826 }
else if (
const auto *ED = dyn_cast<EnumDecl>(DC)) {
1839 OS << *cast<NamedDecl>(DC);
1860#define DECL(Type, Base) \
1862 return isRedeclarableImpl((Type##Decl *)nullptr);
1863#define ABSTRACT_DECL(DECL)
1864#include "clang/AST/DeclNodes.inc"
1866 llvm_unreachable(
"unknown decl kind");
1870 bool IsKnownNewer)
const {
1900 if (
const auto *UD = dyn_cast<UsingDecl>(
this))
1901 return UD->getQualifier().getCanonical() ==
1904 if (
const auto *UUVD = dyn_cast<UnresolvedUsingValueDecl>(
this))
1905 return UUVD->getQualifier().getCanonical() ==
1918 for (
const auto *D :
redecls()) {
1944 llvm_unreachable(
"Linkage hasn't been computed!");
1951 llvm_unreachable(
"Non-formal linkage is not allowed here!");
1956 llvm_unreachable(
"Unhandled Linkage enum");
1959NamedDecl *NamedDecl::getUnderlyingDeclImpl() {
1961 if (
auto *UD = dyn_cast<UsingShadowDecl>(ND))
1962 ND = UD->getTargetDecl();
1964 if (
auto *AD = dyn_cast<ObjCCompatibleAliasDecl>(ND))
1965 return AD->getClassInterface();
1967 if (
auto *AD = dyn_cast<NamespaceAliasDecl>(ND))
1968 return AD->getNamespace();
1983 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(D->
getAsFunction()))
1984 return MD->isInstance();
1992template <
typename DeclT>
1994 if (
decl->getNumTemplateParameterLists() > 0)
1995 return decl->getTemplateParameterList(0)->getTemplateLoc();
1996 return decl->getInnerLocStart();
2014 if (!hasExtInfo()) {
2020 getExtInfo()->TInfo = savedTInfo;
2023 getExtInfo()->QualifierLoc = QualifierLoc;
2024 }
else if (hasExtInfo()) {
2026 getExtInfo()->QualifierLoc = QualifierLoc;
2033 if (!hasExtInfo()) {
2039 getExtInfo()->TInfo = savedTInfo;
2042 getExtInfo()->TrailingRequiresClause = AC;
2047 assert(!TPLists.empty());
2049 if (!hasExtInfo()) {
2055 getExtInfo()->TInfo = savedTInfo;
2058 getExtInfo()->setTemplateParameterListsInfo(Context, TPLists);
2070 switch (
T->getTypeClass()) {
2076 case Type::BlockPointer:
2079 case Type::MemberPointer:
2082 case Type::LValueReference:
2083 case Type::RValueReference:
2086 case Type::PackExpansion:
2090 case Type::ConstantArray:
2091 case Type::DependentSizedArray:
2092 case Type::IncompleteArray:
2093 case Type::VariableArray:
2094 case Type::FunctionProto:
2095 case Type::FunctionNoProto:
2107 RangeEnd = TInfo->getTypeLoc().getSourceRange().getEnd();
2121 if (!TPLists.empty()) {
2142 llvm_unreachable(
"Invalid storage class");
2151 static_assert(
sizeof(VarDeclBitfields) <=
sizeof(
unsigned),
2152 "VarDeclBitfields too large!");
2154 "ParmVarDeclBitfields too large!");
2156 "NonParmVarDeclBitfields too large!");
2165 return new (
C, DC)
VarDecl(Var,
C, DC, StartL, IdL, Id,
T, TInfo, S);
2198 llvm_unreachable(
"Unknown thread storage class specifier!");
2216 if (!D.hasExternalFormalLinkage())
2221 if (!D.getASTContext().getLangOpts().CPlusPlus)
2245 assert(D.getASTContext().getLangOpts().CPlusPlus);
2320 if (!SAA->isInherited())
2326 if (
auto *VTSD = dyn_cast<VarTemplateSpecializationDecl>(
this)) {
2329 !VTSD->IsCompleteDefinition)
2361 VarDecl *LastTentative =
nullptr;
2366 Kind =
Decl->isThisDeclarationADefinition();
2371 LastTentative =
Decl;
2374 return LastTentative;
2379 for (
auto *I :
First->redecls()) {
2380 if (I->isThisDeclarationADefinition(
C) ==
Definition)
2390 for (
auto *I :
First->redecls()) {
2391 Kind = std::max(
Kind, I->isThisDeclarationADefinition(
C));
2401 if (
auto Expr = I->getInit()) {
2410 if (
auto *P = dyn_cast<ParmVarDecl>(
this))
2411 if (P->hasUnparsedDefaultArg() || P->hasUninstantiatedDefaultArg())
2415 return Eval->Value.isValid();
2417 return !
Init.isNull();
2424 if (
auto *S = dyn_cast<Stmt *>(
Init))
2430 Eval->Value.isOffset() ?
getASTContext().getExternalSource() :
nullptr));
2435 return ES->Value.getAddressOfPointer(
getASTContext().getExternalSource());
2437 return Init.getAddrOfPtr1();
2446 if (I->isThisDeclarationADefinition()) {
2489 if (
auto *Eval = dyn_cast_if_present<EvaluatedStmt *>(
Init)) {
2490 Eval->~EvaluatedStmt();
2502 if (!Lang.CPlusPlus && !Lang.OpenCL && !Lang.C23)
2515 if (Lang.CPlusPlus11 &&
getType()->isReferenceType())
2526 if (
getType()->isIntegralOrEnumerationType() && !Lang.C23)
2536 return (Lang.CPlusPlus11 || Lang.C23) &&
isConstexpr();
2543 const VarDecl *DefVD =
nullptr;
2545 if (!
Init ||
Init->isValueDependent() ||
getType()->isDependentType())
2559 if ((Context.getLangOpts().CPlusPlus || Context.getLangOpts().OpenCL) &&
2569 auto *Eval = dyn_cast_if_present<EvaluatedStmt *>(
Init);
2583 return dyn_cast_if_present<EvaluatedStmt *>(
Init);
2592 bool IsConstantInitialization)
const {
2596 assert(!
Init->isValueDependent());
2612 bool Result =
Init->EvaluateAsInitializer(Eval->
Evaluated, Ctx,
this, Notes,
2613 IsConstantInitialization);
2619 if (IsConstantInitialization &&
2636 return Result ? &Eval->
Evaluated :
nullptr;
2649 assert(
Init &&
"no initializer");
2682 "already evaluated var value before checking for constant init");
2685 "only meaningful in C++/C23");
2687 assert(!
getInit()->isValueDependent());
2691 evaluateValueImpl(Notes,
true) && Notes.empty();
2701template<
typename DeclT>
2704 if (
auto *Def = D->getDefinition())
2719 return T->isDependentType() ||
T->isUndeducedType() ||
2721 return AA->isAlignmentDependent();
2740 if (
auto *VDTemplSpec = dyn_cast<VarTemplateSpecializationDecl>(VD)) {
2742 auto From = VDTemplSpec->getInstantiatedFrom();
2744 while (!VTD->isMemberSpecialization()) {
2745 auto *NewVTD = VTD->getInstantiatedFromMemberTemplate();
2754 while (!VTPSD->isMemberSpecialization()) {
2755 auto *NewVTPSD = VTPSD->getInstantiatedFromMember();
2769 auto *NewVT =
VarTemplate->getInstantiatedFromMemberTemplate();
2791 if (
const auto *Spec = dyn_cast<VarTemplateSpecializationDecl>(
this))
2792 return Spec->getSpecializationKind();
2795 return MSI->getTemplateSpecializationKind();
2803 return MSI->getTemplateSpecializationKind();
2805 if (
const auto *Spec = dyn_cast<VarTemplateSpecializationDecl>(
this))
2806 return Spec->getSpecializationKind();
2812 if (
const auto *Spec = dyn_cast<VarTemplateSpecializationDecl>(
this))
2813 return Spec->getPointOfInstantiation();
2816 return MSI->getPointOfInstantiation();
2822 return dyn_cast_if_present<VarTemplateDecl *>(
2839 if (LangOpts.CUDA && !LangOpts.GPURelocatableDeviceCode &&
2856 RSDKind K = Ctx.
getLangOpts().getRegisterStaticDestructors();
2857 return K == RSDKind::None ||
2874 assert(
hasInit() &&
"Expect initializer to check for flexible array init");
2876 if (!D || !D->hasFlexibleArrayMember())
2878 auto *List = dyn_cast<InitListExpr>(
getInit()->IgnoreParens());
2881 const Expr *FlexibleInit = List->getInit(List->getNumInits() - 1);
2889 assert(
hasInit() &&
"Expect initializer to check for flexible array init");
2891 if (!RD || !RD->hasFlexibleArrayMember())
2893 auto *List = dyn_cast<InitListExpr>(
getInit()->IgnoreParens());
2894 if (!List || List->getNumInits() == 0)
2896 const Expr *FlexibleInit = List->getInit(List->getNumInits() - 1);
2904 if (FlexibleArrayOffset + FlexibleArraySize < RL.
getSize())
2906 return FlexibleArrayOffset + FlexibleArraySize - RL.
getSize();
2913 return dyn_cast_if_present<MemberSpecializationInfo *>(
2922 "not a variable or static data member template specialization");
2925 dyn_cast<VarTemplateSpecializationDecl>(
this)) {
2926 Spec->setSpecializationKind(TSK);
2928 PointOfInstantiation.
isValid() &&
2929 Spec->getPointOfInstantiation().isInvalid()) {
2930 Spec->setPointOfInstantiation(PointOfInstantiation);
2932 L->InstantiationRequested(
this);
2935 MSI->setTemplateSpecializationKind(TSK);
2937 MSI->getPointOfInstantiation().isInvalid()) {
2938 MSI->setPointOfInstantiation(PointOfInstantiation);
2940 L->InstantiationRequested(
this);
2948 assert(
getASTContext().getTemplateOrSpecializationInfo(
this).isNull() &&
2949 "Previous template or instantiation?");
2962 return new (
C, DC)
ParmVarDecl(ParmVar,
C, DC, StartLoc, IdLoc, Id,
T, TInfo,
2969 if (
const auto *DT = dyn_cast<DecayedType>(
T))
2970 return DT->getOriginalType();
3003 if (RT && RT->getDecl()->getDefinitionOrSelf()->isParamDestroyedInCallee() &&
3013 "Default argument is not yet instantiated!");
3016 if (
auto *E = dyn_cast_if_present<FullExpr>(Arg))
3017 return E->getSubExpr();
3039 return E->getSourceRange();
3044 llvm_unreachable(
"Invalid default argument kind.");
3054 "Wrong kind of initialization expression!");
3066void ParmVarDecl::setParameterIndexLarge(
unsigned parameterIndex) {
3071unsigned ParmVarDecl::getParameterIndexLarge()
const {
3090 assert(
T.isNull() ||
T->isFunctionType());
3121 if (TrailingRequiresClause)
3130 printTemplateArgumentList(OS, TemplateArgs->
asArray(), Policy);
3134 if (
const auto *FT =
getType()->getAs<FunctionProtoType>())
3135 return FT->isVariadic();
3143 static constexpr size_t Alignment =
3146 size_t Size = totalSizeToAlloc<DeclAccessPair, StringLiteral *>(
3147 Lookups.size(), DeletedMessage !=
nullptr);
3151 Info->NumLookups = Lookups.size();
3152 Info->HasDeletedMessage = DeletedMessage !=
nullptr;
3154 llvm::uninitialized_copy(Lookups, Info->getTrailingObjects<
DeclAccessPair>());
3156 *Info->getTrailingObjects<
StringLiteral *>() = DeletedMessage;
3162 assert(!
FunctionDeclBits.HasDefaultedOrDeletedInfo &&
"already have this");
3163 assert(!
Body &&
"can't replace function body with defaulted function info");
3188 assert(HasDeletedMessage &&
3189 "No space to store a delete message in this DefaultedOrDeletedInfo");
3190 *getTrailingObjects<StringLiteral *>() = Message;
3200 for (
const auto *I :
redecls()) {
3201 if (I->doesThisDeclarationHaveABody()) {
3231 return InstantiatedFrom->getFriendObjectKind() &&
3232 InstantiatedFrom->isThisDeclarationADefinition();
3238 Template->getInstantiatedFromMemberTemplate())
3239 return InstantiatedFrom->getFriendObjectKind() &&
3240 InstantiatedFrom->isThisDeclarationADefinition();
3247 bool CheckForPendingFriendDefinition)
const {
3249 if (FD->isThisDeclarationADefinition()) {
3269 if (CheckForPendingFriendDefinition &&
3270 FD->isThisDeclarationInstantiatedFromAFriendDefinition()) {
3283 assert(!
Definition->FunctionDeclBits.HasDefaultedOrDeletedInfo &&
3284 "definition should not have a body");
3302 Parent->markedVirtualFunctionPure();
3305template<std::
size_t Len>
3308 return II && II->
isStr(Str);
3323 if (
auto *CD = dyn_cast<CXXConstructorDecl>(
this);
3324 CD && CD->isInheritingConstructor())
3325 return CD->getInheritedConstructor().getConstructor();
3351 if (
auto *CD = dyn_cast<CXXConstructorDecl>(
this);
3352 CD && CD->isInheritingConstructor())
3353 return CD->getInheritedConstructor()
3355 ->isImmediateFunction();
3361 if (
const auto *MD = dyn_cast<CXXMethodDecl>(
this);
3362 MD && MD->isLambdaStaticInvoker())
3363 return MD->getParent()->getLambdaCallOperator()->isImmediateFunction();
3393 return llvm::StringSwitch<bool>(
getName())
3414 if (proto->getNumParams() != 2 || proto->isVariadic())
3423 return (proto->getParamType(1).getCanonicalType() == Context.VoidPtrTy);
3443 unsigned RequiredParameterCount =
3462 if (FPT->getNumParams() == 0 || FPT->getNumParams() > 4)
3467 if (FPT->getNumParams() == 1)
3470 unsigned Params = 1;
3471 QualType Ty = FPT->getParamType(Params);
3474 auto Consume = [&] {
3476 Ty = Params < FPT->getNumParams() ? FPT->getParamType(Params) :
QualType();
3480 bool IsSizedDelete =
false;
3484 IsSizedDelete =
true;
3493 *AlignmentParam = Params;
3516 T = TD->getDecl()->getUnderlyingType();
3518 T->castAsCanonical<EnumType>()->getDecl()->getIdentifier();
3519 if (II && II->
isStr(
"__hot_cold_t"))
3523 return Params == FPT->getNumParams();
3539 switch (Context.GetGVALinkageForFunction(
Definition)) {
3548 llvm_unreachable(
"Unknown GVALinkage");
3610 assert(AI == AE &&
"unexpected usual deallocation function parameter");
3633 if (
const auto *
Method = dyn_cast<CXXMethodDecl>(
this))
3634 return Method->isStatic();
3643 if (!Namespace->getDeclName())
3656 if (
auto *FnTy =
getType()->getAs<FunctionType>())
3657 return FnTy->getNoReturnAttr();
3739 assert((!PrevDecl || PrevFunTmpl) &&
"Function/function template mismatch");
3740 FunTmpl->setPreviousDecl(PrevFunTmpl);
3763 unsigned BuiltinID = 0;
3766 BuiltinID = ABAA->getBuiltinName()->getBuiltinID();
3768 BuiltinID = BAA->getBuiltinName()->getBuiltinID();
3770 BuiltinID = A->getID();
3783 BuiltinID == Builtin::BI__builtin_counted_by_ref)
3787 if (!Context.BuiltinInfo.isPredefinedLibFunction(BuiltinID))
3800 if (Context.getLangOpts().OpenCL &&
3801 Context.BuiltinInfo.isPredefinedLibFunction(BuiltinID))
3808 !(BuiltinID == Builtin::BIprintf || BuiltinID == Builtin::BImalloc))
3814 if (Context.getTargetInfo().getTriple().isAMDGCN() &&
3815 Context.getLangOpts().OpenMPIsTargetDevice &&
3816 Context.BuiltinInfo.isPredefinedLibFunction(BuiltinID) &&
3817 !(BuiltinID == Builtin::BIprintf || BuiltinID == Builtin::BImalloc))
3833 assert(!ParamInfo &&
"Already has param info!");
3834 assert(NewParamInfo.size() ==
getNumParams() &&
"Parameter count mismatch!");
3837 if (!NewParamInfo.empty()) {
3839 llvm::copy(NewParamInfo, ParamInfo);
3853 unsigned NumRequiredArgs = 0;
3854 unsigned MinParamsSoFar = 0;
3856 if (!Param->isParameterPack()) {
3858 if (!Param->hasDefaultArg())
3859 NumRequiredArgs = MinParamsSoFar;
3862 return NumRequiredArgs;
3892 assert(
isInlined() &&
"expected to get called on an inlined function!");
3895 if (!Context.getTargetInfo().getCXXABI().isMicrosoft() &&
3901 if (!FD->isImplicit() && FD->getStorageClass() ==
SC_Extern)
3913 if (!FD->isImplicit() && FD->getStorageClass() ==
SC_Extern)
3943 "Must have a declaration without a body.");
3947 if (Context.getLangOpts().MSVCCompat) {
3954 if (Context.getLangOpts().CPlusPlus)
3967 bool FoundBody =
false;
3992 bool FoundBody =
false;
4012 TL = PTL.getInnerLoc();
4014 TL = ATL.getEquivalentTypeLoc();
4016 TL = MQTL.getInnerLoc();
4034 !
SM.isBeforeInTranslationUnit(RTRange.
getEnd(), Boundary))
4048 NP > 0 ? ParamInfo[0]->getSourceRange().getBegin() : EllipsisLoc;
4051 : ParamInfo[NP - 1]->getSourceRange().getEnd();
4081 "Must be a function definition");
4082 assert(
isInlined() &&
"Function must be inline");
4092 if (Context.getLangOpts().CPlusPlus)
4099 for (
auto *Redecl :
redecls()) {
4100 if (Redecl->isInlineSpecified() &&
4109 assert(!Context.getLangOpts().CPlusPlus &&
4110 "should not use C inline rules in C++");
4116 for (
auto *Redecl :
redecls()) {
4145 if (TemplateOrSpecialization.isNull())
4147 if (
const auto *ND = dyn_cast<NamedDecl *>(TemplateOrSpecialization)) {
4151 "No other valid types in NamedDecl");
4159 TemplateOrSpecialization))
4162 llvm_unreachable(
"Did we miss a TemplateOrSpecialization type?");
4173 if (
auto *MSI = dyn_cast_if_present<MemberSpecializationInfo *>(
4174 TemplateOrSpecialization))
4176 if (
auto *FTSI = dyn_cast_if_present<FunctionTemplateSpecializationInfo *>(
4177 TemplateOrSpecialization))
4178 return FTSI->getMemberSpecializationInfo();
4183FunctionDecl::setInstantiationOfMemberFunction(
ASTContext &
C,
4186 assert(TemplateOrSpecialization.isNull() &&
4187 "Member function is already a specialization");
4190 TemplateOrSpecialization = Info;
4194 return dyn_cast_if_present<FunctionTemplateDecl>(
4195 dyn_cast_if_present<NamedDecl *>(TemplateOrSpecialization));
4200 assert(TemplateOrSpecialization.isNull() &&
4201 "Member function is already a specialization");
4202 TemplateOrSpecialization =
Template;
4208 TemplateOrSpecialization);
4212 assert(TemplateOrSpecialization.isNull() &&
4213 "Function is already a specialization");
4214 TemplateOrSpecialization = FD;
4218 return dyn_cast_if_present<FunctionDecl>(
4219 TemplateOrSpecialization.dyn_cast<
NamedDecl *>());
4243 bool HasPattern =
false;
4245 HasPattern = PatternDecl->
hasBody(PatternDecl);
4251 if (!HasPattern || !PatternDecl)
4275 dyn_cast<CXXMethodDecl>(
this))) {
4287 if (ForDefinition &&
4293 if (ForDefinition &&
4300 while (!ForDefinition || !Primary->isMemberSpecialization()) {
4301 auto *NewPrimary = Primary->getInstantiatedFromMemberTemplate();
4304 Primary = NewPrimary;
4315 dyn_cast_if_present<FunctionTemplateSpecializationInfo *>(
4316 TemplateOrSpecialization)) {
4317 return Info->getTemplate();
4324 return dyn_cast_if_present<FunctionTemplateSpecializationInfo *>(
4325 TemplateOrSpecialization);
4331 dyn_cast_if_present<FunctionTemplateSpecializationInfo *>(
4332 TemplateOrSpecialization)) {
4333 return Info->TemplateArguments;
4341 dyn_cast_if_present<FunctionTemplateSpecializationInfo *>(
4342 TemplateOrSpecialization)) {
4343 return Info->TemplateArgumentsAsWritten;
4346 dyn_cast_if_present<DependentFunctionTemplateSpecializationInfo *>(
4347 TemplateOrSpecialization)) {
4348 return Info->TemplateArgumentsAsWritten;
4353void FunctionDecl::setFunctionTemplateSpecialization(
4359 assert((TemplateOrSpecialization.isNull() ||
4361 "Member function is already a specialization");
4363 "Must specify the type of function template specialization");
4364 assert((TemplateOrSpecialization.isNull() ||
4367 "Member specialization must be an explicit specialization");
4370 C,
this,
Template, TSK, TemplateArgs, TemplateArgsAsWritten,
4371 PointOfInstantiation,
4372 dyn_cast_if_present<MemberSpecializationInfo *>(
4373 TemplateOrSpecialization));
4374 TemplateOrSpecialization = Info;
4375 Template->addSpecialization(Info, InsertPos);
4381 assert(TemplateOrSpecialization.isNull());
4385 TemplateOrSpecialization = Info;
4390 return dyn_cast_if_present<DependentFunctionTemplateSpecializationInfo *>(
4391 TemplateOrSpecialization);
4398 const auto *TArgsWritten =
4400 return new (Context.Allocate(
4401 totalSizeToAlloc<FunctionTemplateDecl *>(Candidates.
size())))
4402 DependentFunctionTemplateSpecializationInfo(Candidates, TArgsWritten);
4405DependentFunctionTemplateSpecializationInfo::
4406 DependentFunctionTemplateSpecializationInfo(
4409 : NumCandidates(Candidates.size()),
4410 TemplateArgumentsAsWritten(TemplateArgsWritten) {
4411 std::transform(Candidates.
begin(), Candidates.
end(), getTrailingObjects(),
4421 dyn_cast_if_present<FunctionTemplateSpecializationInfo *>(
4422 TemplateOrSpecialization))
4423 return FTSInfo->getTemplateSpecializationKind();
4426 dyn_cast_if_present<MemberSpecializationInfo *>(
4427 TemplateOrSpecialization))
4428 return MSInfo->getTemplateSpecializationKind();
4433 TemplateOrSpecialization) &&
4465 dyn_cast_if_present<FunctionTemplateSpecializationInfo *>(
4466 TemplateOrSpecialization)) {
4467 if (
auto *MSInfo = FTSInfo->getMemberSpecializationInfo())
4468 return MSInfo->getTemplateSpecializationKind();
4469 return FTSInfo->getTemplateSpecializationKind();
4473 dyn_cast_if_present<MemberSpecializationInfo *>(
4474 TemplateOrSpecialization))
4475 return MSInfo->getTemplateSpecializationKind();
4478 TemplateOrSpecialization) &&
4489 dyn_cast<FunctionTemplateSpecializationInfo *>(
4490 TemplateOrSpecialization)) {
4491 FTSInfo->setTemplateSpecializationKind(TSK);
4493 PointOfInstantiation.
isValid() &&
4494 FTSInfo->getPointOfInstantiation().isInvalid()) {
4495 FTSInfo->setPointOfInstantiation(PointOfInstantiation);
4497 L->InstantiationRequested(
this);
4500 dyn_cast<MemberSpecializationInfo *>(
4501 TemplateOrSpecialization)) {
4502 MSInfo->setTemplateSpecializationKind(TSK);
4504 PointOfInstantiation.
isValid() &&
4505 MSInfo->getPointOfInstantiation().isInvalid()) {
4506 MSInfo->setPointOfInstantiation(PointOfInstantiation);
4508 L->InstantiationRequested(
this);
4511 llvm_unreachable(
"Function cannot have a template specialization kind");
4516 = TemplateOrSpecialization.dyn_cast<
4518 return FTSInfo->getPointOfInstantiation();
4521 return MSInfo->getPointOfInstantiation();
4542 if (FunTmpl->getTemplatedDecl()->hasBody(
Definition))
4561 case Builtin::BI__builtin_memset:
4562 case Builtin::BI__builtin___memset_chk:
4563 case Builtin::BImemset:
4564 return Builtin::BImemset;
4566 case Builtin::BI__builtin_memcpy:
4567 case Builtin::BI__builtin___memcpy_chk:
4568 case Builtin::BImemcpy:
4569 return Builtin::BImemcpy;
4571 case Builtin::BI__builtin_mempcpy:
4572 case Builtin::BI__builtin___mempcpy_chk:
4573 case Builtin::BImempcpy:
4574 return Builtin::BImempcpy;
4576 case Builtin::BI__builtin_trivially_relocate:
4577 case Builtin::BI__builtin_memmove:
4578 case Builtin::BI__builtin___memmove_chk:
4579 case Builtin::BImemmove:
4580 return Builtin::BImemmove;
4582 case Builtin::BIstrlcpy:
4583 case Builtin::BI__builtin___strlcpy_chk:
4584 return Builtin::BIstrlcpy;
4586 case Builtin::BIstrlcat:
4587 case Builtin::BI__builtin___strlcat_chk:
4588 return Builtin::BIstrlcat;
4590 case Builtin::BI__builtin_memcmp:
4591 case Builtin::BImemcmp:
4592 return Builtin::BImemcmp;
4594 case Builtin::BI__builtin_bcmp:
4595 case Builtin::BIbcmp:
4596 return Builtin::BIbcmp;
4598 case Builtin::BI__builtin_strncpy:
4599 case Builtin::BI__builtin___strncpy_chk:
4600 case Builtin::BIstrncpy:
4601 return Builtin::BIstrncpy;
4603 case Builtin::BI__builtin_strncmp:
4604 case Builtin::BIstrncmp:
4605 return Builtin::BIstrncmp;
4607 case Builtin::BI__builtin_strncasecmp:
4608 case Builtin::BIstrncasecmp:
4609 return Builtin::BIstrncasecmp;
4611 case Builtin::BI__builtin_strncat:
4612 case Builtin::BI__builtin___strncat_chk:
4613 case Builtin::BIstrncat:
4614 return Builtin::BIstrncat;
4616 case Builtin::BI__builtin_strndup:
4617 case Builtin::BIstrndup:
4618 return Builtin::BIstrndup;
4620 case Builtin::BI__builtin_strlen:
4621 case Builtin::BIstrlen:
4622 return Builtin::BIstrlen;
4624 case Builtin::BI__builtin_bzero:
4625 case Builtin::BIbzero:
4626 return Builtin::BIbzero;
4628 case Builtin::BI__builtin_bcopy:
4629 case Builtin::BIbcopy:
4630 return Builtin::BIbcopy;
4632 case Builtin::BIfree:
4633 return Builtin::BIfree;
4637 if (FnInfo->
isStr(
"memset"))
4638 return Builtin::BImemset;
4639 if (FnInfo->
isStr(
"memcpy"))
4640 return Builtin::BImemcpy;
4641 if (FnInfo->
isStr(
"mempcpy"))
4642 return Builtin::BImempcpy;
4643 if (FnInfo->
isStr(
"memmove"))
4644 return Builtin::BImemmove;
4645 if (FnInfo->
isStr(
"memcmp"))
4646 return Builtin::BImemcmp;
4647 if (FnInfo->
isStr(
"bcmp"))
4648 return Builtin::BIbcmp;
4649 if (FnInfo->
isStr(
"strncpy"))
4650 return Builtin::BIstrncpy;
4651 if (FnInfo->
isStr(
"strncmp"))
4652 return Builtin::BIstrncmp;
4653 if (FnInfo->
isStr(
"strncasecmp"))
4654 return Builtin::BIstrncasecmp;
4655 if (FnInfo->
isStr(
"strncat"))
4656 return Builtin::BIstrncat;
4657 if (FnInfo->
isStr(
"strndup"))
4658 return Builtin::BIstrndup;
4659 if (FnInfo->
isStr(
"strlen"))
4660 return Builtin::BIstrlen;
4661 if (FnInfo->
isStr(
"bzero"))
4662 return Builtin::BIbzero;
4663 if (FnInfo->
isStr(
"bcopy"))
4664 return Builtin::BIbcopy;
4666 if (FnInfo->
isStr(
"free"))
4667 return Builtin::BIfree;
4675 assert(hasODRHash());
4684 setHasODRHash(
true);
4685 ODRHash = FT->getODRHash();
4691 setHasODRHash(
true);
4705 return new (
C, DC)
FieldDecl(Decl::Field, DC, StartLoc, IdLoc, Id,
T, TInfo,
4706 BW, Mutable, InitStyle);
4719 if (
const auto *
Record =
getType()->getAsCanonical<RecordType>())
4720 return Record->getDecl()->isAnonymousStructOrUnion();
4730 return cast_if_present<Expr>(
4732 : InitPtr.
get(
nullptr));
4748 const auto *CE = dyn_cast_if_present<ConstantExpr>(
getBitWidth());
4749 return CE && CE->getAPValueResult().isInt();
4756 ->getAPValueResult()
4782 assert(
isInvalidDecl() &&
"valid field has incomplete type");
4789 if (!CXXRD->isEmpty())
4799 return !llvm::any_of(CXXRD->fields(), [](
const FieldDecl *Field) {
4800 return Field->getType()->isRecordType();
4808void FieldDecl::setCachedFieldIndex()
const {
4810 "should be called on the canonical decl");
4814 assert(RD &&
"requested index for field of struct with no definition");
4816 for (
auto *Field : RD->
fields()) {
4817 Field->getCanonicalDecl()->CachedFieldIndex = Index + 1;
4818 assert(Field->getCanonicalDecl()->CachedFieldIndex == Index + 1 &&
4819 "overflow in field numbering");
4823 assert(CachedFieldIndex &&
"failed to find field in parent");
4837 "capturing type in non-lambda or captured record.");
4838 assert(StorageKind == ISK_NoInit && !BitField &&
4839 "bit-field or field with default member initializer cannot capture "
4841 StorageKind = ISK_CapturedVLAType;
4861 const auto *CountDecl = CountDRE->getDecl();
4862 if (
const auto *IFD = dyn_cast<IndirectFieldDecl>(CountDecl))
4863 CountDecl = IFD->getAnonField();
4865 return dyn_cast<FieldDecl>(CountDecl);
4878 "EnumDecl not matched with TagTypeKind::Enum");
4886 TagDeclBits.IsThisDeclarationADemotedDefinition =
false;
4902 TypedefNameDeclOrQualifier = TDD;
4909 if (
auto *D = dyn_cast<CXXRecordDecl>(
this)) {
4910 struct CXXRecordDecl::DefinitionData *
Data =
4911 new (
getASTContext())
struct CXXRecordDecl::DefinitionData(D);
4920 "definition completed but not started");
4926 L->CompletedTagDefinition(
this);
4931 return const_cast<TagDecl *
>(
this);
4933 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
this))
4934 return CXXRD->getDefinition();
4938 if (R->isCompleteDefinition() || R->isBeingDefined())
4949 getExtInfo()->QualifierLoc = QualifierLoc;
4953 if (getExtInfo()->NumTemplParamLists == 0) {
4958 getExtInfo()->QualifierLoc = QualifierLoc;
4966 assert(
Typedef->getIdentifier() &&
"Typedef without identifier?");
4967 OS <<
Typedef->getIdentifier()->getName();
4977 SuppressTagKeywordInName =
true;
4986 SuppressTagKeywordInName =
true;
4994 if (!SuppressTagKeywordInName)
5005 WrittenFile = Callbacks->remapPath(
File);
5009 llvm::sys::path::Style Style =
5010 llvm::sys::path::is_absolute(WrittenFile)
5011 ? llvm::sys::path::Style::native
5013 ? llvm::sys::path::Style::windows_backslash
5014 : llvm::sys::path::Style::posix);
5015 llvm::sys::path::native(WrittenFile, Style);
5027 if (Name.isIdentifier() && !Name.getAsIdentifierInfo()) {
5034 Name.print(OS, Policy);
5039 assert(!TPLists.empty());
5045 getExtInfo()->setTemplateParameterListsInfo(Context, TPLists);
5054 bool Scoped,
bool ScopedUsingClassTag,
bool Fixed)
5056 assert(Scoped || !ScopedUsingClassTag);
5057 IntegerType =
nullptr;
5058 setNumPositiveBits(0);
5059 setNumNegativeBits(0);
5061 setScopedUsingClassTag(ScopedUsingClassTag);
5063 setHasODRHash(
false);
5067void EnumDecl::anchor() {}
5072 EnumDecl *PrevDecl,
bool IsScoped,
5073 bool IsScopedUsingClassTag,
bool IsFixed) {
5074 return new (
C, DC) EnumDecl(
C, DC, StartLoc, IdLoc, Id, PrevDecl, IsScoped,
5075 IsScopedUsingClassTag, IsFixed);
5080 nullptr,
nullptr,
false,
false,
false);
5085 return TI->getTypeLoc().getSourceRange();
5091 unsigned NumPositiveBits,
5092 unsigned NumNegativeBits) {
5096 PromotionType = NewPromotionType;
5097 setNumPositiveBits(NumPositiveBits);
5098 setNumNegativeBits(NumNegativeBits);
5104 return A->getExtensibility() == EnumExtensibilityAttr::Closed;
5118 return MSI->getTemplateSpecializationKind();
5126 assert(MSI &&
"Not an instantiated member enumeration?");
5129 PointOfInstantiation.
isValid() &&
5140 return ::getDefinitionOrSelf(ED);
5145 "couldn't find pattern for enum instantiation");
5150 if (SpecializationInfo)
5151 return cast<EnumDecl>(SpecializationInfo->getInstantiatedFrom());
5158 assert(!SpecializationInfo &&
"Member enum is already a specialization");
5168 setHasODRHash(
true);
5179 Res.setEnd(TSI->getTypeLoc().getEndLoc());
5189 if (NumNegativeBits) {
5190 unsigned NumBits = std::max(NumNegativeBits, NumPositiveBits + 1);
5191 Max = llvm::APInt(Bitwidth, 1) << (NumBits - 1);
5194 Max = llvm::APInt(Bitwidth, 1) << NumPositiveBits;
5195 Min = llvm::APInt::getZero(Bitwidth);
5207 :
TagDecl(DK, TK,
C, DC, IdLoc, Id, PrevDecl, StartLoc) {
5208 assert(
classof(
static_cast<Decl *
>(
this)) &&
"Invalid Kind!");
5242 if (
auto RD = dyn_cast<CXXRecordDecl>(
this))
5260 for (
const FieldDecl *FD : Def->fields()) {
5262 if (RT && RT->getDecl()->isOrContainsUnion())
5272 LoadFieldsFromExternalStorage();
5276 return D->field_begin();
5312 auto LayoutCompatibility =
C.getLangOpts().getLayoutCompatibility();
5314 return C.defaultsToMsStruct();
5320 LastDecl->NextInContextAndBits.setPointer(
nullptr);
5324void RecordDecl::LoadFieldsFromExternalStorage()
const {
5333 Source->FindExternalLexicalDecls(
this, [](
Decl::Kind K) {
5339 for (
unsigned i=0, e=Decls.size(); i != e; ++i)
5346 auto [ExternalFirst, ExternalLast] =
5349 ExternalLast->NextInContextAndBits.setPointer(
FirstDecl);
5357 const SanitizerMask EnabledAsanMask = Context.getLangOpts().Sanitize.Mask &
5358 (SanitizerKind::Address | SanitizerKind::KernelAddress);
5359 if (!EnabledAsanMask || !Context.getLangOpts().SanitizeAddressFieldPadding)
5362 const auto *CXXRD = dyn_cast<CXXRecordDecl>(
this);
5364 int ReasonToReject = -1;
5365 if (!CXXRD || CXXRD->isExternCContext())
5367 else if (CXXRD->hasAttr<PackedAttr>())
5369 else if (CXXRD->isUnion())
5371 else if (CXXRD->isTriviallyCopyable())
5373 else if (CXXRD->hasTrivialDestructor())
5375 else if (CXXRD->isStandardLayout())
5385 if (ReasonToReject >= 0)
5386 Context.getDiagnostics().Report(
5388 diag::remark_sanitize_address_insert_extra_padding_rejected)
5391 Context.getDiagnostics().Report(
5393 diag::remark_sanitize_address_insert_extra_padding_accepted)
5396 return ReasonToReject < 0;
5400 for (
const auto *I :
fields()) {
5401 if (I->getIdentifier())
5404 if (
const auto *RD = I->getType()->getAsRecordDecl())
5406 return NamedDataMember;
5442 assert(!ParamInfo &&
"Already has param info!");
5445 if (!NewParamInfo.empty()) {
5446 NumParams = NewParamInfo.size();
5448 llvm::copy(NewParamInfo, ParamInfo);
5453 bool CapturesCXXThis) {
5455 this->NumCaptures = Captures.size();
5457 if (Captures.empty()) {
5458 this->Captures =
nullptr;
5462 this->Captures = Captures.copy(Context).data();
5468 if (I.getVariable() == variable)
5482void TranslationUnitDecl::anchor() {}
5485 return new (
C, (
DeclContext *)
nullptr) TranslationUnitDecl(
C);
5489 AnonymousNamespace = D;
5492 Listener->AddedAnonymousNamespace(
this, D);
5495void PragmaCommentDecl::anchor() {}
5502 PragmaCommentDecl *PCD =
5503 new (
C, DC, additionalSizeToAlloc<char>(Arg.size() + 1))
5504 PragmaCommentDecl(DC, CommentLoc, CommentKind);
5505 llvm::copy(Arg, PCD->getTrailingObjects());
5506 PCD->getTrailingObjects()[Arg.size()] =
'\0';
5513 return new (
C, ID, additionalSizeToAlloc<char>(ArgSize + 1))
5517void PragmaDetectMismatchDecl::anchor() {}
5523 size_t ValueStart = Name.size() + 1;
5524 PragmaDetectMismatchDecl *PDMD =
5525 new (
C, DC, additionalSizeToAlloc<char>(ValueStart +
Value.size() + 1))
5526 PragmaDetectMismatchDecl(DC, Loc, ValueStart);
5527 llvm::copy(Name, PDMD->getTrailingObjects());
5528 PDMD->getTrailingObjects()[Name.size()] =
'\0';
5529 llvm::copy(
Value, PDMD->getTrailingObjects() + ValueStart);
5530 PDMD->getTrailingObjects()[ValueStart +
Value.size()] =
'\0';
5536 unsigned NameValueSize) {
5537 return new (
C, ID, additionalSizeToAlloc<char>(NameValueSize + 1))
5541void ExternCContextDecl::anchor() {}
5545 return new (
C, DC) ExternCContextDecl(DC);
5548void LabelDecl::anchor() {}
5552 return new (
C, DC) LabelDecl(DC, IdentL, II,
nullptr, IdentL);
5558 assert(GnuLabelL != IdentL &&
"Use this only for GNU local labels");
5559 return new (
C, DC) LabelDecl(DC, IdentL, II,
nullptr, GnuLabelL);
5563 return new (
C, ID) LabelDecl(
nullptr,
SourceLocation(),
nullptr,
nullptr,
5568char *Buffer =
new (
getASTContext(), 1)
char[Name.size() + 1];
5569llvm::copy(Name, Buffer);
5570Buffer[Name.size()] =
'\0';
5574void ValueDecl::anchor() {}
5578 return MostRecent->hasAttr<WeakAttr>() ||
5583 if (
auto *Var = llvm::dyn_cast<VarDecl>(
this))
5584 return Var->isInitCapture();
5589 if (
const auto *NTTP = dyn_cast<NonTypeTemplateParmDecl>(
this))
5590 return NTTP->isParameterPack();
5592 return isa_and_nonnull<PackExpansionType>(
getType().getTypePtrOrNull());
5595void ImplicitParamDecl::anchor() {}
5648OutlinedFunctionDecl::OutlinedFunctionDecl(
DeclContext *DC,
unsigned NumParams)
5650 DeclContext(OutlinedFunction), NumParams(NumParams),
5655 unsigned NumParams) {
5656 return new (
C, DC, additionalSizeToAlloc<ImplicitParamDecl *>(NumParams))
5657 OutlinedFunctionDecl(DC, NumParams);
5662 unsigned NumParams) {
5663 return new (
C, ID, additionalSizeToAlloc<ImplicitParamDecl *>(NumParams))
5664 OutlinedFunctionDecl(
nullptr, NumParams);
5668 return BodyAndNothrow.getPointer();
5674 BodyAndNothrow.setInt(Nothrow);
5677CapturedDecl::CapturedDecl(
DeclContext *DC,
unsigned NumParams)
5679 NumParams(NumParams), ContextParam(0), BodyAndNothrow(
nullptr,
false) {}
5682 unsigned NumParams) {
5683 return new (
C, DC, additionalSizeToAlloc<ImplicitParamDecl *>(NumParams))
5684 CapturedDecl(DC, NumParams);
5688 unsigned NumParams) {
5689 return new (
C, ID, additionalSizeToAlloc<ImplicitParamDecl *>(NumParams))
5690 CapturedDecl(
nullptr, NumParams);
5709 Expr *E,
const llvm::APSInt &
V) {
5716 QualType(),
nullptr, llvm::APSInt());
5719void IndirectFieldDecl::anchor() {}
5725 :
ValueDecl(IndirectField, DC, L, N,
T), Chaining(CH.data()),
5726 ChainingSize(CH.size()) {
5729 if (
C.getLangOpts().CPlusPlus)
5738 return new (
C, DC) IndirectFieldDecl(
C, DC, L, Id,
T, CH);
5750 End = Init->getEndLoc();
5754void TypeDecl::anchor() {}
5760 return new (
C, DC) TypedefDecl(
C, DC, StartLoc, IdLoc, Id, TInfo);
5763void TypedefNameDecl::anchor() {}
5767 auto *OwningTypedef = TT->getDecl()->getTypedefNameForAnonDecl();
5768 auto *ThisTypedef =
this;
5769 if (AnyRedecl && OwningTypedef) {
5770 OwningTypedef = OwningTypedef->getCanonicalDecl();
5771 ThisTypedef = ThisTypedef->getCanonicalDecl();
5773 if (OwningTypedef == ThisTypedef)
5774 return TT->getDecl()->getDefinitionOrSelf();
5780bool TypedefNameDecl::isTransparentTagSlow()
const {
5781 auto determineIsTransparent = [&]() {
5783 if (
auto *TD = TT->getDecl()) {
5784 if (TD->getName() !=
getName())
5791 return SM.getSpellingLoc(TTLoc) ==
SM.getSpellingLoc(TDLoc);
5797 bool isTransparent = determineIsTransparent();
5798 MaybeModedTInfo.setInt((isTransparent << 1) | 1);
5799 return isTransparent;
5812 return new (
C, DC) TypeAliasDecl(
C, DC, StartLoc, IdLoc, Id, TInfo);
5825 RangeEnd = TInfo->getTypeLoc().getSourceRange().getEnd();
5833 RangeEnd = TInfo->getTypeLoc().getSourceRange().getEnd();
5837void FileScopeAsmDecl::anchor() {}
5842 return new (
C, DC) FileScopeAsmDecl(DC, Str, AsmLoc, RParenLoc);
5847 return new (
C, ID) FileScopeAsmDecl(
nullptr,
nullptr,
SourceLocation(),
5855void TopLevelStmtDecl::anchor() {}
5858 assert(
C.getLangOpts().IncrementalExtensions &&
5859 "Must be used only in incremental mode");
5864 return new (
C, DC) TopLevelStmtDecl(DC, Loc, Statement);
5883void EmptyDecl::anchor() {}
5886 return new (
C, DC) EmptyDecl(DC, L);
5893HLSLBufferDecl::HLSLBufferDecl(
DeclContext *DC,
bool CBuffer,
5898 IsCBuffer(CBuffer), HasValidPackoffset(
false), LayoutStruct(
nullptr) {}
5918 new (
C, DC) HLSLBufferDecl(DC, CBuffer, KwLoc, ID, IDLoc, LBrace);
5926 IdentifierInfo *II = &
C.Idents.get(
"$Globals", tok::TokenKind::identifier);
5927 HLSLBufferDecl *
Result =
new (
C, DC) HLSLBufferDecl(
5929 Result->setImplicit(
true);
5930 Result->setDefaultBufferDecls(DefaultCBufferDecls);
5936 return new (
C, ID) HLSLBufferDecl(
nullptr,
false,
SourceLocation(),
nullptr,
5941 assert(LayoutStruct ==
nullptr &&
"layout struct has already been set");
5947 assert(!Decls.empty());
5948 assert(DefaultBufferDecls.empty() &&
"default decls are already set");
5950 "default decls can only be added to the implicit/default constant "
5955 llvm::copy(Decls, DeclsArray);
5962 DefaultBufferDecls.end()),
5968 llvm::iterator_range(DefaultBufferDecls.end(), DefaultBufferDecls.end()),
5973 return DefaultBufferDecls.empty() &&
decls_empty();
5980HLSLRootSignatureDecl::HLSLRootSignatureDecl(
5982 llvm::dxbc::RootSignatureVersion Version,
unsigned NumElems)
5984 Version(Version), NumElems(NumElems) {}
5988 llvm::dxbc::RootSignatureVersion Version,
5990 HLSLRootSignatureDecl *RSDecl =
5992 additionalSizeToAlloc<llvm::hlsl::rootsig::RootElement>(
5993 RootElements.size()))
5994 HLSLRootSignatureDecl(DC, Loc, ID, Version, RootElements.size());
5995 auto *StoredElems = RSDecl->getElems();
5996 llvm::uninitialized_copy(RootElements, StoredElems);
6002 HLSLRootSignatureDecl *
Result =
new (
C, ID)
6004 llvm::dxbc::RootSignatureVersion::V1_1,
6016 unsigned Result = 1;
6027 :
Decl(
Import, DC, StartLoc), ImportedModule(Imported),
6030 auto *StoredLocs = getTrailingObjects();
6031 llvm::uninitialized_copy(IdentifierLocs, StoredLocs);
6036 :
Decl(
Import, DC, StartLoc), ImportedModule(Imported),
6038 *getTrailingObjects() = EndLoc;
6045 additionalSizeToAlloc<SourceLocation>(IdentifierLocs.size()))
6046 ImportDecl(DC, StartLoc, Imported, IdentifierLocs);
6053 ImportDecl *Import =
new (
C, DC, additionalSizeToAlloc<SourceLocation>(1))
6054 ImportDecl(DC, StartLoc, Imported, EndLoc);
6055 Import->setImplicit();
6060 unsigned NumLocations) {
6061 return new (
C, ID, additionalSizeToAlloc<SourceLocation>(NumLocations))
6066 if (!isImportComplete())
6073 if (!isImportComplete())
6083void ExportDecl::anchor() {}
6087 return new (
C, DC) ExportDecl(DC, ExportLoc);
6095 bool IncludeLocallyStreaming) {
6096 if (IncludeLocallyStreaming)
6097 if (FD->
hasAttr<ArmLocallyStreamingAttr>())
6100 assert(!FD->
getType().
isNull() &&
"Expected a valid FunctionDecl");
6112 (FD->
hasAttr<ArmNewAttr>() && FD->
getAttr<ArmNewAttr>()->isNewZA());
6119 (FD->
hasAttr<ArmNewAttr>() && FD->
getAttr<ArmNewAttr>()->isNewZT0());
Defines the clang::ASTContext interface.
This file provides some common utility functions for processing Lambda related AST Constructs.
Defines enum values for all the target-independent builtin functions.
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the C++ template declaration subclasses.
static bool isFirstInExternCContext(T *D)
static bool isRedeclarableImpl(Redeclarable< T > *)
static bool isDeclExternC(const T &D)
static bool hasExplicitVisibilityAlready(LVComputationKind computation)
Does this computation kind permit us to consider additional visibility settings from attributes and t...
static bool RedeclForcesDefC99(const FunctionDecl *Redecl)
static bool isExportedFromModuleInterfaceUnit(const NamedDecl *D)
static bool isRedeclarable(Decl::Kind K)
static bool redeclForcesDefMSVC(const FunctionDecl *Redecl)
static bool usesTypeVisibility(const NamedDecl *D)
Is the given declaration a "type" or a "value" for the purposes of visibility computation?
static std::optional< Visibility > getVisibilityOf(const NamedDecl *D, NamedDecl::ExplicitVisibilityKind kind)
Return the explicit visibility of the given declaration.
static LanguageLinkage getDeclLanguageLinkage(const T &D)
static LVComputationKind withExplicitVisibilityAlready(LVComputationKind Kind)
Given an LVComputationKind, return one of the same type/value sort that records that it already has e...
static std::enable_if_t<!std::is_base_of_v< RedeclarableTemplateDecl, T >, bool > isExplicitMemberSpecialization(const T *D)
Does the given declaration have member specialization information, and if so, is it an explicit speci...
static unsigned getNumModuleIdentifiers(Module *Mod)
Retrieve the number of module identifiers needed to name the given module.
static bool isSingleLineLanguageLinkage(const Decl &D)
static bool useInlineVisibilityHidden(const NamedDecl *D)
static bool shouldConsiderTemplateVisibility(const FunctionDecl *fn, const FunctionTemplateSpecializationInfo *specInfo)
static bool hasDirectVisibilityAttribute(const NamedDecl *D, LVComputationKind computation)
Does the given declaration have a direct visibility attribute that would match the given rules?
static DeclT * getDefinitionOrSelf(DeclT *D)
static Visibility getVisibilityFromAttr(const T *attr)
Given a visibility attribute, return the explicit visibility associated with it.
static const Decl * getOutermostFuncOrBlockContext(const Decl *D)
static bool typeIsPostfix(QualType QT)
static LinkageInfo getExternalLinkageFor(const NamedDecl *D)
static StorageClass getStorageClass(const Decl *D)
static std::optional< Visibility > getExplicitVisibilityAux(const NamedDecl *ND, NamedDecl::ExplicitVisibilityKind kind, bool IsMostRecent)
static SourceLocation getTemplateOrInnerLocStart(const DeclT *decl)
static bool isNamed(const NamedDecl *ND, const char(&Str)[Len])
static std::optional< Visibility > getExplicitVisibility(const NamedDecl *D, LVComputationKind kind)
static bool hasDefinition(const ObjCObjectPointerType *ObjPtr)
Defines the clang::Expr interface and subclasses for C++ expressions.
Defines the clang::IdentifierInfo, clang::IdentifierTable, and clang::Selector interfaces.
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
Defines the clang::LangOptions interface.
llvm::MachO::Record Record
Defines the clang::Module class, which describes a module in the source code.
This file contains the declaration of the ODRHash class, which calculates a hash based on AST nodes,...
Implements a partial diagnostic that can be emitted anwyhere in a DiagnosticBuilder stream.
Defines the clang::SanitizerKind enum.
static bool hasAttr(const Decl *D, bool IgnoreImplicitAttr)
Defines the clang::SourceLocation class and associated facilities.
Defines the SourceManager interface.
Defines various enumerations that describe declaration and type specifiers.
Defines the TargetCXXABI class, which abstracts details of the C++ ABI that we're targeting.
Defines the clang::TypeLoc interface and its subclasses.
C Language Family Type Representation.
static const TypeInfo & getInfo(unsigned id)
Defines the clang::Visibility enumeration and various utility functions.
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
bool needsCleanup() const
Returns whether the object performed allocations.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
SourceManager & getSourceManager()
const ConstantArrayType * getAsConstantArrayType(QualType T) const
unsigned getIntWidth(QualType T) const
void setTemplateOrSpecializationInfo(VarDecl *Inst, TemplateOrSpecializationInfo TSI)
bool isTypeAwareOperatorNewOrDelete(const FunctionDecl *FD) const
const ASTRecordLayout & getASTRecordLayout(const RecordDecl *D) const
Get or compute information about the layout of the specified record (struct/union/class) D,...
void setIsTypeAwareOperatorNewOrDelete(const FunctionDecl *FD, bool IsTypeAware)
void Deallocate(void *Ptr) const
const LangOptions & getLangOpts() const
void setParameterIndex(const ParmVarDecl *D, unsigned index)
Used by ParmVarDecl to store on the side the index of the parameter when it exceeds the size of the n...
Decl * getPrimaryMergedDecl(Decl *D)
bool isDestroyingOperatorDelete(const FunctionDecl *FD) const
CharUnits getTypeSizeInChars(QualType T) const
Return the size of the specified (complete) type T, in characters.
void setInstantiatedFromStaticDataMember(VarDecl *Inst, VarDecl *Tmpl, TemplateSpecializationKind TSK, SourceLocation PointOfInstantiation=SourceLocation())
Note that the static data member Inst is an instantiation of the static data member template Tmpl of ...
static bool hasSameType(QualType T1, QualType T2)
Determine whether the given types T1 and T2 are equivalent.
QualType getSizeType() const
Return the unique type for "size_t" (C99 7.17), defined in <stddef.h>.
const TargetInfo & getTargetInfo() const
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
void addDestruction(T *Ptr) const
If T isn't trivially destructible, calls AddDeallocation to register it for destruction.
ExternalASTSource * getExternalSource() const
Retrieve a pointer to the external AST source associated with this AST context, if any.
unsigned getParameterIndex(const ParmVarDecl *D) const
Used by ParmVarDecl to retrieve on the side the index of the parameter when it exceeds the size of th...
void setIsDestroyingOperatorDelete(const FunctionDecl *FD, bool IsDestroying)
An abstract interface that should be implemented by listeners that want to be notified when an AST en...
ASTRecordLayout - This class contains layout information for one RecordDecl, which is a struct/union/...
CharUnits getSize() const
getSize - Get the record size in characters.
unsigned getFieldCount() const
getFieldCount - Get the number of fields in the layout.
uint64_t getFieldOffset(unsigned FieldNo) const
getFieldOffset - Get the offset of the given field index, in bits.
Type source information for an attributed type.
BlockDecl(DeclContext *DC, SourceLocation CaretLoc)
void setParams(ArrayRef< ParmVarDecl * > NewParamInfo)
void setDoesNotEscape(bool B=true)
void setCapturesCXXThis(bool B=true)
void setCanAvoidCopyToHeap(bool B=true)
void setIsConversionFromLambda(bool val=true)
void setBlockMissingReturnType(bool val=true)
ArrayRef< Capture > captures() const
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
static BlockDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
void setIsVariadic(bool value)
bool capturesVariable(const VarDecl *var) const
void setCaptures(ASTContext &Context, ArrayRef< Capture > Captures, bool CapturesCXXThis)
static BlockDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation L)
Represents a C++ struct/union/class.
CXXRecordDecl * getInstantiatedFromMemberClass() const
If this record is an instantiation of a member class, retrieves the member class from which it was in...
static CapturedDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID, unsigned NumParams)
void setNothrow(bool Nothrow=true)
static CapturedDecl * Create(ASTContext &C, DeclContext *DC, unsigned NumParams)
Stmt * getBody() const override
getBody - If this Decl represents a declaration for a body of code, such as a function or method defi...
CharUnits - This is an opaque type for sizes expressed in character units.
static CharUnits Zero()
Zero - Construct a CharUnits quantity of zero.
CXXRecordDecl * getTemplatedDecl() const
Get the underlying class declarations of the template.
Represents a class template specialization, which refers to a class template with a given set of temp...
ClassTemplateDecl * getSpecializedTemplate() const
Retrieve the template that this specialization specializes.
const TemplateArgumentList & getTemplateArgs() const
Retrieve the template arguments of the class template specialization.
bool isExplicitSpecialization() const
bool isExplicitInstantiationOrSpecialization() const
True if this declaration is an explicit specialization, explicit instantiation declaration,...
bool isZeroSize() const
Return true if the size is zero.
Represents a sugar type with __counted_by or __sized_by annotations, including their _or_null variant...
A POD class for pairing a NamedDecl* with an access specifier.
decl_iterator - Iterates through the declarations stored within this context.
DeclContext - This is used only as base class of specific decl types that can act as declaration cont...
DeclContext * getParent()
getParent - Returns the containing DeclContext.
bool Equals(const DeclContext *DC) const
Determine whether this declaration context is equivalent to the declaration context DC.
FunctionDeclBitfields FunctionDeclBits
bool isFileContext() const
static std::pair< Decl *, Decl * > BuildDeclChain(ArrayRef< Decl * > Decls, bool FieldsAlreadyLoaded)
Build up a chain of declarations.
bool isTransparentContext() const
isTransparentContext - Determines whether this context is a "transparent" context,...
TagDeclBitfields TagDeclBits
bool isExternCXXContext() const
Determines whether this context or some of its ancestors is a linkage specification context that spec...
bool isTranslationUnit() const
DeclContext * getRedeclContext()
getRedeclContext - Retrieve the context in which an entity conflicts with other entities of the same ...
RecordDeclBitfields RecordDeclBits
Decl * FirstDecl
FirstDecl - The first declaration stored within this declaration context.
DeclContext(Decl::Kind K)
void addDecl(Decl *D)
Add the declaration D into this context.
llvm::iterator_range< decl_iterator > decl_range
decl_iterator decls_end() const
bool hasExternalLexicalStorage() const
Whether this DeclContext has external storage containing additional declarations that are lexically i...
Decl * LastDecl
LastDecl - The last declaration stored within this declaration context.
bool isInlineNamespace() const
bool isFunctionOrMethod() const
bool isExternCContext() const
Determines whether this context or some of its ancestors is a linkage specification context that spec...
Decl::Kind getDeclKind() const
decl_iterator decls_begin() const
Decl - This represents one declaration (or definition), e.g.
Decl * getPreviousDecl()
Retrieve the previous declaration that declares the same entity as this declaration,...
bool isInStdNamespace() const
SourceLocation getEndLoc() const LLVM_READONLY
FriendObjectKind getFriendObjectKind() const
Determines whether this declaration is the object of a friend declaration and, if so,...
ASTContext & getASTContext() const LLVM_READONLY
bool isImplicit() const
isImplicit - Indicates whether the declaration was implicitly generated by the implementation.
bool isInNamedModule() const
Whether this declaration comes from a named module.
virtual bool isOutOfLine() const
Determine whether this declaration is declared out of line (outside its semantic context).
bool isWeakImported() const
Determine whether this is a weak-imported symbol.
ModuleOwnershipKind getModuleOwnershipKind() const
Get the kind of module ownership for this declaration.
ASTMutationListener * getASTMutationListener() const
bool hasCachedLinkage() const
Kind
Lists the kind of concrete classes of Decl.
@ FOK_None
Not a friend object.
bool isCanonicalDecl() const
Whether this particular Decl is a canonical one.
Module * getOwningModule() const
Get the module that owns this declaration (for visibility purposes).
FunctionDecl * getAsFunction() LLVM_READONLY
Returns the function itself, or the templated function if this is a function template.
bool isFromASTFile() const
Determine whether this declaration came from an AST file (such as a precompiled header or module) rat...
Linkage getCachedLinkage() const
bool isTemplateParameter() const
isTemplateParameter - Determines whether this declaration is a template parameter.
bool isInvalidDecl() const
bool hasDefiningAttr() const
Return true if this declaration has an attribute which acts as definition of the entity,...
llvm::iterator_range< specific_attr_iterator< T > > specific_attrs() const
SourceLocation getLocation() const
IdentifierNamespace
IdentifierNamespace - The different namespaces in which declarations may appear.
@ IDNS_Tag
Tags, declared with 'struct foo;' and referenced with 'struct foo'.
redecl_range redecls() const
Returns an iterator range for all the redeclarations of the same decl.
void setLocation(SourceLocation L)
friend class LinkageComputer
DeclContext * getDeclContext()
bool isInAnonymousNamespace() const
void setCachedLinkage(Linkage L) const
Module * getOwningModuleForLinkage() const
Get the module that owns this declaration for linkage purposes.
DeclContext * getLexicalDeclContext()
getLexicalDeclContext - The declaration context where this Decl was lexically declared (LexicalDC).
virtual Decl * getCanonicalDecl()
Retrieves the "canonical" declaration of the given declaration.
@ VisibleWhenImported
This declaration has an owning module, and is visible when that module is imported.
@ Unowned
This declaration is not owned by a module.
@ ReachableWhenImported
This declaration has an owning module, and is visible to lookups that occurs within that module.
@ ModulePrivate
This declaration has an owning module, but is only visible to lookups that occur within that module.
@ Visible
This declaration has an owning module, but is globally visible (typically because its owning module i...
const LangOptions & getLangOpts() const LLVM_READONLY
Helper to get the language options from the ASTContext.
The name of a declaration.
const IdentifierInfo * getCXXLiteralIdentifier() const
If this name is the name of a literal operator, retrieve the identifier associated with it.
bool isAnyOperatorDelete() const
OverloadedOperatorKind getCXXOverloadedOperator() const
If this name is the name of an overloadable operator in C++ (e.g., operator+), retrieve the kind of o...
SourceLocation getTypeSpecEndLoc() const
SourceLocation getInnerLocStart() const
Return start of source range ignoring outer template declarations.
SourceLocation getOuterLocStart() const
Return start of source range taking into account any outer template declarations.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
SourceLocation getTypeSpecStartLoc() const
SourceLocation getBeginLoc() const LLVM_READONLY
const AssociatedConstraint & getTrailingRequiresClause() const
Get the constraint-expression introduced by the trailing requires-clause in the function/member decla...
DeclaratorDecl(Kind DK, DeclContext *DC, SourceLocation L, DeclarationName N, QualType T, TypeSourceInfo *TInfo, SourceLocation StartL)
void setQualifierInfo(NestedNameSpecifierLoc QualifierLoc)
void setTrailingRequiresClause(const AssociatedConstraint &AC)
TypeSourceInfo * getTypeSourceInfo() const
void setTemplateParameterListsInfo(ASTContext &Context, ArrayRef< TemplateParameterList * > TPLists)
Provides information about a dependent function-template specialization declaration.
static DependentFunctionTemplateSpecializationInfo * Create(ASTContext &Context, const UnresolvedSetImpl &Candidates, const TemplateArgumentListInfo *TemplateArgs)
static EmptyDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation L)
static EmptyDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
EnumConstantDecl(const ASTContext &C, DeclContext *DC, SourceLocation L, IdentifierInfo *Id, QualType T, Expr *E, const llvm::APSInt &V)
static EnumConstantDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
void setInitVal(const ASTContext &C, const llvm::APSInt &V)
static EnumConstantDecl * Create(ASTContext &C, EnumDecl *DC, SourceLocation L, IdentifierInfo *Id, QualType T, Expr *E, const llvm::APSInt &V)
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
MemberSpecializationInfo * getMemberSpecializationInfo() const
If this enumeration is an instantiation of a member enumeration of a class template specialization,...
unsigned getNumNegativeBits() const
Returns the width in bits required to store all the negative enumerators of this enum.
void setTemplateSpecializationKind(TemplateSpecializationKind TSK, SourceLocation PointOfInstantiation=SourceLocation())
For an enumeration member that was instantiated from a member enumeration of a templated class,...
static EnumDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, IdentifierInfo *Id, EnumDecl *PrevDecl, bool IsScoped, bool IsScopedUsingClassTag, bool IsFixed)
TypeSourceInfo * getIntegerTypeSourceInfo() const
Return the type source info for the underlying integer type, if no type source info exists,...
static EnumDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
bool isClosedFlag() const
Returns true if this enum is annotated with flag_enum and isn't annotated with enum_extensibility(ope...
SourceRange getIntegerTypeRange() const LLVM_READONLY
Retrieve the source range that covers the underlying type if specified.
SourceRange getSourceRange() const override LLVM_READONLY
Overrides to provide correct range when there's an enum-base specifier with forward declarations.
QualType getIntegerType() const
Return the integer type this enum decl corresponds to.
EnumDecl * getInstantiatedFromMemberEnum() const
Returns the enumeration (declared within the template) from which this enumeration type was instantia...
unsigned getNumPositiveBits() const
Returns the width in bits required to store all the non-negative enumerators of this enum.
TemplateSpecializationKind getTemplateSpecializationKind() const
If this enumeration is a member of a specialization of a templated class, determine what kind of temp...
bool isClosed() const
Returns true if this enum is either annotated with enum_extensibility(closed) or isn't annotated with...
EnumDecl * getTemplateInstantiationPattern() const
Retrieve the enum definition from which this enumeration could be instantiated, if it is an instantia...
bool isClosedNonFlag() const
Returns true if this enum is annotated with neither flag_enum nor enum_extensibility(open).
void getValueRange(llvm::APInt &Max, llvm::APInt &Min) const
Calculates the [Min,Max) values the enum can store based on the NumPositiveBits and NumNegativeBits.
static ExportDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation ExportLoc)
static ExportDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
This represents one expression.
bool isValueDependent() const
Determines whether the value of this expression depends on.
bool HasSideEffects(const ASTContext &Ctx, bool IncludePossibleEffects=true) const
HasSideEffects - This routine returns true for all those expressions which have any effect other than...
static ExternCContextDecl * Create(const ASTContext &C, TranslationUnitDecl *TU)
RAII class for safely pairing a StartedDeserializing call with FinishedDeserializing.
Abstract interface for external sources of AST nodes.
Represents a member of a struct/union/class.
Expr * getInClassInitializer() const
Get the C++11 default member initializer for this member, or null if one has not been set.
bool isBitField() const
Determines whether this field is a bitfield.
bool hasInClassInitializer() const
Determine whether this member has a C++11 default member initializer.
FieldDecl(Kind DK, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, const IdentifierInfo *Id, QualType T, TypeSourceInfo *TInfo, Expr *BW, bool Mutable, InClassInitStyle InitStyle)
unsigned getBitWidthValue() const
Computes the bit width of this field, if this is a bit field.
bool isAnonymousStructOrUnion() const
Determines whether this field is a representative for an anonymous struct or union.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
bool hasConstantIntegerBitWidth() const
Determines whether the bit width of this field is a constant integer.
static FieldDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
void setInClassInitializer(Expr *NewInit)
Set the C++11 in-class initializer for this member.
const RecordDecl * getParent() const
Returns the parent of this field declaration, which is the struct in which this field is defined.
bool isZeroSize(const ASTContext &Ctx) const
Determine if this field is a subobject of zero size, that is, either a zero-length bit-field or a fie...
InitAndBitWidthStorage * InitAndBitWidth
static FieldDecl * Create(const ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, const IdentifierInfo *Id, QualType T, TypeSourceInfo *TInfo, Expr *BW, bool Mutable, InClassInitStyle InitStyle)
FieldDecl * getCanonicalDecl() override
Retrieves the canonical declaration of this field.
static bool classofKind(Kind K)
bool isUnnamedBitField() const
Determines whether this is an unnamed bitfield.
bool isZeroLengthBitField() const
Is this a zero-length bit-field?
Expr * getBitWidth() const
Returns the expression that represents the bit width, if this field is a bit field.
void printName(raw_ostream &OS, const PrintingPolicy &Policy) const override
Pretty-print the unqualified name of this declaration.
const FieldDecl * findCountedByField() const
Find the FieldDecl specified in a FAM's "counted_by" attribute.
bool isPotentiallyOverlapping() const
Determine if this field is of potentially-overlapping class type, that is, subobject with the [[no_un...
void setCapturedVLAType(const VariableArrayType *VLAType)
Set the captured variable length array type for this field.
const VariableArrayType * CapturedVLAType
std::string getAsmString() const
const Expr * getAsmStringExpr() const
static FileScopeAsmDecl * Create(ASTContext &C, DeclContext *DC, Expr *Str, SourceLocation AsmLoc, SourceLocation RParenLoc)
static FileScopeAsmDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
Stashed information about a defaulted/deleted function body.
static DefaultedOrDeletedFunctionInfo * Create(ASTContext &Context, ArrayRef< DeclAccessPair > Lookups, StringLiteral *DeletedMessage=nullptr)
void setDeletedMessage(StringLiteral *Message)
Represents a function declaration or definition.
unsigned getMemoryFunctionKind() const
Identify a memory copying or setting function.
static constexpr unsigned RequiredTypeAwareDeleteParameterCount
Count of mandatory parameters for type aware operator delete.
bool isTargetClonesMultiVersion() const
True if this function is a multiversioned dispatch function as a part of the target-clones functional...
bool isMultiVersion() const
True if this function is considered a multiversioned function.
static FunctionDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation NLoc, DeclarationName N, QualType T, TypeSourceInfo *TInfo, StorageClass SC, bool UsesFPIntrin=false, bool isInlineSpecified=false, bool hasWrittenPrototype=true, ConstexprSpecKind ConstexprKind=ConstexprSpecKind::Unspecified, const AssociatedConstraint &TrailingRequiresClause={})
const ParmVarDecl * getParamDecl(unsigned i) const
bool hasTrivialBody() const
Returns whether the function has a trivial body that does not require any specific codegen.
DefaultedOrDeletedFunctionInfo * getDefaultedOrDeletedInfo() const
unsigned getMinRequiredArguments() const
Returns the minimum number of arguments needed to call this function.
bool isFunctionTemplateSpecialization() const
Determine whether this function is a function template specialization.
void setPreviousDeclaration(FunctionDecl *PrevDecl)
void setDescribedFunctionTemplate(FunctionTemplateDecl *Template)
FunctionTemplateDecl * getDescribedFunctionTemplate() const
Retrieves the function template that is described by this function declaration.
void setIsPureVirtual(bool P=true)
bool isImmediateFunction() const
void setDefaultedOrDeletedInfo(DefaultedOrDeletedFunctionInfo *Info)
SourceLocation getEllipsisLoc() const
Returns the location of the ellipsis of a variadic function.
SourceRange getReturnTypeSourceRange() const
Attempt to compute an informative source range covering the function return type.
bool isDestroyingOperatorDelete() const
Determine whether this is a destroying operator delete.
static FunctionDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
unsigned getBuiltinID(bool ConsiderWrapperFunctions=false) const
Returns a value indicating whether this function corresponds to a builtin function.
SourceLocation getPointOfInstantiation() const
Retrieve the (first) point of instantiation of a function template specialization or a member of a cl...
bool isMemberLikeConstrainedFriend() const
Determine whether a function is a friend function that cannot be redeclared outside of its class,...
bool hasCXXExplicitFunctionObjectParameter() const
bool isInlined() const
Determine whether this function should be inlined, because it is either marked "inline" or "constexpr...
bool UsesFPIntrin() const
Determine whether the function was declared in source context that requires constrained FP intrinsics...
bool isNoReturn() const
Determines whether this function is known to be 'noreturn', through an attribute on its declaration o...
ArrayRef< ParmVarDecl * > parameters() const
bool isCPUSpecificMultiVersion() const
True if this function is a multiversioned processor specific function as a part of the cpu_specific/c...
FunctionDecl * getTemplateInstantiationPattern(bool ForDefinition=true) const
Retrieve the function declaration from which this function could be instantiated, if it is an instant...
bool isMSExternInline() const
The combination of the extern and inline keywords under MSVC forces the function to be required.
unsigned getMinRequiredExplicitArguments() const
Returns the minimum number of non-object arguments needed to call this function.
bool BodyContainsImmediateEscalatingExpressions() const
LanguageLinkage getLanguageLinkage() const
Compute the language linkage.
FunctionTemplateDecl * getPrimaryTemplate() const
Retrieve the primary template that this function template specialization either specializes or was in...
bool hasWrittenPrototype() const
Whether this function has a written prototype.
MemberSpecializationInfo * getMemberSpecializationInfo() const
If this function is an instantiation of a member function of a class template specialization,...
FunctionTemplateSpecializationInfo * getTemplateSpecializationInfo() const
If this function is actually a function template specialization, retrieve information about this func...
FunctionDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
FunctionTypeLoc getFunctionTypeLoc() const
Find the source location information for how the type of this function was written.
bool isVariadic() const
Whether this function is variadic.
bool doesThisDeclarationHaveABody() const
Returns whether this specific declaration of the function has a body.
bool isConstexprSpecified() const
DependentFunctionTemplateSpecializationInfo * getDependentSpecializationInfo() const
const TemplateArgumentList * getTemplateSpecializationArgs() const
Retrieve the template arguments used to produce this function template specialization from the primar...
SourceRange getExceptionSpecSourceRange() const
Attempt to compute an informative source range covering the function exception specification,...
bool hasBody() const override
Returns true if this Decl represents a declaration for a body of code, such as a function or method d...
bool isMSVCRTEntryPoint() const
Determines whether this function is a MSVCRT user defined entry point.
unsigned getODRHash()
Returns ODRHash of the function.
TemplateSpecializationKind getTemplateSpecializationKindForInstantiation() const
Determine the kind of template specialization this function represents for the purpose of template in...
FunctionDecl(Kind DK, ASTContext &C, DeclContext *DC, SourceLocation StartLoc, const DeclarationNameInfo &NameInfo, QualType T, TypeSourceInfo *TInfo, StorageClass S, bool UsesFPIntrin, bool isInlineSpecified, ConstexprSpecKind ConstexprKind, const AssociatedConstraint &TrailingRequiresClause)
bool isTemplateInstantiation() const
Determines if the given function was instantiated from a function template.
unsigned getNumNonObjectParams() const
TemplatedKind
The kind of templated function a FunctionDecl can be.
@ TK_MemberSpecialization
@ TK_DependentNonTemplate
@ TK_FunctionTemplateSpecialization
@ TK_DependentFunctionTemplateSpecialization
UsualDeleteParams getUsualDeleteParams() const
StorageClass getStorageClass() const
Returns the storage class as written in the source.
bool isOutOfLine() const override
Determine whether this is or was instantiated from an out-of-line definition of a member function.
bool isInlineBuiltinDeclaration() const
Determine if this function provides an inline implementation of a builtin.
bool FriendConstraintRefersToEnclosingTemplate() const
TemplatedKind getTemplatedKind() const
What kind of templated function this is.
void setInstantiatedFromDecl(FunctionDecl *FD)
Specify that this function declaration was instantiated from a FunctionDecl FD.
bool isDeletedAsWritten() const
bool isReservedGlobalPlacementOperator() const
Determines whether this operator new or delete is one of the reserved global placement operators: voi...
void setDependentTemplateSpecialization(ASTContext &Context, const UnresolvedSetImpl &Templates, const TemplateArgumentListInfo *TemplateArgs)
Specifies that this function declaration is actually a dependent function template specialization.
bool isInExternCContext() const
Determines whether this function's context is, or is nested within, a C++ extern "C" linkage spec.
static constexpr unsigned RequiredTypeAwareNewParameterCount
Count of mandatory parameters for type aware operator new.
bool isImplicitlyInstantiable() const
Determines whether this function is a function template specialization or a member of a class templat...
bool isExternC() const
Determines whether this function is a function with external, C linkage.
Stmt * getBody() const override
getBody - If this Decl represents a declaration for a body of code, such as a function or method defi...
FunctionDecl * getMostRecentDecl()
Returns the most recent (re)declaration of this declaration.
redecl_range redecls() const
Returns an iterator range for all the redeclarations of the same decl.
LazyDeclStmtPtr Body
The body of the function.
bool isImmediateEscalating() const
void setIsDestroyingOperatorDelete(bool IsDestroyingDelete)
bool isUsableAsGlobalAllocationFunctionInConstantEvaluation(UnsignedOrNone *AlignmentParam=nullptr, bool *IsNothrow=nullptr) const
Determines whether this function is one of the replaceable global allocation functions described in i...
DefaultedOrDeletedFunctionInfo * DefaultedOrDeletedInfo
Information about a future defaulted function definition.
bool isTypeAwareOperatorNewOrDelete() const
Determine whether this is a type aware operator new or delete.
bool isInExternCXXContext() const
Determines whether this function's context is, or is nested within, a C++ extern "C++" linkage spec.
bool isMain() const
Determines whether this function is "main", which is the entry point into an executable program.
void setImplicitlyInline(bool I=true)
Flag that this function is implicitly inline.
bool isTargetVersionMultiVersion() const
True if this function is a multiversioned dispatch function as a part of the target-version functiona...
void setIsTypeAwareOperatorNewOrDelete(bool IsTypeAwareOperator=true)
bool isThisDeclarationInstantiatedFromAFriendDefinition() const
Determine whether this specific declaration of the function is a friend declaration that was instanti...
bool isCPUDispatchMultiVersion() const
True if this function is a multiversioned dispatch function as a part of the cpu_specific/cpu_dispatc...
bool isDefaulted() const
Whether this function is defaulted.
bool isReferenceableKernel() const
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
FunctionDecl * getInstantiatedFromDecl() const
void setTemplateSpecializationKind(TemplateSpecializationKind TSK, SourceLocation PointOfInstantiation=SourceLocation())
Determine what kind of template instantiation this function represents.
const IdentifierInfo * getLiteralIdentifier() const
getLiteralIdentifier - The literal suffix identifier this function represents, if any.
OverloadedOperatorKind getOverloadedOperator() const
getOverloadedOperator - Which C++ overloaded operator this function represents, if any.
TemplateSpecializationKind getTemplateSpecializationKind() const
Determine what kind of template instantiation this function represents.
bool doesDeclarationForceExternallyVisibleDefinition() const
For a function declaration in C or C++, determine whether this declaration causes the definition to b...
bool isTargetMultiVersion() const
True if this function is a multiversioned dispatch function as a part of the target functionality.
bool isAnalyzerNoReturn() const
Determines whether this function is known to be 'noreturn' for analyzer, through an analyzer_noreturn...
bool isGlobal() const
Determines whether this is a global function.
bool hasOneParamOrDefaultArgs() const
Determine whether this function has a single parameter, or multiple parameters where all but the firs...
void setDeletedAsWritten(bool D=true, StringLiteral *Message=nullptr)
bool isTargetMultiVersionDefault() const
True if this function is the default version of a multiversioned dispatch function as a part of the t...
FunctionDecl * getInstantiatedFromMemberFunction() const
If this function is an instantiation of a member function of a class template specialization,...
bool isInlineDefinitionExternallyVisible() const
For an inline function definition in C, or for a gnu_inline function in C++, determine whether the de...
unsigned getNumParams() const
Return the number of parameters this function must have based on its FunctionType.
DeclarationNameInfo getNameInfo() const
Redeclarable< FunctionDecl > redeclarable_base
bool hasBody(const FunctionDecl *&Definition) const
Returns true if the function has a body.
SourceRange getParametersSourceRange() const
Attempt to compute an informative source range covering the function parameters, including the ellips...
FunctionDecl * getPreviousDecl()
Return the previous declaration of this declaration or NULL if this is the first declaration.
bool isInlineSpecified() const
Determine whether the "inline" keyword was specified for this function.
MultiVersionKind getMultiVersionKind() const
Gets the kind of multiversioning attribute this declaration has.
void getNameForDiagnostic(raw_ostream &OS, const PrintingPolicy &Policy, bool Qualified) const override
Appends a human-readable name for this declaration into the given stream.
bool willHaveBody() const
True if this function will eventually have a body, once it's fully parsed.
const ASTTemplateArgumentListInfo * getTemplateSpecializationArgsAsWritten() const
Retrieve the template argument list as written in the sources, if any.
Represents a prototype with parameter type info, e.g.
param_type_iterator param_type_begin() const
unsigned getNumParams() const
bool isVariadic() const
Whether this function prototype is variadic.
param_type_iterator param_type_end() const
Declaration of a template function.
Provides information about a function template specialization, which is a FunctionDecl that has been ...
TemplateArgumentList * TemplateArguments
The template arguments used to produce the function template specialization from the function templat...
FunctionTemplateDecl * getTemplate() const
Retrieve the template from which this function was specialized.
static FunctionTemplateSpecializationInfo * Create(ASTContext &C, FunctionDecl *FD, FunctionTemplateDecl *Template, TemplateSpecializationKind TSK, TemplateArgumentList *TemplateArgs, const TemplateArgumentListInfo *TemplateArgsAsWritten, SourceLocation POI, MemberSpecializationInfo *MSInfo)
bool isExplicitInstantiationOrSpecialization() const
True if this declaration is an explicit specialization, explicit instantiation declaration,...
Wrapper for source info for functions.
SourceRange getExceptionSpecRange() const
TypeLoc getReturnLoc() const
FunctionType - C99 6.7.5.3 - Function Declarators.
@ SME_PStateSMEnabledMask
static ArmStateValue getArmZT0State(unsigned AttrBits)
static ArmStateValue getArmZAState(unsigned AttrBits)
static std::string ExtractStringFromGCCAsmStmtComponent(const Expr *E)
HLSLBufferDecl - Represent a cbuffer or tbuffer declaration.
buffer_decl_iterator buffer_decls_begin() const
static HLSLBufferDecl * Create(ASTContext &C, DeclContext *LexicalParent, bool CBuffer, SourceLocation KwLoc, IdentifierInfo *ID, SourceLocation IDLoc, SourceLocation LBrace)
void addLayoutStruct(CXXRecordDecl *LS)
bool buffer_decls_empty()
llvm::concat_iterator< Decl *const, SmallVector< Decl * >::const_iterator, decl_iterator > buffer_decl_iterator
static HLSLBufferDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
buffer_decl_iterator buffer_decls_end() const
static HLSLBufferDecl * CreateDefaultCBuffer(ASTContext &C, DeclContext *LexicalParent, ArrayRef< Decl * > DefaultCBufferDecls)
static HLSLRootSignatureDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation Loc, IdentifierInfo *ID, llvm::dxbc::RootSignatureVersion Version, ArrayRef< llvm::hlsl::rootsig::RootElement > RootElements)
static HLSLRootSignatureDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
One of these records is kept for each identifier that is lexed.
ReservedIdentifierStatus isReserved(const LangOptions &LangOpts) const
Determine whether this is a name reserved for the implementation (C99 7.1.3, C++ [lib....
bool isStr(const char(&Str)[StrLen]) const
Return true if this is the identifier for the specified string.
ImplicitParamDecl(ASTContext &C, DeclContext *DC, SourceLocation IdLoc, const IdentifierInfo *Id, QualType Type, ImplicitParamKind ParamKind)
static ImplicitParamDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation IdLoc, IdentifierInfo *Id, QualType T, ImplicitParamKind ParamKind)
Create implicit parameter.
static ImplicitParamDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
static ImportDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, Module *Imported, ArrayRef< SourceLocation > IdentifierLocs)
Create a new module import declaration.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
static ImportDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID, unsigned NumLocations)
Create a new, deserialized module import declaration.
ArrayRef< SourceLocation > getIdentifierLocs() const
Retrieves the locations of each of the identifiers that make up the complete module name in the impor...
Module * getImportedModule() const
Retrieve the module that was imported by the import declaration.
static ImportDecl * CreateImplicit(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, Module *Imported, SourceLocation EndLoc)
Create a new module import declaration for an implicitly-generated import.
static bool classofKind(Kind K)
static IndirectFieldDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
static IndirectFieldDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation L, const IdentifierInfo *Id, QualType T, MutableArrayRef< NamedDecl * > CH)
void setMSAsmLabel(StringRef Name)
static LabelDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation IdentL, IdentifierInfo *II)
static LabelDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
@ Microsoft
Use Microsoft C++ ABI rules for bit-field layout and fundamental types alignment.
@ Default
Use default layout rules of the target.
RegisterStaticDestructorsKind
Controls which variables have static destructors registered.
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
LinkageInfo getTypeLinkageAndVisibility(const Type *T)
LinkageInfo computeLVForDecl(const NamedDecl *D, LVComputationKind computation, bool IgnoreVarTypeLinkage=false)
LinkageInfo getLVForDecl(const NamedDecl *D, LVComputationKind computation)
getLVForDecl - Get the linkage and visibility for the given declaration.
LinkageInfo getDeclLinkageAndVisibility(const NamedDecl *D)
Visibility getVisibility() const
static LinkageInfo external()
static LinkageInfo none()
void setLinkage(Linkage L)
void mergeExternalVisibility(Linkage L)
void mergeMaybeWithVisibility(LinkageInfo other, bool withVis)
Merge linkage and conditionally merge visibility.
Linkage getLinkage() const
static LinkageInfo internal()
static LinkageInfo visible_none()
static LinkageInfo uniqueExternal()
void mergeVisibility(Visibility newVis, bool newExplicit)
Merge in the visibility 'newVis'.
bool isVisibilityExplicit() const
void merge(LinkageInfo other)
Merge both linkage and visibility.
Provides information a specialization of a member of a class template, which may be a member function...
void setTemplateSpecializationKind(TemplateSpecializationKind TSK)
Set the template specialization kind.
TemplateSpecializationKind getTemplateSpecializationKind() const
Determine what kind of template specialization this is.
SourceLocation getPointOfInstantiation() const
Retrieve the first point of instantiation of this member.
void setPointOfInstantiation(SourceLocation POI)
Set the first point of instantiation.
NamedDecl * getInstantiatedFrom() const
Retrieve the member declaration from which this member was instantiated.
Describes a module or submodule.
Module * Parent
The parent of this module.
ModuleKind Kind
The kind of this module.
@ ModuleImplementationUnit
This is a C++20 module implementation unit.
@ ModuleMapModule
This is a module that was defined by a module map and built out of header files.
@ ImplicitGlobalModuleFragment
This is an implicit fragment of the global module which contains only language linkage declarations (...
@ ModulePartitionInterface
This is a C++20 module partition interface.
@ ModuleInterfaceUnit
This is a C++20 module interface unit.
@ ModuleHeaderUnit
This is a C++20 header unit.
@ ModulePartitionImplementation
This is a C++20 module partition implementation.
@ PrivateModuleFragment
This is the private module fragment within some C++ module.
@ ExplicitGlobalModuleFragment
This is the explicit Global Module Fragment of a modular TU.
This represents a decl that may have a name.
NamedDecl * getUnderlyingDecl()
Looks through UsingDecls and ObjCCompatibleAliasDecls for the underlying named decl.
ExplicitVisibilityKind
Kinds of explicit visibility.
@ VisibilityForValue
Do an LV computation for, ultimately, a non-type declaration.
@ VisibilityForType
Do an LV computation for, ultimately, a type.
Linkage getLinkageInternal() const
Determine what kind of linkage this entity has.
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
NamedDecl(Kind DK, DeclContext *DC, SourceLocation L, DeclarationName N)
LinkageInfo getLinkageAndVisibility() const
Determines the linkage and visibility of this entity.
bool isLinkageValid() const
True if the computed linkage is valid.
StringRef getName() const
Get the name of identifier for this declaration as a StringRef.
bool isPlaceholderVar(const LangOptions &LangOpts) const
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
std::string getQualifiedNameAsString() const
std::optional< Visibility > getExplicitVisibility(ExplicitVisibilityKind kind) const
If visibility was explicitly specified for this declaration, return that visibility.
NamedDecl * getMostRecentDecl()
virtual void getNameForDiagnostic(raw_ostream &OS, const PrintingPolicy &Policy, bool Qualified) const
Appends a human-readable name for this declaration into the given stream.
bool declarationReplaces(const NamedDecl *OldD, bool IsKnownNewer=true) const
Determine whether this declaration, if known to be well-formed within its context,...
ObjCStringFormatFamily getObjCFStringFormattingFamily() const
Linkage getFormalLinkage() const
Get the linkage from a semantic point of view.
void printQualifiedName(raw_ostream &OS) const
Returns a human-readable qualified name for this declaration, like A::B::i, for i being member of nam...
virtual void printName(raw_ostream &OS, const PrintingPolicy &Policy) const
Pretty-print the unqualified name of this declaration.
bool isCXXInstanceMember() const
Determine whether the given declaration is an instance member of a C++ class.
bool hasLinkage() const
Determine whether this declaration has linkage.
ReservedIdentifierStatus isReserved(const LangOptions &LangOpts) const
Determine if the declaration obeys the reserved identifier rules of the given language.
bool isCXXClassMember() const
Determine whether this declaration is a C++ class member.
void printNestedNameSpecifier(raw_ostream &OS) const
Print only the nested name specifier part of a fully-qualified name, including the '::' at the end.
Represent a C++ namespace.
A C++ nested-name-specifier augmented with source location information.
bool containsType(SanitizerMask Mask, StringRef MangledTypeName, StringRef Category=StringRef()) const
bool containsLocation(SanitizerMask Mask, SourceLocation Loc, StringRef Category=StringRef()) const
void AddEnumDecl(const EnumDecl *Enum)
void AddFunctionDecl(const FunctionDecl *Function, bool SkipBody=false)
void AddRecordDecl(const RecordDecl *Record)
Represents a partial function definition.
static OutlinedFunctionDecl * Create(ASTContext &C, DeclContext *DC, unsigned NumParams)
void setNothrow(bool Nothrow=true)
static OutlinedFunctionDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID, unsigned NumParams)
Stmt * getBody() const override
getBody - If this Decl represents a declaration for a body of code, such as a function or method defi...
Represents a parameter to a function.
void setDefaultArg(Expr *defarg)
static ParmVarDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
ParmVarDecl(Kind DK, ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, const IdentifierInfo *Id, QualType T, TypeSourceInfo *TInfo, StorageClass S, Expr *DefArg)
bool hasUnparsedDefaultArg() const
Determines whether this parameter has a default argument that has not yet been parsed.
SourceRange getDefaultArgRange() const
Retrieve the source range that covers the entire default argument.
void setUninstantiatedDefaultArg(Expr *arg)
bool hasUninstantiatedDefaultArg() const
bool isDestroyedInCallee() const
Determines whether this parameter is destroyed in the callee function.
bool hasInheritedDefaultArg() const
bool isExplicitObjectParameter() const
QualType getOriginalType() const
static ParmVarDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, const IdentifierInfo *Id, QualType T, TypeSourceInfo *TInfo, StorageClass S, Expr *DefArg)
Expr * getUninstantiatedDefaultArg()
bool hasDefaultArg() const
Determines whether this parameter has a default argument, either parsed or not.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
Represents a #pragma detect_mismatch line.
static PragmaDetectMismatchDecl * Create(const ASTContext &C, TranslationUnitDecl *DC, SourceLocation Loc, StringRef Name, StringRef Value)
static PragmaDetectMismatchDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID, unsigned NameValueSize)
Represents an unpacked "presumed" location which can be presented to the user.
unsigned getColumn() const
Return the presumed column number of this location.
const char * getFilename() const
Return the presumed filename of this location.
unsigned getLine() const
Return the presumed line number of this location.
void print(raw_ostream &OS) const override
virtual bool isScopeVisible(const DeclContext *DC) const
When printing type to be inserted into code in specific context, this callback can be used to avoid p...
A (possibly-)qualified type.
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.
void print(raw_ostream &OS, const PrintingPolicy &Policy, const Twine &PlaceHolder=Twine(), unsigned Indentation=0) const
DestructionKind isDestructedType() const
Returns a nonzero value if objects of this type require non-trivial work to clean up after.
unsigned getCVRQualifiers() const
Retrieve the set of CVR (const-volatile-restrict) qualifiers applied to this type.
Represents a struct/union/class.
bool hasLoadedFieldsFromExternalStorage() const
unsigned getODRHash()
Get precomputed ODRHash or add a new one.
bool isLambda() const
Determine whether this record is a class describing a lambda function object.
bool isMsStruct(const ASTContext &C) const
Get whether or not this is an ms_struct which can be turned on with an attribute, pragma,...
void setAnonymousStructOrUnion(bool Anon)
RecordDecl(Kind DK, TagKind TK, const ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, IdentifierInfo *Id, RecordDecl *PrevDecl)
const FieldDecl * findFirstNamedDataMember() const
Finds the first data member which has a name.
field_iterator noload_field_begin() const
void setArgPassingRestrictions(RecordArgPassingKind Kind)
void setNonTrivialToPrimitiveCopy(bool V)
bool isCapturedRecord() const
Determine whether this record is a record for captured variables in CapturedStmt construct.
void setHasNonTrivialToPrimitiveCopyCUnion(bool V)
field_range fields() const
void setHasNonTrivialToPrimitiveDestructCUnion(bool V)
void setHasFlexibleArrayMember(bool V)
void setParamDestroyedInCallee(bool V)
void setNonTrivialToPrimitiveDestroy(bool V)
void setHasObjectMember(bool val)
static RecordDecl * Create(const ASTContext &C, TagKind TK, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, IdentifierInfo *Id, RecordDecl *PrevDecl=nullptr)
void setHasVolatileMember(bool val)
void setHasNonTrivialToPrimitiveDefaultInitializeCUnion(bool V)
void reorderDecls(const SmallVectorImpl< Decl * > &Decls)
void setIsRandomized(bool V)
static RecordDecl * CreateDeserialized(const ASTContext &C, GlobalDeclID ID)
bool mayInsertExtraPadding(bool EmitRemark=false) const
Whether we are allowed to insert extra padding between fields.
static bool classof(const Decl *D)
bool isOrContainsUnion() const
Returns whether this record is a union, or contains (at any nesting level) a union member.
virtual void completeDefinition()
Note that the definition of this type is now complete.
RecordDecl * getDefinition() const
Returns the RecordDecl that actually defines this struct/union/class.
void setCapturedRecord()
Mark the record as a record for captured variables in CapturedStmt construct.
specific_decl_iterator< FieldDecl > field_iterator
void setHasUninitializedExplicitInitFields(bool V)
void setNonTrivialToPrimitiveDefaultInitialize(bool V)
RecordDecl * getDefinitionOrSelf() const
void setHasLoadedFieldsFromExternalStorage(bool val) const
field_iterator field_begin() const
Declaration of a redeclarable template.
bool isMemberSpecialization() const
Determines whether this template was a specialization of a member template.
Provides common interface for the Decls that can be redeclared.
TagDecl * getNextRedeclaration() const
void setPreviousDecl(FunctionDecl *PrevDecl)
Encodes a location in the source.
bool isValid() const
Return true if this is a valid SourceLocation object.
This class handles loading and caching of source files into memory.
PresumedLoc getPresumedLoc(SourceLocation Loc, bool UseLineDirectives=true) const
Returns the "presumed" location of a SourceLocation specifies.
A trivial tuple used to represent a source range.
SourceLocation getEnd() const
Stmt - This represents one statement.
SourceLocation getEndLoc() const LLVM_READONLY
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
StringLiteral - This represents a string literal expression, e.g.
Represents the declaration of a struct/union/class/enum.
void setTagKind(TagKind TK)
void setCompleteDefinitionRequired(bool V=true)
True if this complete decl is required to be complete for some existing use.
SourceRange getBraceRange() const
bool isBeingDefined() const
Return true if this decl is currently being defined.
redecl_range redecls() const
Returns an iterator range for all the redeclarations of the same decl.
TagDecl * getDefinition() const
Returns the TagDecl that actually defines this struct/union/class/enum.
void setEmbeddedInDeclarator(bool isInDeclarator)
True if this tag declaration is "embedded" (i.e., defined or declared for the very first time) in the...
StringRef getKindName() const
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
redeclarable_base::redecl_iterator redecl_iterator
TypedefNameDecl * getTypedefNameForAnonDecl() const
void startDefinition()
Starts the definition of this tag declaration.
TagDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
void setTypedefNameForAnonDecl(TypedefNameDecl *TDD)
SourceLocation getOuterLocStart() const
Return SourceLocation representing start of source range taking into account any outer template decla...
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
void setBeingDefined(bool V=true)
True if this decl is currently being defined.
void setQualifierInfo(NestedNameSpecifierLoc QualifierLoc)
void setTemplateParameterListsInfo(ASTContext &Context, ArrayRef< TemplateParameterList * > TPLists)
void completeDefinition()
Completes the definition of this tag declaration.
void printName(raw_ostream &OS, const PrintingPolicy &Policy) const override
Pretty-print the unqualified name of this declaration.
Redeclarable< TagDecl > redeclarable_base
void setFreeStanding(bool isFreeStanding=true)
True if this tag is free standing, e.g. "struct foo;".
redeclarable_base::redecl_range redecl_range
bool isDependentType() const
Whether this declaration declares a type that is dependent, i.e., a type that somehow depends on temp...
void printAnonymousTagDecl(llvm::raw_ostream &OS, const PrintingPolicy &Policy) const
TagDecl(Kind DK, TagKind TK, const ASTContext &C, DeclContext *DC, SourceLocation L, IdentifierInfo *Id, TagDecl *PrevDecl, SourceLocation StartL)
void setCompleteDefinition(bool V=true)
True if this decl has its body fully specified.
bool isMicrosoft() const
Is this ABI an MSVC-compatible ABI?
const llvm::Triple & getTriple() const
Returns the target triple of the primary target.
TargetCXXABI getCXXABI() const
Get the C++ ABI currently in use.
A convenient class for passing around template argument information.
A template argument list.
ArrayRef< TemplateArgument > asArray() const
Produce this as an array ref.
@ 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,...
TemplateParameterList * getTemplateParameters() const
Get the list of template parameters.
Stores a list of template parameters for a TemplateDecl and its derived classes.
static TopLevelStmtDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
static TopLevelStmtDecl * Create(ASTContext &C, Stmt *Statement)
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
The top declaration context.
static TranslationUnitDecl * Create(ASTContext &C)
ASTContext & getASTContext() const
void setAnonymousNamespace(NamespaceDecl *D)
static TypeAliasDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
static TypeAliasDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, const IdentifierInfo *Id, TypeSourceInfo *TInfo)
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
TypeDecl(Kind DK, DeclContext *DC, SourceLocation L, const IdentifierInfo *Id, SourceLocation StartL=SourceLocation())
SourceLocation getBeginLoc() const LLVM_READONLY
Base wrapper for a particular "section" of type source info.
T getAs() const
Convert to the specified TypeLoc type, returning a null TypeLoc if this TypeLoc is not of the desired...
SourceRange getSourceRange() const LLVM_READONLY
Get the full source range.
SourceLocation getEndLoc() const
Get the end source location.
SourceLocation getBeginLoc() const
Get the begin source location.
A container of type source information.
TypeLoc getTypeLoc() const
Return the TypeLoc wrapper for the type source info.
QualType getType() const
Return the type wrapped by this type source info.
The base class of the type hierarchy.
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
RecordDecl * getAsRecordDecl() const
Retrieves the RecordDecl this type refers to.
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
const T * castAs() const
Member-template castAs<specific type>.
bool isReferenceType() const
bool isEnumeralType() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
DeducedType * getContainedDeducedType() const
Get the DeducedType whose type will be deduced for a variable with an initializer of this type.
const T * getAsCanonical() const
If this type is canonically the specified type, return its canonical type cast to that specified type...
Linkage getLinkage() const
Determine the linkage of this type.
const T * getAs() const
Member-template getAs<specific type>'.
static TypedefDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, const IdentifierInfo *Id, TypeSourceInfo *TInfo)
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
static TypedefDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
Base class for declarations which introduce a typedef-name.
TypeSourceInfo * getTypeSourceInfo() const
QualType getUnderlyingType() const
TagDecl * getAnonDeclWithTypedefName(bool AnyRedecl=false) const
Retrieves the tag declaration for which this is the typedef name for linkage purposes,...
A set of unresolved declarations.
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
ValueDecl(Kind DK, DeclContext *DC, SourceLocation L, DeclarationName N, QualType T)
bool isParameterPack() const
Determine whether this value is actually a function parameter pack, init-capture pack,...
bool isWeak() const
Determine whether this symbol is weakly-imported, or declared with the weak or weak-ref attr.
bool isInitCapture() const
Whether this variable is the implicit variable for a lambda init-capture.
Represents a variable declaration or definition.
VarTemplateDecl * getDescribedVarTemplate() const
Retrieves the variable template that is described by this variable declaration.
static VarDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, const IdentifierInfo *Id, QualType T, TypeSourceInfo *TInfo, StorageClass S)
Stmt ** getInitAddress()
Retrieve the address of the initializer expression.
DefinitionKind isThisDeclarationADefinition() const
bool isConstexpr() const
Whether this variable is (C++11) constexpr.
void setInstantiationOfStaticDataMember(VarDecl *VD, TemplateSpecializationKind TSK)
Specify that this variable is an instantiation of the static data member VD.
TLSKind getTLSKind() const
bool hasICEInitializer(const ASTContext &Context) const
Determine whether the initializer of this variable is an integer constant expression.
ParmVarDeclBitfields ParmVarDeclBits
VarDecl * getMostRecentDecl()
Returns the most recent (re)declaration of this declaration.
DefinitionKind hasDefinition() const
static const char * getStorageClassSpecifierString(StorageClass SC)
Return the string used to specify the storage class SC.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
bool isOutOfLine() const override
Determine whether this is or was instantiated from an out-of-line definition of a static data member.
VarDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
bool hasFlexibleArrayInit(const ASTContext &Ctx) const
Whether this variable has a flexible array member initialized with one or more elements.
bool isNoDestroy(const ASTContext &) const
Is destruction of this variable entirely suppressed?
bool isInitCapture() const
Whether this variable is the implicit variable for a lambda init-capture.
void setStorageClass(StorageClass SC)
bool hasInitWithSideEffects() const
Checks whether this declaration has an initializer with side effects.
APValue * evaluateValue() const
Attempt to evaluate the value of the initializer attached to this declaration, and produce notes expl...
bool isStaticDataMember() const
Determines whether this is a static data member.
redecl_range redecls() const
Returns an iterator range for all the redeclarations of the same decl.
static VarDecl * CreateDeserialized(ASTContext &C, GlobalDeclID ID)
VarDecl * getTemplateInstantiationPattern() const
Retrieve the variable declaration from which this variable could be instantiated, if it is an instant...
bool hasGlobalStorage() const
Returns true for all variables that do not have local storage.
VarDeclBitfields VarDeclBits
CharUnits getFlexibleArrayInitChars(const ASTContext &Ctx) const
If hasFlexibleArrayInit is true, compute the number of additional bytes necessary to store those elem...
bool hasConstantInitialization() const
Determine whether this variable has constant initialization.
LanguageLinkage getLanguageLinkage() const
Compute the language linkage.
EvaluatedStmt * getEvaluatedStmt() const
bool mightBeUsableInConstantExpressions(const ASTContext &C) const
Determine whether this variable's value might be usable in a constant expression, according to the re...
EvaluatedStmt * ensureEvaluatedStmt() const
Convert the initializer for this declaration to the elaborated EvaluatedStmt form,...
VarDecl * getInstantiatedFromStaticDataMember() const
If this variable is an instantiated static data member of a class template specialization,...
bool isFileVarDecl() const
Returns true for file scoped variable declaration.
void setTemplateSpecializationKind(TemplateSpecializationKind TSK, SourceLocation PointOfInstantiation=SourceLocation())
For a static data member that was instantiated from a static data member of a class template,...
QualType::DestructionKind needsDestruction(const ASTContext &Ctx) const
Would the destruction of this variable have any effect, and if so, what kind?
bool checkForConstantInitialization(SmallVectorImpl< PartialDiagnosticAt > &Notes) const
Evaluate the initializer of this variable to determine whether it's a constant initializer.
bool isInline() const
Whether this variable is (C++1z) inline.
const Expr * getInit() const
bool isNonEscapingByref() const
Indicates the capture is a __block variable that is never captured by an escaping block.
bool isInExternCContext() const
Determines whether this variable's context is, or is nested within, a C++ extern "C" linkage spec.
NonParmVarDeclBitfields NonParmVarDeclBits
bool hasExternalStorage() const
Returns true if a variable has extern or private_extern storage.
InitType Init
The initializer for this variable or, for a ParmVarDecl, the C++ default argument.
Redeclarable< VarDecl > redeclarable_base
APValue * getEvaluatedValue() const
Return the already-evaluated value of this variable's initializer, or NULL if the value is not yet kn...
VarDecl * getInitializingDeclaration()
Get the initializing declaration of this variable, if any.
TLSKind
Kinds of thread-local storage.
@ TLS_Static
TLS with a known-constant initializer.
@ TLS_Dynamic
TLS with a dynamic initializer.
@ TLS_None
Not a TLS variable.
VarDecl * getActingDefinition()
Get the tentative definition that acts as the real definition in a TU.
@ TentativeDefinition
This declaration is a tentative definition.
@ DeclarationOnly
This declaration is only a declaration.
@ Definition
This declaration is definitely a definition.
void setDescribedVarTemplate(VarTemplateDecl *Template)
bool isExternC() const
Determines whether this variable is a variable with external, C linkage.
VarDecl(Kind DK, ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, const IdentifierInfo *Id, QualType T, TypeSourceInfo *TInfo, StorageClass SC)
StorageDuration getStorageDuration() const
Get the storage duration of this variable, per C++ [basic.stc].
StorageClass getStorageClass() const
Returns the storage class as written in the source.
bool isEscapingByref() const
Indicates the capture is a __block variable that is captured by a block that can potentially escape (...
bool isThisDeclarationADemotedDefinition() const
If this definition should pretend to be a declaration.
VarDecl * getPreviousDecl()
Return the previous declaration of this declaration or NULL if this is the first declaration.
bool isUsableInConstantExpressions(const ASTContext &C) const
Determine whether this variable's value can be used in a constant expression, according to the releva...
bool isInExternCXXContext() const
Determines whether this variable's context is, or is nested within, a C++ extern "C++" linkage spec.
SourceLocation getPointOfInstantiation() const
If this variable is an instantiation of a variable template or a static data member of a class templa...
bool hasDependentAlignment() const
Determines if this variable's alignment is dependent.
TemplateSpecializationKind getTemplateSpecializationKindForInstantiation() const
Get the template specialization kind of this variable for the purposes of template instantiation.
VarDecl * getDefinition()
TemplateSpecializationKind getTemplateSpecializationKind() const
If this variable is an instantiation of a variable template or a static data member of a class templa...
const Expr * getAnyInitializer() const
Get the initializer for this variable, no matter which declaration it is attached to.
bool isKnownToBeDefined() const
MemberSpecializationInfo * getMemberSpecializationInfo() const
If this variable is an instantiation of a static data member of a class template specialization,...
Declaration of a variable template.
VarDecl * getTemplatedDecl() const
Get the underlying variable declarations of the template.
Represents a variable template specialization, which refers to a variable template with a given set o...
const TemplateArgumentList & getTemplateArgs() const
Retrieve the template arguments of the variable template specialization.
VarTemplateDecl * getSpecializedTemplate() const
Retrieve the template that this specialization specializes.
bool isExplicitInstantiationOrSpecialization() const
True if this declaration is an explicit specialization, explicit instantiation declaration,...
bool isExplicitSpecialization() const
Represents a C array with a specified size that is not an integer-constant-expression.
Defines the Linkage enumeration and various utility functions.
Defines the clang::TargetInfo interface.
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
const internal::VariadicAllOfMatcher< Decl > decl
Matches declarations.
std::variant< struct RequiresDecl, struct HeaderDecl, struct UmbrellaDirDecl, struct ModuleDecl, struct ExcludeDecl, struct ExportDecl, struct ExportAsDecl, struct ExternModuleDecl, struct UseDecl, struct LinkDecl, struct ConfigMacrosDecl, struct ConflictDecl > Decl
All declarations that can appear in a module declaration.
The JSON file list parser is used to communicate input to InstallAPI.
OverloadedOperatorKind
Enumeration specifying the different kinds of C++ overloaded operators.
@ OO_None
Not an overloaded operator.
bool isa(CodeGen::Address addr)
bool isTemplateInstantiation(TemplateSpecializationKind Kind)
Determine whether this template specialization kind refers to an instantiation of an entity (as oppos...
LazyOffsetPtr< Stmt, uint64_t, &ExternalASTSource::GetExternalDeclStmt > LazyDeclStmtPtr
A lazy pointer to a statement.
@ GVA_AvailableExternally
bool isReservedInAllContexts(ReservedIdentifierStatus Status)
Determine whether an identifier is reserved in all contexts.
ConstexprSpecKind
Define the kind of constexpr specifier.
Decl * getPrimaryMergedDecl(Decl *D)
Get the primary declaration for a declaration from an AST file.
InClassInitStyle
In-class initialization styles for non-static data members.
@ ICIS_NoInit
No in-class initializer.
Linkage getFormalLinkage(Linkage L)
nullptr
This class represents a compute construct, representing a 'Kind' of ‘parallel’, 'serial',...
LanguageLinkage
Describes the different kinds of language linkage (C++ [dcl.link]) that an entity may have.
StorageClass
Storage classes.
@ TSCS_thread_local
C++11 thread_local.
@ TSCS__Thread_local
C11 _Thread_local.
@ TSCS___thread
GNU __thread.
Linkage
Describes the different kinds of linkage (C++ [basic.link], C99 6.2.2) that an entity may have.
@ VisibleNone
No linkage according to the standard, but is visible from other translation units because of types de...
@ None
No linkage, which means that the entity is unique and can only be referred to from within its scope.
@ UniqueExternal
External linkage within a unique namespace.
@ Internal
Internal linkage, which indicates that the entity can be referred to from within the translation unit...
@ External
External linkage, which indicates that the entity can be referred to from other translation units.
@ Module
Module linkage, which indicates that the entity can be referred to from other translation units withi...
@ SD_Automatic
Automatic storage duration (most local variables).
bool isLambdaCallOperator(const CXXMethodDecl *MD)
@ Result
The result type of a method or function.
const FunctionProtoType * T
@ Template
We are parsing a template declaration.
bool hasArmZT0State(const FunctionDecl *FD)
Returns whether the given FunctionDecl has Arm ZT0 state.
TagTypeKind
The kind of a tag type.
@ Struct
The "struct" keyword.
@ Enum
The "enum" keyword.
@ VarTemplate
The name was classified as a variable template name.
bool isTypeAwareAllocation(TypeAwareAllocationMode Mode)
@ CanPassInRegs
The argument of this type can be passed directly in registers.
bool isLegalForVariable(StorageClass SC)
Checks whether the given storage class is legal for variables.
bool isReservedAtGlobalScope(ReservedIdentifierStatus Status)
Determine whether an identifier is reserved for use as a name at global scope.
bool isExternalFormalLinkage(Linkage L)
TemplateSpecializationKind
Describes the kind of template specialization that a particular template specialization declaration r...
@ TSK_ExplicitInstantiationDefinition
This template specialization was instantiated from a template due to an explicit instantiation defini...
@ TSK_ExplicitInstantiationDeclaration
This template specialization was instantiated from a template due to an explicit instantiation declar...
@ TSK_ExplicitSpecialization
This template specialization was declared or defined by an explicit specialization (C++ [temp....
@ TSK_ImplicitInstantiation
This template specialization was implicitly instantiated from a template.
@ TSK_Undeclared
This template specialization was formed from a template-id but has not yet been declared,...
U cast(CodeGen::Address addr)
@ Enum
The "enum" keyword introduces the elaborated-type-specifier.
bool IsArmStreamingFunction(const FunctionDecl *FD, bool IncludeLocallyStreaming)
Returns whether the given FunctionDecl has an __arm[_locally]_streaming attribute.
@ StartsWithUnderscoreAndIsExternC
bool isExternallyVisible(Linkage L)
ImplicitParamKind
Defines the kind of the implicit parameter: is this an implicit parameter with pointer to 'this',...
@ Other
Other implicit parameter.
Visibility
Describes the different kinds of visibility that a declaration may have.
@ HiddenVisibility
Objects with "hidden" visibility are not seen by the dynamic linker.
@ ProtectedVisibility
Objects with "protected" visibility are seen by the dynamic linker but always dynamically resolve to ...
@ DefaultVisibility
Objects with "default" visibility are seen by the dynamic linker and act like normal objects.
bool isGenericLambdaCallOperatorSpecialization(const CXXMethodDecl *MD)
bool hasArmZAState(const FunctionDecl *FD)
Returns whether the given FunctionDecl has Arm ZA state.
Represents an explicit template argument list in C++, e.g., the "<int>" in "sort<int>".
static const ASTTemplateArgumentListInfo * Create(const ASTContext &C, const TemplateArgumentListInfo &List)
A placeholder type used to construct an empty shell of a decl-derived type that will be filled in lat...
DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspon...
SourceLocation getBeginLoc() const
getBeginLoc - Retrieve the location of the first token.
Structure used to store a statement, the constant value to which it was evaluated (if any),...
bool HasConstantDestruction
Whether this variable is known to have constant destruction.
bool WasEvaluated
Whether this statement was already evaluated.
bool CheckedForSideEffects
bool IsEvaluating
Whether this statement is being evaluated.
bool HasConstantInitialization
Whether this variable is known to have constant initialization.
bool HasICEInit
In C++98, whether the initializer is an ICE.
bool isTypeVisibility() const
unsigned IgnoreExplicitVisibility
Whether explicit visibility attributes should be ignored.
unsigned IgnoreAllVisibility
Whether all visibility should be ignored.
static LVComputationKind forLinkageOnly()
Do an LV computation when we only care about the linkage.
bool isValueVisibility() const
bool isOffset() const
Whether this pointer is currently stored as an offset.
T * get(ExternalASTSource *Source) const
Retrieve the pointer to the AST node that this lazy pointer points to.
Describes how types, statements, expressions, and declarations should be printed.
unsigned SuppressUnwrittenScope
Suppress printing parts of scope specifiers that are never written, e.g., for anonymous namespaces.
unsigned MSVCFormatting
Use whitespace and punctuation like MSVC does.
unsigned AnonymousTagLocations
When printing an anonymous tag name, also print the location of that entity (e.g.,...
unsigned SuppressTagKeyword
Whether type printing should skip printing the tag keyword.
unsigned SuppressInlineNamespace
Suppress printing parts of scope specifiers that correspond to inline namespaces.
const PrintingCallbacks * Callbacks
Callbacks to use to allow the behavior of printing to be customized.
unsigned SuppressTagKeywordInAnonNames
Whether type printing should skip printing the tag keyword of anonymous entities.
TemplateParameterList ** TemplParamLists
A new-allocated array of size NumTemplParamLists, containing pointers to the "outer" template paramet...
unsigned NumTemplParamLists
The number of "outer" template parameter lists.
void setTemplateParameterListsInfo(ASTContext &Context, ArrayRef< TemplateParameterList * > TPLists)
Sets info about "outer" template parameter lists.
The parameters to pass to a usual operator delete.
TypeAwareAllocationMode TypeAwareDelete
AlignedAllocationMode Alignment