74#include "llvm/ADT/DenseMap.h"
75#include "llvm/ADT/STLExtras.h"
76#include "llvm/ADT/SmallPtrSet.h"
77#include "llvm/Support/TimeProfiler.h"
90 std::optional<tok::TokenKind> ExpectedToken) {
93 std::optional<Token> NextToken =
97 if (ExpectedToken && NextToken->getKind() != *ExpectedToken)
113 StringRef Platform) {
115 if (!SDKInfo && !WarnedDarwinSDKInfoMissing) {
116 Diag(Loc, diag::warn_missing_sdksettings_for_availability_checking)
118 WarnedDarwinSDKInfoMissing =
true;
124 if (CachedDarwinSDKInfo)
125 return CachedDarwinSDKInfo->get();
127 PP.getFileManager().getVirtualFileSystem(),
128 PP.getHeaderSearchInfo().getHeaderSearchOpts().Sysroot);
129 if (SDKInfo && *SDKInfo) {
130 CachedDarwinSDKInfo = std::make_unique<DarwinSDKInfo>(std::move(**SDKInfo));
131 return CachedDarwinSDKInfo->get();
134 llvm::consumeError(SDKInfo.takeError());
135 CachedDarwinSDKInfo = std::unique_ptr<DarwinSDKInfo>();
141 std::string InventedName;
142 llvm::raw_string_ostream
OS(InventedName);
145 OS <<
"auto:" << Index + 1;
160 Policy.
Bool = BoolMacro->isObjectLike() &&
161 BoolMacro->getNumTokens() == 1 &&
162 BoolMacro->getReplacementToken(0).is(tok::kw__Bool);
192 FileID PrevFID)
override {
200 if (llvm::timeTraceProfilerEnabled()) {
202 ProfilerStack.push_back(llvm::timeTraceAsyncProfilerBegin(
203 "Source", FE ? FE->
getName() : StringRef(
"<unknown>")));
206 IncludeStack.push_back(IncludeLoc);
207 S->DiagnoseNonDefaultPragmaAlignPack(
214 if (!IncludeStack.empty()) {
215 if (llvm::timeTraceProfilerEnabled())
216 llvm::timeTraceProfilerEnd(ProfilerStack.pop_back_val());
218 S->DiagnoseNonDefaultPragmaAlignPack(
220 IncludeStack.pop_back_val());
236 StringRef Group = Str.substr(2);
238 if (S->PP.getDiagnostics().getDiagnosticIDs()->getDiagnosticsInGroup(
239 Flavor, Group, GroupDiags))
246 S->AnalysisWarnings.getPolicyOverrides();
249 case diag::warn_unreachable:
250 case diag::warn_unreachable_break:
251 case diag::warn_unreachable_return:
252 case diag::warn_unreachable_loop_increment:
253 Override.enableCheckUnreachable =
true;
255 case diag::warn_double_lock:
256 Override.enableThreadSafetyAnalysis =
true;
258 case diag::warn_use_in_invalid_state:
259 Override.enableConsumedAnalysis =
true;
310 LangOpts.getMSPointerToMemberRepresentationMethod()),
320 FullyCheckedComparisonCategories(
331 LoadedExternalKnownNamespaces =
false;
352 OpenMP().InitDataSharingAttributesStack();
354 std::unique_ptr<sema::SemaPPCallbacks> Callbacks =
355 std::make_unique<sema::SemaPPCallbacks>();
356 SemaPPCallbackHandler = Callbacks.get();
357 PP.addPPCallbacks(std::move(Callbacks));
358 SemaPPCallbackHandler->set(*
this);
364void Sema::anchor() {}
376 if (
Context.getTargetInfo().hasBuiltinMSVaList())
377 (void)
Context.getBuiltinMSVaListDecl();
378 (void)
Context.getBuiltinVaListDecl();
381 SC->InitializeSema(*
this);
385 = dyn_cast_or_null<ExternalSemaSource>(
Context.getExternalSource()))
386 ExternalSema->InitializeSema(*
this);
396 if (
Context.getTargetInfo().hasInt128Type() ||
398 Context.getAuxTargetInfo()->hasInt128Type())) {
458 if (OCLCompatibleVersion >= 200) {
487 auto AddPointerSizeDependentTypes = [&]() {
489 auto AtomicIntPtrT =
Context.getAtomicType(
Context.getIntPtrType());
490 auto AtomicUIntPtrT =
Context.getAtomicType(
Context.getUIntPtrType());
491 auto AtomicPtrDiffT =
500 AddPointerSizeDependentTypes();
508 std::vector<QualType> Atomic64BitTypes;
516 Atomic64BitTypes.push_back(AtomicDoubleT);
519 auto AtomicULongT =
Context.getAtomicType(
Context.UnsignedLongTy);
525 AddPointerSizeDependentTypes();
530#define EXT_OPAQUE_TYPE(ExtType, Id, Ext) \
531 if (getOpenCLOptions().isSupported(#Ext, getLangOpts())) { \
532 addImplicitTypedef(#ExtType, Context.Id##Ty); \
534#include "clang/Basic/OpenCLExtensionTypes.def"
537 if (
Context.getTargetInfo().hasAArch64ACLETypes() ||
539 Context.getAuxTargetInfo()->hasAArch64ACLETypes())) {
540#define SVE_TYPE(Name, Id, SingletonId) \
541 addImplicitTypedef(#Name, Context.SingletonId);
542#define NEON_VECTOR_TYPE(Name, BaseType, ElBits, NumEls, VectorKind) \
543 addImplicitTypedef( \
544 #Name, Context.getVectorType(Context.BaseType, NumEls, VectorKind));
545#include "clang/Basic/AArch64ACLETypes.def"
548 if (
Context.getTargetInfo().getTriple().isPPC64()) {
549#define PPC_VECTOR_MMA_TYPE(Name, Id, Size) \
550 addImplicitTypedef(#Name, Context.Id##Ty);
551#include "clang/Basic/PPCTypes.def"
552#define PPC_VECTOR_VSX_TYPE(Name, Id, Size) \
553 addImplicitTypedef(#Name, Context.Id##Ty);
554#include "clang/Basic/PPCTypes.def"
557 if (
Context.getTargetInfo().hasRISCVVTypes()) {
558#define RVV_TYPE(Name, Id, SingletonId) \
559 addImplicitTypedef(Name, Context.SingletonId);
560#include "clang/Basic/RISCVVTypes.def"
563 if (
Context.getTargetInfo().getTriple().isWasm() &&
564 Context.getTargetInfo().hasFeature(
"reference-types")) {
565#define WASM_TYPE(Name, Id, SingletonId) \
566 addImplicitTypedef(Name, Context.SingletonId);
567#include "clang/Basic/WebAssemblyReferenceTypes.def"
570 if (
Context.getTargetInfo().getTriple().isAMDGPU() ||
572 Context.getAuxTargetInfo()->getTriple().isAMDGPU())) {
573#define AMDGPU_TYPE(Name, Id, SingletonId, Width, Align) \
574 addImplicitTypedef(Name, Context.SingletonId);
575#include "clang/Basic/AMDGPUTypes.def"
578 if (
Context.getTargetInfo().hasBuiltinMSVaList()) {
591 "failed to clean up an InstantiatingTemplate?");
605 = dyn_cast_or_null<ExternalSemaSource>(
Context.getExternalSource()))
606 ExternalSema->ForgetSema();
609 std::vector<ConstraintSatisfaction *> Satisfactions;
610 Satisfactions.reserve(SatisfactionCache.size());
611 for (
auto &Node : SatisfactionCache)
612 Satisfactions.push_back(&Node);
613 for (
auto *Node : Satisfactions)
619 OpenMP().DestroyDataSharingAttributesStack();
623 SemaPPCallbackHandler->reset();
627 llvm::function_ref<
void()> Fn) {
628 StackHandler.runWithSufficientStackSpace(Loc, Fn);
632 UnavailableAttr::ImplicitReason reason) {
635 if (!fn)
return false;
642 if (!
Context.getSourceManager().isInSystemHeader(loc))
646 if (fn->
hasAttr<UnavailableAttr>())
return true;
648 fn->
addAttr(UnavailableAttr::CreateImplicit(
Context,
"", reason, loc));
657 assert(E &&
"Cannot use with NULL ptr");
664 if (
auto *Ex = dyn_cast<MultiplexExternalSemaSource>(
ExternalSource.get()))
665 Ex->AddSource(std::move(E));
667 ExternalSource = llvm::makeIntrusiveRefCnt<MultiplexExternalSemaSource>(
672 llvm::errs() <<
"\n*** Semantic Analysis Stats:\n";
682 std::optional<NullabilityKind> ExprNullability = SrcType->
getNullability();
687 std::optional<NullabilityKind> TypeNullability = DstType->
getNullability();
691 Diag(Loc, diag::warn_nullability_lost) << SrcType << DstType;
699 if (SrcFX != DstFX) {
701 if (Diff.shouldDiagnoseConversion(SrcType, SrcFX, DstType, DstFX))
702 Diag(Loc, diag::warn_invalid_add_func_effects) << Diff.effectName();
712 if (Kind != CK_NullToPointer && Kind != CK_NullToMemberPointer)
721 if (
Diags.isIgnored(diag::warn_zero_as_null_pointer_constant,
743 if (
Diags.getSuppressSystemWarnings() &&
744 SourceMgr.isInSystemMacro(MaybeMacroLoc) &&
764 (
"can't implicitly cast glvalue to prvalue with this cast "
769 case CK_LValueToRValue:
770 case CK_ArrayToPointerDecay:
771 case CK_FunctionToPointerDecay:
773 case CK_NonAtomicToAtomic:
774 case CK_HLSLArrayRValue:
775 case CK_HLSLAggregateSplatCast:
780 "can't cast prvalue to glvalue");
786 Kind != CK_NullToPointer && Kind != CK_NullToMemberPointer)
804 if (Kind == CK_ArrayToPointerDecay) {
813 E = Materialized.
get();
824 if (
const auto *DRE = dyn_cast<DeclRefExpr>(E)) {
825 if (
const auto *VD = dyn_cast<VarDecl>(DRE->getDecl())) {
837 if (ImpCast->getCastKind() == Kind && (!BasePath || BasePath->empty())) {
838 ImpCast->setType(Ty);
839 ImpCast->setValueKind(
VK);
861 llvm_unreachable(
"unknown scalar type kind");
872 if (
const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
876 for (
const auto *Spec :
Template->specializations())
883 if (FD->hasBody(DeclToCheck))
889 if (DeclToCheck != FD)
893 if (
const VarDecl *VD = dyn_cast<VarDecl>(D)) {
899 if (VD->isReferenced() &&
900 VD->mightBeUsableInConstantExpressions(SemaRef->
Context))
906 for (
const auto *Spec :
Template->specializations())
919 if (DeclToCheck != VD)
927 if (
const auto *FD = dyn_cast<FunctionDecl>(ND))
928 return FD->isExternC();
954 if (ND->
hasAttr<WeakRefAttr>())
continue;
959 if (ND->
hasAttr<DLLImportAttr>() || ND->
hasAttr<DLLExportAttr>()) {
966 if (
const auto *FD = dyn_cast<FunctionDecl>(ND)) {
969 if (FD->isExternallyVisible() &&
971 !FD->getMostRecentDecl()->isInlined() &&
972 !FD->hasAttr<ExcludeFromExplicitInstantiationAttr>())
974 if (FD->getBuiltinID())
980 if (VD->isExternallyVisible() &&
982 !VD->getMostRecentDecl()->isInline() &&
983 !VD->hasAttr<ExcludeFromExplicitInstantiationAttr>())
988 if (VD->isKnownToBeDefined())
992 Undefined.push_back(std::make_pair(ND, UndefinedUse.second));
1022 ? diag::ext_undefined_internal_type
1023 : diag::err_undefined_internal_type)
1029 bool IsImplicitBase =
false;
1030 if (
const auto *BaseD = dyn_cast<FunctionDecl>(VD)) {
1031 auto *DVAttr = BaseD->getAttr<OMPDeclareVariantAttr>();
1032 if (DVAttr && !DVAttr->getTraitInfo().isExtensionActive(
1033 llvm::omp::TraitProperty::
1034 implementation_extension_disable_implicit_base)) {
1037 IsImplicitBase = BaseD->isImplicit() &&
1038 Func->getIdentifier()->isMangledOpenMPVariantName();
1044 }
else if (
auto *FD = dyn_cast<FunctionDecl>(VD)) {
1046 assert(FD->getMostRecentDecl()->isInlined() &&
1047 "used object requires definition but isn't inline or internal?");
1051 assert(
cast<VarDecl>(VD)->getMostRecentDecl()->isInline() &&
1052 "used var requires definition but isn't inline or internal?");
1056 S.
Diag(UseLoc, diag::note_used_here);
1066 for (
auto &WeakID : WeakIDs)
1080 RecordCompleteMap::iterator
Cache = MNCComplete.find(RD);
1081 if (
Cache != MNCComplete.end())
1082 return Cache->second;
1090 Complete = M->isDefined() || M->isDefaulted() ||
1097 Complete = !F->getTemplatedDecl()->isLateTemplateParsed() &&
1098 F->getTemplatedDecl()->isDefined();
1099 else if (
const CXXRecordDecl *R = dyn_cast<CXXRecordDecl>(*I)) {
1100 if (R->isInjectedClassName())
1102 if (R->hasDefinition())
1123 RecordCompleteMap::iterator
Cache = RecordsComplete.find(RD);
1124 if (
Cache != RecordsComplete.end())
1125 return Cache->second;
1133 if (
CXXRecordDecl *FriendD = TSI->getType()->getAsCXXRecordDecl())
1140 dyn_cast<FunctionDecl>((*I)->getFriendDecl()))
1156 if (TD->isReferenced())
1158 Diag(TD->getLocation(), diag::warn_unused_local_typedef)
1167 HandleStartOfHeaderUnit();
1174 llvm::TimeTraceScope TimeScope(
"PerformPendingInstantiations");
1211 for (
auto PII : Pending)
1212 if (
auto Func = dyn_cast<FunctionDecl>(PII.first))
1213 Func->setInstantiationIsPending(
true);
1215 Pending.begin(), Pending.end());
1219 llvm::TimeTraceScope TimeScope(
"PerformPendingInstantiations");
1226 "end of TU template instantiation should not create more "
1227 "late-parsed templates");
1232 &&
"reached end of translation unit with a pool attached?");
1236 if (
PP.isCodeCompletionEnabled())
1245 !ModuleScopes.empty() && ModuleScopes.back().Module->Kind ==
1262 if (
LangOpts.PCHInstantiateTemplates) {
1263 llvm::TimeTraceScope TimeScope(
"PerformPendingInstantiations");
1287 return ShouldRemoveFromUnused(this, DD);
1293 if (!
PP.isIncrementalProcessingEnabled())
1301 if (WeakIDs.second.empty())
1306 if (PrevDecl !=
nullptr &&
1308 for (
const auto &WI : WeakIDs.second)
1309 Diag(WI.getLocation(), diag::warn_attribute_wrong_decl_type)
1312 for (
const auto &WI : WeakIDs.second)
1313 Diag(WI.getLocation(), diag::warn_weak_identifier_undeclared)
1321 if (!
Diags.hasErrorOccurred()) {
1328 if (!ModuleScopes.empty() && ModuleScopes.back().Module->Kind ==
1330 Diag(ModuleScopes.back().BeginLoc,
1331 diag::err_module_declaration_missing_after_global_module_introducer);
1343 diag::err_module_declaration_missing);
1349 auto DoesModNeedInit = [
this](
Module *M) {
1352 for (
auto [Exported, _] : M->Exports)
1353 if (Exported->isNamedModuleInterfaceHasInit())
1362 CurrentModule->NamedModuleHasInit =
1363 DoesModNeedInit(CurrentModule) ||
1364 llvm::any_of(CurrentModule->submodules(), DoesModNeedInit);
1370 if (
Module *CurrentModule =
PP.getCurrentModule()) {
1371 ModuleMap &ModMap =
PP.getHeaderSearchInfo().getModuleMap();
1374 Stack.push_back(CurrentModule);
1375 while (!Stack.empty()) {
1376 Module *Mod = Stack.pop_back_val();
1388 Stack.append(SubmodulesRange.begin(), SubmodulesRange.end());
1400 if (!PendingInlineFuncDecls.empty()) {
1401 for (
auto *D : PendingInlineFuncDecls) {
1402 if (
auto *FD = dyn_cast<FunctionDecl>(D)) {
1403 bool DefInPMF =
false;
1404 if (
auto *FDD = FD->getDefinition()) {
1405 DefInPMF = FDD->getOwningModule()->isPrivateModule();
1409 Diag(FD->getLocation(), diag::err_export_inline_not_defined)
1414 Diag(ModuleScopes.back().BeginLoc,
1415 diag::note_private_module_fragment);
1419 PendingInlineFuncDecls.clear();
1434 for (TentativeDefinitionsType::iterator
1450 llvm::APInt One(
Context.getTypeSize(
Context.getSizeType()),
true);
1455 diag::err_tentative_def_incomplete_type))
1466 unsigned DiagID = diag::warn_default_init_const_unsafe;
1469 DiagID = diag::warn_default_init_const;
1471 bool EmitCppCompat = !
Diags.isIgnored(
1472 diag::warn_cxx_compat_hack_fake_diagnostic_do_not_emit,
1480 Consumer.CompleteTentativeDefinition(VD);
1486 if (
PP.isIncrementalProcessingEnabled())
1491 if (!D || D->isInvalidDecl() || D->getPreviousDecl() || !D->isUsed())
1494 Consumer.CompleteExternalDeclaration(D);
1506 for (UnusedFileScopedDeclsType::iterator
1513 if (
const FunctionDecl *FD = dyn_cast<FunctionDecl>(*I)) {
1515 if (!FD->hasBody(DiagD))
1522 DiagRange.
setEnd(ASTTAL->RAngleLoc);
1526 << DiagD << DiagRange;
1528 if (FD->getStorageClass() ==
SC_Static &&
1529 !FD->isInlineSpecified() &&
1531 SourceMgr.getExpansionLoc(FD->getLocation())))
1533 diag::warn_unneeded_static_internal_decl)
1534 << DiagD << DiagRange;
1537 << 0 << DiagD << DiagRange;
1539 }
else if (!FD->isTargetMultiVersion() ||
1540 FD->isTargetMultiVersionDefault()) {
1541 if (FD->getDescribedFunctionTemplate())
1543 << 0 << DiagD << DiagRange;
1546 ? diag::warn_unused_member_function
1547 : diag::warn_unused_function)
1548 << DiagD << DiagRange;
1555 if (
const auto *VTSD = dyn_cast<VarTemplateSpecializationDecl>(DiagD)) {
1557 VTSD->getTemplateArgsAsWritten())
1558 DiagRange.
setEnd(ASTTAL->RAngleLoc);
1562 << 1 << DiagD << DiagRange;
1565 << 1 << DiagD << DiagRange;
1569 !
PP.getLangOpts().IsHeaderFile)
1571 << DiagD << DiagRange;
1574 << DiagD << DiagRange;
1588 const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(D->getDeclContext());
1591 Diag(D->getLocation(), diag::warn_unused_private_field)
1592 << D->getDeclName();
1600 for (
const auto &DeletedFieldInfo :
DeleteExprs) {
1602 AnalyzeDeleteExprMismatch(DeletedFieldInfo.first,
DeleteExprLoc.first,
1610 if (
Context.hasAnyFunctionEffects())
1617 "Didn't unmark var as having its initializer parsed");
1619 if (!
PP.isIncrementalProcessingEnabled())
1622 checkExposure(
Context.getTranslationUnitDecl());
1652 return dyn_cast<FunctionDecl>(DC);
1659 return dyn_cast<ObjCMethodDecl>(DC);
1684 if (std::optional<TemplateDeductionInfo *> Info =
isSFINAEContext()) {
1697 if (*Info && !(*Info)->hasSFINAEDiagnostic()) {
1698 (*Info)->addSFINAEDiagnostic(DiagInfo.
getLocation(),
1702 Diags.setLastDiagnosticIgnored(
true);
1720 if (*Info && !(*Info)->hasSFINAEDiagnostic()) {
1721 (*Info)->addSFINAEDiagnostic(DiagInfo.
getLocation(),
1725 Diags.setLastDiagnosticIgnored(
true);
1728 Diag(Loc, diag::warn_cxx98_compat_sfinae_access_control);
1732 Diags.setLastDiagnosticIgnored(
true);
1744 (*Info)->addSuppressedDiagnostic(
1747 if (!
Diags.getDiagnosticIDs()->isNote(DiagID))
1749 (*Info)->addSuppressedDiagnostic(Loc, std::move(PD));
1754 Diags.setLastDiagnosticIgnored(
true);
1764 if (!
Diags.EmitDiagnostic(DB))
1771 if (!
Diags.getDiagnosticIDs()->isNote(DiagID))
1778 auto *FD = dyn_cast<FunctionDecl>(
CurContext);
1784 for (
auto PDAt : Loc->second) {
1785 if (
Diags.getDiagnosticIDs()->isDefaultMappingAsError(
1786 PDAt.second.getDiagID()))
1801 S.
Diags.
Report(FnIt->second.Loc, diag::note_called_by));
1802 Builder << FnIt->second.FD;
1836class DeferredDiagnosticsEmitter
1839 typedef UsedDeclVisitor<DeferredDiagnosticsEmitter> Inherited;
1842 llvm::SmallPtrSet<CanonicalDeclPtr<Decl>, 4> InUsePath;
1845 llvm::SmallVector<CanonicalDeclPtr<FunctionDecl>, 4> UsePath;
1851 llvm::SmallPtrSet<CanonicalDeclPtr<Decl>, 4> DoneMap[2];
1854 bool ShouldEmitRootNode;
1859 unsigned InOMPDeviceContext;
1861 DeferredDiagnosticsEmitter(Sema &S)
1862 : Inherited(S), ShouldEmitRootNode(
false), InOMPDeviceContext(0) {}
1864 bool shouldVisitDiscardedStmt()
const {
return false; }
1866 void VisitOMPTargetDirective(OMPTargetDirective *Node) {
1867 ++InOMPDeviceContext;
1868 Inherited::VisitOMPTargetDirective(Node);
1869 --InOMPDeviceContext;
1872 void visitUsedDecl(SourceLocation Loc, Decl *D) {
1875 if (
auto *FD = dyn_cast<FunctionDecl>(D))
1878 Inherited::visitUsedDecl(Loc, D);
1882 void VisitCalledDestructors(CXXDestructorDecl *DD) {
1883 const CXXRecordDecl *RD = DD->
getParent();
1886 for (
const FieldDecl *FD : RD->
fields()) {
1887 QualType FT = FD->getType();
1890 (ClassDecl->isBeingDefined() || ClassDecl->isCompleteDefinition()))
1891 if (CXXDestructorDecl *MemberDtor = ClassDecl->getDestructor())
1892 asImpl().visitUsedDecl(MemberDtor->getLocation(), MemberDtor);
1896 for (
const auto &Base : RD->
bases()) {
1897 QualType BaseType =
Base.getType();
1900 (BaseDecl->isBeingDefined() || BaseDecl->isCompleteDefinition()))
1901 if (CXXDestructorDecl *BaseDtor = BaseDecl->getDestructor())
1902 asImpl().visitUsedDecl(BaseDtor->getLocation(), BaseDtor);
1906 void VisitDeclStmt(DeclStmt *DS) {
1908 for (
auto *D : DS->
decls())
1909 if (
auto *VD = dyn_cast<VarDecl>(D))
1910 if (VD->isThisDeclarationADefinition() &&
1911 VD->needsDestruction(S.Context)) {
1912 QualType VT = VD->getType();
1914 ClassDecl && (ClassDecl->isBeingDefined() ||
1915 ClassDecl->isCompleteDefinition()))
1916 if (CXXDestructorDecl *Dtor = ClassDecl->getDestructor())
1917 asImpl().visitUsedDecl(Dtor->getLocation(), Dtor);
1920 Inherited::VisitDeclStmt(DS);
1922 void checkVar(VarDecl *VD) {
1924 "Should only check file-scope variables");
1926 auto DevTy = OMPDeclareTargetDeclAttr::getDeviceType(VD);
1927 bool IsDev = DevTy && (*DevTy == OMPDeclareTargetDeclAttr::DT_NoHost ||
1928 *DevTy == OMPDeclareTargetDeclAttr::DT_Any);
1930 ++InOMPDeviceContext;
1933 --InOMPDeviceContext;
1937 void checkFunc(SourceLocation Loc, FunctionDecl *FD) {
1938 auto &Done = DoneMap[InOMPDeviceContext > 0 ? 1 : 0];
1939 FunctionDecl *Caller = UsePath.empty() ?
nullptr : UsePath.back();
1940 if ((!ShouldEmitRootNode && !S.getLangOpts().OpenMP && !Caller) ||
1941 S.shouldIgnoreInHostDeviceCheck(FD) || InUsePath.count(FD))
1944 if (Caller && S.LangOpts.OpenMP && UsePath.size() == 1 &&
1945 (ShouldEmitRootNode || InOMPDeviceContext))
1946 S.OpenMP().finalizeOpenMPDelayedAnalysis(Caller, FD, Loc);
1948 S.CUDA().DeviceKnownEmittedFns[FD] = {Caller, Loc};
1952 if (ShouldEmitRootNode || InOMPDeviceContext)
1953 emitDeferredDiags(FD, Caller);
1956 if (!Done.insert(FD).second)
1958 InUsePath.insert(FD);
1959 UsePath.push_back(FD);
1960 if (
auto *S = FD->
getBody()) {
1963 if (CXXDestructorDecl *Dtor = dyn_cast<CXXDestructorDecl>(FD))
1964 asImpl().VisitCalledDestructors(Dtor);
1966 InUsePath.erase(FD);
1969 void checkRecordedDecl(Decl *D) {
1970 if (
auto *FD = dyn_cast<FunctionDecl>(D)) {
1971 ShouldEmitRootNode = S.getEmissionStatus(FD,
true) ==
1972 Sema::FunctionEmissionStatus::Emitted;
1973 checkFunc(SourceLocation(), FD);
1979 void emitDeferredDiags(FunctionDecl *FD,
bool ShowCallStack) {
1980 auto It = S.DeviceDeferredDiags.find(FD);
1981 if (It == S.DeviceDeferredDiags.end())
1983 bool HasWarningOrError =
false;
1984 bool FirstDiag =
true;
1987 if (S.Diags.hasFatalErrorOccurred())
1989 const SourceLocation &Loc = PDAt.first;
1990 const PartialDiagnostic &PD = PDAt.second;
1991 HasWarningOrError |=
1992 S.getDiagnostics().getDiagnosticLevel(PD.
getDiagID(), Loc) >=
1995 DiagnosticBuilder Builder(S.Diags.Report(Loc, PD.
getDiagID()));
2000 if (FirstDiag && HasWarningOrError && ShowCallStack) {
2018 DeferredDiagnosticsEmitter DDE(*
this);
2020 DDE.checkRecordedDecl(D);
2047Sema::SemaDiagnosticBuilder::SemaDiagnosticBuilder(Kind K,
SourceLocation Loc,
2051 : S(S), Loc(Loc), DiagID(DiagID), Fn(Fn),
2052 ShowCallStack(K == K_ImmediateWithCallStack || K == K_Deferred) {
2057 case K_ImmediateWithCallStack:
2058 ImmediateDiag.emplace(
2059 ImmediateDiagBuilder(S.
Diags.
Report(Loc, DiagID), S, DiagID));
2062 assert(Fn &&
"Must have a function to attach the deferred diag to.");
2064 PartialDiagId.emplace(
Diags.size());
2070Sema::SemaDiagnosticBuilder::SemaDiagnosticBuilder(SemaDiagnosticBuilder &&D)
2071 : S(D.S), Loc(D.Loc), DiagID(D.DiagID),
Fn(D.
Fn),
2072 ShowCallStack(D.ShowCallStack), ImmediateDiag(D.ImmediateDiag),
2073 PartialDiagId(D.PartialDiagId) {
2075 D.ShowCallStack =
false;
2076 D.ImmediateDiag.reset();
2077 D.PartialDiagId.reset();
2080Sema::SemaDiagnosticBuilder::~SemaDiagnosticBuilder() {
2081 if (ImmediateDiag) {
2084 ImmediateDiag.reset();
2086 if (ShowCallStack) {
2087 bool IsWarningOrError = S.getDiagnostics().getDiagnosticLevel(
2089 if (IsWarningOrError)
2093 assert((!PartialDiagId || ShowCallStack) &&
2094 "Must always show call stack for deferred diags.");
2098Sema::SemaDiagnosticBuilder
2102 return LangOpts.OpenMPIsTargetDevice
2103 ?
OpenMP().diagIfOpenMPDeviceCode(Loc, DiagID, FD)
2104 :
OpenMP().diagIfOpenMPHostCode(Loc, DiagID, FD);
2106 return getLangOpts().CUDAIsDevice ?
CUDA().DiagIfDeviceCode(Loc, DiagID)
2107 :
CUDA().DiagIfHostCode(Loc, DiagID);
2110 return SYCL().DiagIfDeviceCode(Loc, DiagID);
2125 llvm::DenseSet<QualType> Visited;
2126 SYCL().deepTypeCheckForDevice(Loc, Visited, D);
2133 if (
const auto *MD = dyn_cast<CXXMethodDecl>(
C)) {
2134 if ((MD->isCopyAssignmentOperator() || MD->isMoveAssignmentOperator()) &&
2138 if (
const auto *Ctor = dyn_cast<CXXConstructorDecl>(MD))
2139 if (Ctor->isCopyOrMoveConstructor() && Ctor->isTrivial())
2147 : dyn_cast_or_null<FunctionDecl>(D);
2149 auto CheckDeviceType = [&](
QualType Ty) {
2154 if (!
Context.getTargetInfo().hasBitIntType()) {
2161 <<
false << 0 <<
false
2162 << Ty <<
Context.getTargetInfo().getTriple().str();
2169 bool LongDoubleMismatched =
false;
2171 const llvm::fltSemantics &Sem =
Context.getFloatTypeSemantics(Ty);
2172 if ((&Sem != &llvm::APFloat::PPCDoubleDouble() &&
2173 !
Context.getTargetInfo().hasFloat128Type()) ||
2174 (&Sem == &llvm::APFloat::PPCDoubleDouble() &&
2175 !
Context.getTargetInfo().hasIbm128Type()))
2176 LongDoubleMismatched =
true;
2183 !
Context.getTargetInfo().hasInt128Type()) ||
2186 LongDoubleMismatched) {
2195 <<
static_cast<unsigned>(
Context.getTypeSize(Ty)) << Ty
2196 <<
false <<
Context.getTargetInfo().getTriple().str()) {
2198 D->setInvalidDecl();
2201 targetDiag(D->getLocation(), diag::note_defined_here, FD) << D;
2205 auto CheckType = [&](
QualType Ty,
bool IsRetTy =
false) {
2209 CheckDeviceType(Ty);
2220 if (
Diag(Loc, PD) <<
false << 0 << Ty
2224 D->setInvalidDecl();
2227 targetDiag(D->getLocation(), diag::note_defined_here, FD) << D;
2230 bool IsDouble = UnqualTy ==
Context.DoubleTy;
2231 bool IsFloat = UnqualTy ==
Context.FloatTy;
2232 if (IsRetTy && !TI.
hasFPReturn() && (IsDouble || IsFloat)) {
2239 if (
Diag(Loc, PD) <<
false << 0 << Ty <<
true
2242 D->setInvalidDecl();
2245 targetDiag(D->getLocation(), diag::note_defined_here, FD) << D;
2249 llvm::StringMap<bool> CallerFeatureMap;
2250 Context.getFunctionFeatureMap(CallerFeatureMap, FD);
2251 RISCV().checkRVVTypeSupport(Ty, Loc, D, CallerFeatureMap);
2256 llvm::StringMap<bool> CallerFeatureMap;
2257 Context.getFunctionFeatureMap(CallerFeatureMap, FD);
2260 Diag(Loc, diag::err_sve_vector_in_non_sve_target) << Ty;
2263 Diag(Loc, diag::err_sve_vector_in_non_streaming_function) << Ty;
2274 Diag(Loc, diag::err_sve_fixed_vector_in_streaming_function)
2277 if (FTy->getAArch64SMEAttributes() &
2279 Diag(Loc, diag::err_sve_fixed_vector_in_streaming_function)
2287 if (
const auto *FPTy = dyn_cast<FunctionProtoType>(Ty)) {
2288 for (
const auto &ParamTy : FPTy->param_types())
2290 CheckType(FPTy->getReturnType(),
true);
2292 if (
const auto *FNPTy = dyn_cast<FunctionNoProtoType>(Ty))
2293 CheckType(FNPTy->getReturnType(),
true);
2341 OpenMP().pushOpenMPFunctionRegion();
2346 BlockScope,
Block));
2359 LSI->AutoTemplateParameterDepth = Depth;
2363 "Remove assertion if intentionally called in a non-lambda context.");
2390 if (!Result.isInvalid()) {
2410 VarDecl *VD = BC.getVariable();
2411 if (VD->
hasAttr<BlocksAttr>()) {
2420 QualType CapType = BC.getVariable()->getType();
2461 for (
const auto &PUD :
Scope->PossiblyUnreachableDiags)
2462 Diag(PUD.Loc, PUD.PD);
2469 if (!
Scope->isPlainFunction())
2470 Self->CapturingFunctionScopes--;
2472 if (
Scope->isPlainFunction() && !Self->CachedFunctionScope)
2473 Self->CachedFunctionScope.reset(
Scope);
2485 assert(!CurFunction->
CompoundScopes.empty() &&
"mismatched push/pop");
2519 if (CurBSI && CurBSI->TheDecl &&
2543 if (
auto *CSI = dyn_cast<CapturingScopeInfo>(
Scope)) {
2544 auto *LSI = dyn_cast<LambdaScopeInfo>(CSI);
2545 if (LSI && LSI->Lambda && !LSI->Lambda->Encloses(
CurContext) &&
2546 LSI->AfterParameterList) {
2564 if (IgnoreNonLambdaCapturingScope) {
2571 auto *CurLSI = dyn_cast<LambdaScopeInfo>(*I);
2572 if (CurLSI && CurLSI->Lambda && CurLSI->CallOperator &&
2573 !CurLSI->Lambda->Encloses(
CurContext) && CurLSI->AfterParameterList) {
2586 return (LSI->TemplateParams.size() ||
2587 LSI->GLTemplateParameterList) ? LSI :
nullptr;
2594 if (!
LangOpts.RetainCommentsFromSystemHeaders &&
2601 StringRef MagicMarkerText;
2604 MagicMarkerText =
"///<";
2607 MagicMarkerText =
"/**<";
2612 Diag(Comment.
getBegin(), diag::warn_splice_in_doxygen_comment);
2615 llvm_unreachable(
"if this is an almost Doxygen comment, "
2616 "it should be ordinary");
2618 Diag(Comment.
getBegin(), diag::warn_not_a_doxygen_trailing_member_comment) <<
2626char ExternalSemaSource::ID;
2636 llvm::MapVector<NamedDecl *, SourceLocation> &
Undefined) {}
2647 bool IsMemExpr =
false;
2657 Overloads = dyn_cast<UnresolvedMemberExpr>(E.
IgnoreParens());
2666 DeclsEnd = Overloads->
decls_end(); it != DeclsEnd; ++it) {
2674 = dyn_cast<FunctionDecl>((*it)->getUnderlyingDecl())) {
2675 if (OverloadDecl->getMinRequiredArguments() == 0) {
2677 (!IsMV || !(OverloadDecl->isCPUDispatchMultiVersion() ||
2678 OverloadDecl->isCPUSpecificMultiVersion()))) {
2682 ZeroArgCallReturnTy = OverloadDecl->getReturnType();
2683 IsMV = OverloadDecl->isCPUDispatchMultiVersion() ||
2684 OverloadDecl->isCPUSpecificMultiVersion();
2692 return !ZeroArgCallReturnTy.
isNull();
2709 if (
const auto *DeclRef = dyn_cast<DeclRefExpr>(E.
IgnoreParens())) {
2710 if (
const auto *Fun = dyn_cast<FunctionDecl>(DeclRef->getDecl())) {
2711 if (Fun->getMinRequiredArguments() == 0)
2712 ZeroArgCallReturnTy = Fun->getReturnType();
2727 if (
const auto *FPT = dyn_cast_if_present<FunctionProtoType>(FunTy)) {
2728 if (FPT->getNumParams() == 0)
2749 unsigned ShownOverloads = 0;
2750 unsigned SuppressedOverloads = 0;
2752 DeclsEnd = Overloads.
end(); It != DeclsEnd; ++It) {
2754 ++SuppressedOverloads;
2758 const NamedDecl *Fn = (*It)->getUnderlyingDecl();
2760 if (
const auto *FD = Fn->getAsFunction()) {
2762 !FD->
getAttr<TargetAttr>()->isDefaultVersion())
2765 !FD->
getAttr<TargetVersionAttr>()->isDefaultVersion())
2768 S.
Diag(Fn->getLocation(), diag::note_possible_target_of_call);
2774 if (SuppressedOverloads)
2775 S.
Diag(FinalNoteLoc, diag::note_ovl_too_many_candidates)
2776 << SuppressedOverloads;
2781 bool (*IsPlausibleResult)(
QualType)) {
2782 if (!IsPlausibleResult)
2787 DeclsEnd = Overloads.
end(); It != DeclsEnd; ++It) {
2789 QualType OverloadResultTy = OverloadDecl->getReturnType();
2790 if (IsPlausibleResult(OverloadResultTy))
2791 PlausibleOverloads.
addDecl(It.getDecl());
2809 if (
const auto *UO = dyn_cast<UnaryOperator>(E))
2810 E = UO->getSubExpr();
2812 if (
const auto *ULE = dyn_cast<UnresolvedLookupExpr>(E)) {
2813 if (ULE->getNumDecls() == 0)
2816 const NamedDecl *ND = *ULE->decls_begin();
2817 if (
const auto *FD = dyn_cast<FunctionDecl>(ND))
2825 bool (*IsPlausibleResult)(
QualType)) {
2835 !ZeroArgCallTy.
isNull() &&
2836 (!IsPlausibleResult || IsPlausibleResult(ZeroArgCallTy))) {
2843 Diag(Loc, PD) << 1 << IsMV << Range
2854 Range.getEnd().getLocWithOffset(1));
2858 if (!ForceComplain)
return false;
2861 Diag(Loc, PD) << 0 << IsMV << Range;
2870 Ident_super = &
Context.Idents.get(
"super");
2876 unsigned OpenMPCaptureLevel) {
2880 ?
OpenMP().getOpenMPNestingLevel()
2882 OpenMPCaptureLevel);
2883 CSI->ReturnType =
Context.VoidTy;
2895const llvm::MapVector<FieldDecl *, Sema::DeleteLocs> &
2903 OldEvalMethod(S.
PP.getCurrentFPEvalMethod()),
2904 OldFPPragmaLocation(S.
PP.getLastFPEvalPragmaLocation()) {}
2907 S.CurFPFeatures = OldFPFeaturesState;
2908 S.FpPragmaStack.CurrentValue = OldOverrides;
2909 S.PP.setCurrentFPEvalMethod(OldFPPragmaLocation, OldEvalMethod);
2914 "can only be called for qualified names");
2924 bool Result = llvm::all_of(LR, [](
Decl *Dcl) {
2925 if (
NamedDecl *ND = dyn_cast<NamedDecl>(Dcl)) {
2926 ND = ND->getUnderlyingDecl();
2938 auto *A = AnnotateAttr::Create(
Context, Annot, Args.data(), Args.size(), CI);
2955 for (
unsigned Idx = 1; Idx < AL.
getNumArgs(); Idx++) {
Defines the clang::ASTContext interface.
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the clang::Expr interface and subclasses for C++ expressions.
Implements a partial diagnostic that can be emitted anwyhere in a DiagnosticBuilder stream.
Defines the clang::Preprocessor interface.
This file declares semantic analysis functions specific to AMDGPU.
This file declares semantic analysis functions specific to ARM.
This file declares semantic analysis functions specific to AVR.
This file declares semantic analysis functions specific to BPF.
This file declares semantic analysis for CUDA constructs.
This file declares facilities that support code completion.
This file declares semantic analysis for DirectX constructs.
This file declares semantic analysis for HLSL constructs.
This file declares semantic analysis functions specific to Hexagon.
This file declares semantic analysis functions specific to LoongArch.
This file declares semantic analysis functions specific to M68k.
This file declares semantic analysis functions specific to MIPS.
This file declares semantic analysis functions specific to MSP430.
This file declares semantic analysis functions specific to NVPTX.
This file declares semantic analysis for Objective-C.
This file declares semantic analysis for OpenACC constructs and clauses.
This file declares semantic analysis routines for OpenCL.
This file declares semantic analysis for OpenMP constructs and clauses.
This file declares semantic analysis functions specific to PowerPC.
This file declares semantic analysis for expressions involving.
This file declares semantic analysis functions specific to RISC-V.
This file declares semantic analysis for SPIRV constructs.
This file declares semantic analysis for SYCL constructs.
This file declares semantic analysis functions specific to Swift.
This file declares semantic analysis functions specific to SystemZ.
This file declares semantic analysis functions specific to Wasm.
This file declares semantic analysis functions specific to X86.
static void checkEscapingByref(VarDecl *VD, Sema &S)
static bool IsCPUDispatchCPUSpecificMultiVersion(const Expr *E)
llvm::DenseMap< const CXXRecordDecl *, bool > RecordCompleteMap
static bool IsCallableWithAppend(const Expr *E)
Determine whether the given expression can be called by just putting parentheses after it.
static bool MethodsAndNestedClassesComplete(const CXXRecordDecl *RD, RecordCompleteMap &MNCComplete)
Returns true, if all methods and nested classes of the given CXXRecordDecl are defined in this transl...
static void noteOverloads(Sema &S, const UnresolvedSetImpl &Overloads, const SourceLocation FinalNoteLoc)
Give notes for a set of overloads.
static bool isFunctionOrVarDeclExternC(const NamedDecl *ND)
static void markEscapingByrefs(const FunctionScopeInfo &FSI, Sema &S)
static bool ShouldRemoveFromUnused(Sema *SemaRef, const DeclaratorDecl *D)
Used to prune the decls of Sema's UnusedFileScopedDecls vector.
static void emitCallStackNotes(Sema &S, const FunctionDecl *FD)
static void notePlausibleOverloads(Sema &S, SourceLocation Loc, const UnresolvedSetImpl &Overloads, bool(*IsPlausibleResult)(QualType))
static void checkUndefinedButUsed(Sema &S)
checkUndefinedButUsed - Check for undefined objects with internal linkage or that are inline.
static bool IsRecordFullyDefined(const CXXRecordDecl *RD, RecordCompleteMap &RecordsComplete, RecordCompleteMap &MNCComplete)
Returns true, if the given CXXRecordDecl is fully defined in this translation unit,...
Defines the SourceManager interface.
Allows QualTypes to be sorted and hence used in maps and sets.
TypePropertyCache< Private > Cache
ASTConsumer - This is an abstract interface that should be implemented by clients that read ASTs.
virtual ASTMutationListener * GetASTMutationListener()
If the consumer is interested in entities getting modified after their initial creation,...
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
LangAS getDefaultOpenCLPointeeAddrSpace()
Returns default address space based on OpenCL version and enabled features.
void setBlockVarCopyInit(const VarDecl *VD, Expr *CopyExpr, bool CanThrow)
Set the copy initialization expression of a block var decl.
An abstract interface that should be implemented by listeners that want to be notified when an AST en...
Attr - This represents one attribute.
A class which contains all the information about a particular captured value.
Represents a block literal declaration, which is like an unnamed FunctionDecl.
ArrayRef< Capture > captures() const
SourceLocation getCaretLocation() const
bool doesNotEscape() const
Represents a C++ destructor within a class.
CXXFieldCollector - Used to keep track of CXXFieldDecls during parsing of C++ classes.
Represents a static or instance method of a struct/union/class.
const CXXRecordDecl * getParent() const
Return the parent of this method declaration, which is the class in which this method is defined.
An iterator over the friend declarations of a class.
Represents a C++ struct/union/class.
friend_iterator friend_begin() const
CXXDestructorDecl * getDestructor() const
Returns the destructor decl for this class.
friend_iterator friend_end() const
bool isSet() const
Deprecated.
Represents the body of a CapturedStmt, and serves as its DeclContext.
ImplicitParamDecl * getContextParam() const
Retrieve the parameter containing captured variables.
static const char * getCastKindName(CastKind CK)
Abstract interface for a consumer of code-completion information.
The information about the darwin SDK that was used during this compilation.
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.
decl_iterator decls_end() const
DeclContext * getPrimaryContext()
getPrimaryContext - There may be many different declarations of the same entity (including forward de...
decl_iterator decls_begin() const
A reference to a declared variable, function, enum, etc.
FriendSpecified isFriendSpecified() const
Decl - This represents one declaration (or definition), e.g.
void setInvalidDecl(bool Invalid=true)
setInvalidDecl - Indicates the Decl had a semantic error.
bool isReferenced() const
Whether any declaration of this entity was referenced.
bool isInvalidDecl() const
SourceLocation getLocation() const
bool isUsed(bool CheckUsedAttr=true) const
Whether any (re-)declaration of the entity was used, meaning that a definition is required.
The name of a declaration.
Represents a ValueDecl that came out of a declarator.
Information about one declarator, including the parsed type information and the identifier.
const DeclSpec & getDeclSpec() const
getDeclSpec - Return the declaration-specifier that this declarator was declared with.
SourceLocation getBeginLoc() const LLVM_READONLY
const CXXScopeSpec & getCXXScopeSpec() const
getCXXScopeSpec - Return the C++ scope specifier (global scope or nested-name-specifier) that is part...
const IdentifierInfo * getIdentifier() const
A little helper class used to produce diagnostics.
static SFINAEResponse getDiagnosticSFINAEResponse(unsigned DiagID)
Determines whether the given built-in diagnostic ID is for an error that is suppressed if it occurs d...
@ SFINAE_SubstitutionFailure
The diagnostic should not be reported, but it should cause template argument deduction to fail.
@ SFINAE_Suppress
The diagnostic should be suppressed entirely.
@ SFINAE_AccessControl
The diagnostic is an access-control diagnostic, which will be substitution failures in some contexts ...
@ SFINAE_Report
The diagnostic should be reported.
A little helper class (which is basically a smart pointer that forwards info from DiagnosticsEngine a...
const SourceLocation & getLocation() const
DiagnosticBuilder Report(SourceLocation Loc, unsigned DiagID)
Issue the message to the client.
void overloadCandidatesShown(unsigned N)
Call this after showing N overload candidates.
unsigned getNumOverloadCandidatesToShow() const
When a call or operator fails, print out up to this many candidate overloads as suggestions.
Level
The level of the diagnostic, after it has been through mapping.
bool hasFatalErrorOccurred() const
RAII object that enters a new expression evaluation context.
This represents one expression.
bool isTypeDependent() const
Determines whether the type of this expression depends on.
Expr * IgnoreParenImpCasts() LLVM_READONLY
Skip past any parentheses and implicit casts which might surround this expression until reaching a fi...
Expr * IgnoreImplicit() LLVM_READONLY
Skip past any implicit AST nodes which might surround this expression until reaching a fixed point.
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
An abstract interface that should be implemented by external AST sources that also provide informatio...
virtual void updateOutOfDateSelector(Selector Sel)
Load the contents of the global method pool for a given selector if necessary.
virtual void ReadMethodPool(Selector Sel)
Load the contents of the global method pool for a given selector.
virtual void ReadUndefinedButUsed(llvm::MapVector< NamedDecl *, SourceLocation > &Undefined)
Load the set of used but not defined functions or variables with internal linkage,...
~ExternalSemaSource() override
virtual void ReadKnownNamespaces(SmallVectorImpl< NamespaceDecl * > &Namespaces)
Load the set of namespaces that are known to the external source, which will be used during typo corr...
virtual void ReadMismatchingDeleteExpressions(llvm::MapVector< FieldDecl *, llvm::SmallVector< std::pair< SourceLocation, bool >, 4 > > &)
Represents difference between two FPOptions values.
Represents a member of a struct/union/class.
StringRef getName() const
The name of this FileEntry.
An opaque identifier used by SourceManager which refers to a source file (MemoryBuffer) along with it...
Annotates a diagnostic with some code that should be inserted, removed, or replaced to fix the proble...
static FixItHint CreateReplacement(CharSourceRange RemoveRange, StringRef Code)
Create a code modification hint that replaces the given source range with the given code string.
static FixItHint CreateInsertion(SourceLocation InsertionLoc, StringRef Code, bool BeforePreviousInsertions=false)
Create a code modification hint that inserts the given code string at a specific location.
Represents a function declaration or definition.
bool isMultiVersion() const
True if this function is considered a multiversioned function.
Stmt * getBody(const FunctionDecl *&Definition) const
Retrieve the body (definition) of the function.
bool isCPUSpecificMultiVersion() const
True if this function is a multiversioned processor specific function as a part of the cpu_specific/c...
bool isDeleted() const
Whether this function has been deleted.
FunctionDecl * getMostRecentDecl()
Returns the most recent (re)declaration of this declaration.
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.
const ASTTemplateArgumentListInfo * getTemplateSpecializationArgsAsWritten() const
Retrieve the template argument list as written in the sources, if any.
static FunctionEffectsRef get(QualType QT)
Extract the effects from a Type if it is a function, block, or member function pointer,...
Represents a prototype with parameter type info, e.g.
Declaration of a template function.
FunctionType - C99 6.7.5.3 - Function Declarators.
@ SME_PStateSMCompatibleMask
QualType getReturnType() const
One of these records is kept for each identifier that is lexed.
StringRef getName() const
Return the actual identifier string.
ImplicitCastExpr - Allows us to explicitly represent implicit type conversions, which have no direct ...
static ImplicitCastExpr * Create(const ASTContext &Context, QualType T, CastKind Kind, Expr *Operand, const CXXCastPath *BasePath, ExprValueKind Cat, FPOptionsOverride FPO)
Represents a C array with an unspecified size.
static InitializedEntity InitializeBlock(SourceLocation BlockVarLoc, QualType Type)
@ CMK_HeaderUnit
Compiling a module header unit.
@ CMK_ModuleInterface
Compiling a C++ modules interface unit.
unsigned getOpenCLCompatibleVersion() const
Return the OpenCL version that kernel language is compatible with.
static std::optional< Token > findNextToken(SourceLocation Loc, const SourceManager &SM, const LangOptions &LangOpts, bool IncludeComments=false)
Finds the token that comes right after the given location.
static SourceLocation getLocForEndOfToken(SourceLocation Loc, unsigned Offset, const SourceManager &SM, const LangOptions &LangOpts)
Computes the source location just past the end of the token at this source location.
Represents the results of name lookup.
Encapsulates the data about a macro definition (e.g.
Abstract interface for a module loader.
bool resolveExports(Module *Mod, bool Complain)
Resolve all of the unresolved exports in the given module.
bool resolveConflicts(Module *Mod, bool Complain)
Resolve all of the unresolved conflicts in the given module.
bool resolveUses(Module *Mod, bool Complain)
Resolve all of the unresolved uses in the given module.
Describes a module or submodule.
bool isNamedModuleInterfaceHasInit() const
bool isInterfaceOrPartition() const
llvm::SmallSetVector< Module *, 2 > Imports
The set of modules imported by this module, and on which this module depends.
llvm::iterator_range< submodule_iterator > submodules()
@ PrivateModuleFragment
This is the private module fragment within some C++ module.
@ ExplicitGlobalModuleFragment
This is the explicit Global Module Fragment of a modular TU.
static const unsigned NumNSNumberLiteralMethods
This represents a decl that may have a name.
bool hasExternalFormalLinkage() const
True if this decl has external linkage.
NamedDecl * getMostRecentDecl()
bool isExternallyVisible() const
ObjCMethodDecl - Represents an instance or class method declaration.
void addSupport(const llvm::StringMap< bool > &FeaturesMap, const LangOptions &Opts)
A reference to an overloaded function set, either an UnresolvedLookupExpr or an UnresolvedMemberExpr.
static FindResult find(Expr *E)
Finds the overloaded expression in the given expression E of OverloadTy.
UnresolvedSetImpl::iterator decls_iterator
decls_iterator decls_begin() const
decls_iterator decls_end() const
This interface provides a way to observe the actions of the preprocessor as it does its thing.
ParsedAttr - Represents a syntactic attribute.
unsigned getNumArgs() const
getNumArgs - Return the number of actual arguments to this attribute.
bool isArgIdent(unsigned Arg) const
Expr * getArgAsExpr(unsigned Arg) const
unsigned getDiagID() const
void Emit(const DiagnosticBuilder &DB) const
Engages in a tight little dance with the lexer to efficiently preprocess tokens.
const TranslationUnitKind TUKind
The kind of translation unit we are processing.
A (possibly-)qualified type.
bool hasNonTrivialToPrimitiveCopyCUnion() const
Check if this is or contains a C union that is non-trivial to copy, which is a union that has a membe...
bool isNull() const
Return true if this QualType doesn't point to a type yet.
bool hasNonTrivialToPrimitiveDestructCUnion() const
Check if this is or contains a C union that is non-trivial to destruct, which is a union that has a m...
QualType getCanonicalType() const
QualType getUnqualifiedType() const
Retrieve the unqualified variant of the given type, removing as little sugar as possible.
bool isConstQualified() const
Determine whether this type is const-qualified.
Represents a struct/union/class.
field_range fields() const
Scope - A scope is a transient data structure that is used while parsing the program.
@ TemplateParamScope
This is a scope that corresponds to the template parameters of a C++ template.
@ DeclScope
This is a scope that can contain a declaration.
Smart pointer class that efficiently represents Objective-C method names.
A generic diagnostic builder for errors which may or may not be deferred.
@ K_Immediate
Emit the diagnostic immediately (i.e., behave like Sema::Diag()).
PartialDiagnostic PDiag(unsigned DiagID=0)
Build a partial diagnostic.
const LangOptions & getLangOpts() const
DiagnosticsEngine & getDiagnostics() const
SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID)
Emit a diagnostic.
llvm::DenseMap< CanonicalDeclPtr< const FunctionDecl >, FunctionDeclAndLoc > DeviceKnownEmittedFns
An inverse call graph, mapping known-emitted functions to one of their known-emitted callers (plus th...
An abstract interface that should be implemented by clients that read ASTs and then require further s...
void ActOnEndOfTranslationUnit(TranslationUnitDecl *TU)
ObjCMethodDecl * NSNumberLiteralMethods[NSAPI::NumNSNumberLiteralMethods]
The Objective-C NSNumber methods used to create NSNumber literals.
void DiagnoseUseOfUnimplementedSelectors()
std::unique_ptr< NSAPI > NSAPIObj
Caches identifiers/selectors for NSFoundation APIs.
void DiagnoseUnterminatedOpenMPDeclareTarget()
Report unterminated 'omp declare target' or 'omp begin declare target' at the end of a compilation un...
A class which encapsulates the logic for delaying diagnostics during parsing and other processing.
sema::DelayedDiagnosticPool * getCurrentPool() const
Returns the current delayed-diagnostics pool.
FPFeaturesStateRAII(Sema &S)
Custom deleter to allow FunctionScopeInfos to be kept alive for a short time after they've been poppe...
void operator()(sema::FunctionScopeInfo *Scope) const
RAII class used to indicate that we are performing provisional semantic analysis to determine the val...
Sema - This implements semantic analysis and AST building for C.
SmallVector< DeclaratorDecl *, 4 > ExternalDeclarations
All the external declarations encoutered and used in the TU.
bool ConstantFoldAttrArgs(const AttributeCommonInfo &CI, MutableArrayRef< Expr * > Args)
ConstantFoldAttrArgs - Folds attribute arguments into ConstantExprs (unless they are value dependent ...
SmallVector< CodeSynthesisContext, 16 > CodeSynthesisContexts
List of active code synthesis contexts.
LocalInstantiationScope * CurrentInstantiationScope
The current instantiation scope used to store local variables.
sema::CapturingScopeInfo * getEnclosingLambdaOrBlock() const
Get the innermost lambda or block enclosing the current location, if any.
Scope * getCurScope() const
Retrieve the parser's current scope.
bool IsBuildingRecoveryCallExpr
Flag indicating if Sema is building a recovery call expression.
void LoadExternalWeakUndeclaredIdentifiers()
Load weak undeclared identifiers from the external source.
bool isExternalWithNoLinkageType(const ValueDecl *VD) const
Determine if VD, which must be a variable or function, is an external symbol that nonetheless can't b...
bool tryExprAsCall(Expr &E, QualType &ZeroArgCallReturnTy, UnresolvedSetImpl &NonTemplateOverloads)
Figure out if an expression could be turned into a call.
@ LookupOrdinaryName
Ordinary name lookup, which finds ordinary names (functions, variables, typedefs, etc....
const Decl * PragmaAttributeCurrentTargetDecl
The declaration that is currently receiving an attribute from the pragma attribute stack.
OpaquePtr< QualType > TypeTy
void addImplicitTypedef(StringRef Name, QualType T)
void CheckDelegatingCtorCycles()
SmallVector< CXXMethodDecl *, 4 > DelayedDllExportMemberFunctions
const TranslationUnitKind TUKind
The kind of translation unit we are processing.
llvm::SmallSetVector< const TypedefNameDecl *, 4 > UnusedLocalTypedefNameCandidates
Set containing all typedefs that are likely unused.
void emitAndClearUnusedLocalTypedefWarnings()
std::unique_ptr< CXXFieldCollector > FieldCollector
FieldCollector - Collects CXXFieldDecls during parsing of C++ classes.
unsigned CapturingFunctionScopes
Track the number of currently active capturing scopes.
void Initialize()
Perform initialization that occurs after the parser has been initialized but before it parses anythin...
SmallVector< sema::FunctionScopeInfo *, 4 > FunctionScopes
Stack containing information about each of the nested function, block, and method scopes that are cur...
PoppedFunctionScopePtr PopFunctionScopeInfo(const sema::AnalysisBasedWarnings::Policy *WP=nullptr, const Decl *D=nullptr, QualType BlockType=QualType())
Pop a function (or block or lambda or captured region) scope from the stack.
Preprocessor & getPreprocessor() const
Scope * getScopeForContext(DeclContext *Ctx)
Determines the active Scope associated with the given declaration context.
PragmaStack< FPOptionsOverride > FpPragmaStack
PragmaStack< StringLiteral * > CodeSegStack
void setFunctionHasBranchIntoScope()
void ActOnComment(SourceRange Comment)
void ActOnEndOfTranslationUnit()
ActOnEndOfTranslationUnit - This is called at the very end of the translation unit when EOF is reache...
FPOptionsOverride CurFPFeatureOverrides()
ExprResult BuildCallToMemberFunction(Scope *S, Expr *MemExpr, SourceLocation LParenLoc, MultiExprArg Args, SourceLocation RParenLoc, Expr *ExecConfig=nullptr, bool IsExecConfig=false, bool AllowRecovery=false)
BuildCallToMemberFunction - Build a call to a member function.
void ActOnTranslationUnitScope(Scope *S)
Scope actions.
NamedDecl * LookupSingleName(Scope *S, DeclarationName Name, SourceLocation Loc, LookupNameKind NameKind, RedeclarationKind Redecl=RedeclarationKind::NotForRedeclaration)
Look up a name, looking for a single declaration.
IdentifierInfo * getSuperIdentifier() const
FunctionDecl * getCurFunctionDecl(bool AllowLambda=false) const
Returns a pointer to the innermost enclosing function, or nullptr if the current context is not insid...
void DiagnosePrecisionLossInComplexDivision()
bool DisableTypoCorrection
Tracks whether we are in a context where typo correction is disabled.
void diagnoseNullableToNonnullConversion(QualType DstType, QualType SrcType, SourceLocation Loc)
Warn if we're implicitly casting from a _Nullable pointer type to a _Nonnull one.
bool InNonInstantiationSFINAEContext
Whether we are in a SFINAE context that is not associated with template instantiation.
DiagnosticsEngine & getDiagnostics() const
bool tryToRecoverWithCall(ExprResult &E, const PartialDiagnostic &PD, bool ForceComplain=false, bool(*IsPlausibleResult)(QualType)=nullptr)
Try to recover by turning the given expression into a call.
SemaDiagnosticBuilder::DeferredDiagnosticsType DeviceDeferredDiags
Diagnostics that are emitted only if we discover that the given function must be codegen'ed.
void CheckDelayedMemberExceptionSpecs()
void PushOnScopeChains(NamedDecl *D, Scope *S, bool AddToContext=true)
Add this decl to the scope shadowed decl chains.
ClassTemplateDecl * StdCoroutineTraitsCache
The C++ "std::coroutine_traits" template, which is defined in <coroutine_traits>
PragmaStack< bool > StrictGuardStackCheckStack
UnusedFileScopedDeclsType UnusedFileScopedDecls
The set of file scoped decls seen so far that have not been used and must warn if not used.
ASTContext & getASTContext() const
std::unique_ptr< sema::FunctionScopeInfo, PoppedFunctionScopeDeleter > PoppedFunctionScopePtr
void addExternalSource(IntrusiveRefCntPtr< ExternalSemaSource > E)
Registers an external source.
ClassTemplateDecl * StdInitializerList
The C++ "std::initializer_list" template, which is defined in <initializer_list>.
SmallVector< std::pair< FunctionDecl *, FunctionDecl * >, 2 > DelayedEquivalentExceptionSpecChecks
All the function redeclarations seen during a class definition that had their exception spec checks d...
PragmaStack< StringLiteral * > ConstSegStack
ExprResult ImpCastExprToType(Expr *E, QualType Type, CastKind CK, ExprValueKind VK=VK_PRValue, const CXXCastPath *BasePath=nullptr, CheckedConversionKind CCK=CheckedConversionKind::Implicit)
ImpCastExprToType - If Expr is not of type 'Type', insert an implicit cast.
unsigned TyposCorrected
The number of typos corrected by CorrectTypo.
static const unsigned MaxAlignmentExponent
The maximum alignment, same as in llvm::Value.
PrintingPolicy getPrintingPolicy() const
Retrieve a suitable printing policy for diagnostics.
ObjCMethodDecl * getCurMethodDecl()
getCurMethodDecl - If inside of a method body, this returns a pointer to the method decl for the meth...
sema::LambdaScopeInfo * getCurGenericLambda()
Retrieve the current generic lambda info, if any.
unsigned NumSFINAEErrors
The number of SFINAE diagnostics that have been trapped.
void setFunctionHasIndirectGoto()
LangAS getDefaultCXXMethodAddrSpace() const
Returns default addr space for method qualifiers.
void PushFunctionScope()
Enter a new function scope.
FPOptions & getCurFPFeatures()
RecordDecl * StdSourceLocationImplDecl
The C++ "std::source_location::__impl" struct, defined in <source_location>.
Sema(Preprocessor &pp, ASTContext &ctxt, ASTConsumer &consumer, TranslationUnitKind TUKind=TU_Complete, CodeCompleteConsumer *CompletionConsumer=nullptr)
SourceLocation getLocForEndOfToken(SourceLocation Loc, unsigned Offset=0)
Calls Lexer::getLocForEndOfToken()
sema::LambdaScopeInfo * PushLambdaScope()
api_notes::APINotesManager APINotes
const LangOptions & getLangOpts() const
const FunctionProtoType * ResolveExceptionSpec(SourceLocation Loc, const FunctionProtoType *FPT)
ASTConsumer & getASTConsumer() const
ExprResult BuildCallExpr(Scope *S, Expr *Fn, SourceLocation LParenLoc, MultiExprArg ArgExprs, SourceLocation RParenLoc, Expr *ExecConfig=nullptr, bool IsExecConfig=false, bool AllowRecovery=false)
BuildCallExpr - Handle a call to Fn with the specified array of arguments.
threadSafety::BeforeSet * ThreadSafetyDeclCache
void checkTypeSupport(QualType Ty, SourceLocation Loc, ValueDecl *D=nullptr)
Check if the type is allowed to be used for the current target.
const LangOptions & LangOpts
std::unique_ptr< sema::FunctionScopeInfo > CachedFunctionScope
sema::LambdaScopeInfo * getCurLambda(bool IgnoreNonLambdaCapturingScope=false)
Retrieve the current lambda scope info, if any.
static const uint64_t MaximumAlignment
NamedDeclSetType UnusedPrivateFields
Set containing all declared private fields that are not used.
bool CollectStats
Flag indicating whether or not to collect detailed statistics.
void ActOnEndOfTranslationUnitFragment(TUFragmentKind Kind)
bool ShouldWarnIfUnusedFileScopedDecl(const DeclaratorDecl *D) const
IdentifierInfo * InventAbbreviatedTemplateParameterTypeName(const IdentifierInfo *ParamName, unsigned Index)
Invent a new identifier for parameters of abbreviated templates.
SmallVector< PendingImplicitInstantiation, 1 > LateParsedInstantiations
Queue of implicit template instantiations that cannot be performed eagerly.
void performFunctionEffectAnalysis(TranslationUnitDecl *TU)
PragmaStack< AlignPackInfo > AlignPackStack
SmallVector< std::pair< const CXXMethodDecl *, const CXXMethodDecl * >, 2 > DelayedOverridingExceptionSpecChecks
All the overriding functions seen during a class definition that had their exception spec checks dela...
PragmaStack< StringLiteral * > BSSSegStack
DeclContext * getCurLexicalContext() const
NamedDecl * getCurFunctionOrMethodDecl() const
getCurFunctionOrMethodDecl - Return the Decl for the current ObjC method or C function we're in,...
static CastKind ScalarTypeToBooleanCastKind(QualType ScalarTy)
ScalarTypeToBooleanCastKind - Returns the cast kind corresponding to the conversion from scalar type ...
llvm::SmallSetVector< Decl *, 4 > DeclsToCheckForDeferredDiags
Function or variable declarations to be checked for whether the deferred diagnostics should be emitte...
sema::FunctionScopeInfo * getCurFunction() const
void PushCompoundScope(bool IsStmtExpr)
bool isDeclaratorFunctionLike(Declarator &D)
Determine whether.
std::optional< sema::TemplateDeductionInfo * > isSFINAEContext() const
Determines whether we are currently in a context where template argument substitution failures are no...
bool findMacroSpelling(SourceLocation &loc, StringRef name)
Looks through the macro-expansion chain for the given location, looking for a macro expansion with th...
StringLiteral * CurInitSeg
Last section used with pragma init_seg.
Module * getCurrentModule() const
Get the module unit whose scope we are currently within.
static bool isCast(CheckedConversionKind CCK)
sema::BlockScopeInfo * getCurBlock()
Retrieve the current block, if any.
DeclContext * CurContext
CurContext - This is the current declaration context of parsing.
MaterializeTemporaryExpr * CreateMaterializeTemporaryExpr(QualType T, Expr *Temporary, bool BoundToLvalueReference)
ClassTemplateDecl * StdTypeIdentity
The C++ "std::type_identity" template, which is defined in <type_traits>.
bool isUnevaluatedContext() const
Determines whether we are currently in a context that is not evaluated as per C++ [expr] p5.
DeclContext * getFunctionLevelDeclContext(bool AllowLambda=false) const
If AllowLambda is true, treat lambda as function.
bool DefineUsedVTables()
Define all of the vtables that have been used in this translation unit and reference any virtual memb...
bool GlobalNewDeleteDeclared
A flag to remember whether the implicit forms of operator new and delete have been declared.
DeclContext * OriginalLexicalContext
Generally null except when we temporarily switch decl contexts, like in.
unsigned NonInstantiationEntries
The number of CodeSynthesisContexts that are not template instantiations and, therefore,...
bool inTemplateInstantiation() const
Determine whether we are currently performing template instantiation.
SourceManager & getSourceManager() const
bool makeUnavailableInSystemHeader(SourceLocation loc, UnavailableAttr::ImplicitReason reason)
makeUnavailableInSystemHeader - There is an error in the current context.
void getUndefinedButUsed(SmallVectorImpl< std::pair< NamedDecl *, SourceLocation > > &Undefined)
Obtain a sorted list of functions that are undefined but ODR-used.
void diagnoseFunctionEffectConversion(QualType DstType, QualType SrcType, SourceLocation Loc)
Warn when implicitly changing function effects.
void PerformPendingInstantiations(bool LocalOnly=false, bool AtEndOfTU=true)
Performs template instantiation for all implicit template instantiations we have seen until this poin...
ExprResult PerformMoveOrCopyInitialization(const InitializedEntity &Entity, const NamedReturnInfo &NRInfo, Expr *Value, bool SupressSimplerImplicitMoves=false)
Perform the initialization of a potentially-movable value, which is the result of return value.
CanThrowResult canThrow(const Stmt *E)
bool AccessCheckingSFINAE
When true, access checking violations are treated as SFINAE failures rather than hard errors.
DeclContext * computeDeclContext(QualType T)
Compute the DeclContext that is associated with the given type.
void PushBlockScope(Scope *BlockScope, BlockDecl *Block)
PragmaStack< MSVtorDispMode > VtorDispStack
Whether to insert vtordisps prior to virtual bases in the Microsoft C++ ABI.
void * VisContext
VisContext - Manages the stack for #pragma GCC visibility.
UnsignedOrNone ArgPackSubstIndex
The current index into pack expansion arguments that will be used for substitution of parameter packs...
void PushCapturedRegionScope(Scope *RegionScope, CapturedDecl *CD, RecordDecl *RD, CapturedRegionKind K, unsigned OpenMPCaptureLevel=0)
void setFunctionHasMustTail()
RecordDecl * CXXTypeInfoDecl
The C++ "type_info" declaration, which is defined in <typeinfo>.
void CheckCompleteVariableDeclaration(VarDecl *VD)
void setFunctionHasBranchProtectedScope()
RedeclarationKind forRedeclarationInCurContext() const
void ActOnStartOfTranslationUnit()
This is called before the very first declaration in the translation unit is parsed.
IntrusiveRefCntPtr< ExternalSemaSource > ExternalSource
Source of additional semantic information.
llvm::SmallPtrSet< const Decl *, 4 > ParsingInitForAutoVars
ParsingInitForAutoVars - a set of declarations with auto types for which we are currently parsing the...
@ NonDefaultStateAtInclude
sema::AnalysisBasedWarnings AnalysisWarnings
Worker object for performing CFG-based warnings.
bool hasUncompilableErrorOccurred() const
Whether uncompilable error has occurred.
std::deque< PendingImplicitInstantiation > PendingInstantiations
The queue of implicit template instantiations that are required but have not yet been performed.
ModuleLoader & getModuleLoader() const
Retrieve the module loader associated with the preprocessor.
@ PotentiallyEvaluated
The current expression is potentially evaluated at run time, which means that code may be generated t...
std::pair< SourceLocation, bool > DeleteExprLoc
void RecordParsingTemplateParameterDepth(unsigned Depth)
This is used to inform Sema what the current TemplateParameterDepth is during Parsing.
bool RequireCompleteType(SourceLocation Loc, QualType T, CompleteTypeKind Kind, TypeDiagnoser &Diagnoser)
Ensure that the type T is a complete type.
Scope * TUScope
Translation Unit Scope - useful to Objective-C actions that need to lookup file scope declarations in...
void DiagnoseUnterminatedPragmaAttribute()
void FreeVisContext()
FreeVisContext - Deallocate and null out VisContext.
LateTemplateParserCB * LateTemplateParser
bool LookupQualifiedName(LookupResult &R, DeclContext *LookupCtx, bool InUnqualifiedLookup=false)
Perform qualified name lookup into a given context.
llvm::MapVector< FieldDecl *, DeleteLocs > DeleteExprs
Delete-expressions to be analyzed at the end of translation unit.
TentativeDefinitionsType TentativeDefinitions
All the tentative definitions encountered in the TU.
Expr * MaybeCreateExprWithCleanups(Expr *SubExpr)
MaybeCreateExprWithCleanups - If the current full-expression requires any cleanups,...
DarwinSDKInfo * getDarwinSDKInfoForAvailabilityChecking()
const llvm::MapVector< FieldDecl *, DeleteLocs > & getMismatchingDeleteExpressions() const
Retrieves list of suspicious delete-expressions that will be checked at the end of translation unit.
SmallVector< ExpressionEvaluationContextRecord, 8 > ExprEvalContexts
A stack of expression evaluation contexts.
void PushDeclContext(Scope *S, DeclContext *DC)
Set the current declaration context until it gets popped.
SourceManager & SourceMgr
DiagnosticsEngine & Diags
void DiagnoseUnterminatedPragmaAlignPack()
OpenCLOptions & getOpenCLOptions()
PragmaStack< StringLiteral * > DataSegStack
ExprResult PerformCopyInitialization(const InitializedEntity &Entity, SourceLocation EqualLoc, ExprResult Init, bool TopLevelOfInitList=false, bool AllowExplicit=false)
Attr * CreateAnnotationAttr(const AttributeCommonInfo &CI, StringRef Annot, MutableArrayRef< Expr * > Args)
CreateAnnotationAttr - Creates an annotation Annot with Args arguments.
llvm::MapVector< NamedDecl *, SourceLocation > UndefinedButUsed
UndefinedInternals - all the used, undefined objects which require a definition in this translation u...
void PrintStats() const
Print out statistics about the semantic analysis.
LangOptions::PragmaMSPointersToMembersKind MSPointerToMemberRepresentationMethod
Controls member pointer representation format under the MS ABI.
llvm::BumpPtrAllocator BumpAlloc
SourceRange getRangeForNextToken(SourceLocation Loc, bool IncludeMacros, bool IncludeComments, std::optional< tok::TokenKind > ExpectedToken=std::nullopt)
Calls Lexer::findNextToken() to find the next token, and if the locations of both ends of the token c...
void runWithSufficientStackSpace(SourceLocation Loc, llvm::function_ref< void()> Fn)
Run some code with "sufficient" stack space.
SmallVector< CXXRecordDecl *, 4 > DelayedDllExportClasses
llvm::MapVector< IdentifierInfo *, llvm::SetVector< WeakInfo, llvm::SmallVector< WeakInfo, 1u >, llvm::SmallDenseSet< WeakInfo, 2u, WeakInfo::DenseMapInfoByAliasOnly > > > WeakUndeclaredIdentifiers
WeakUndeclaredIdentifiers - Identifiers contained in #pragma weak before declared.
SemaDiagnosticBuilder targetDiag(SourceLocation Loc, unsigned DiagID, const FunctionDecl *FD=nullptr)
DeclarationName VAListTagName
VAListTagName - The declaration name corresponding to __va_list_tag.
sema::FunctionScopeInfo * getEnclosingFunction() const
sema::CapturedRegionScopeInfo * getCurCapturedRegion()
Retrieve the current captured region, if any.
void diagnoseZeroToNullptrConversion(CastKind Kind, const Expr *E)
Warn when implicitly casting 0 to nullptr.
void EmitDiagnostic(unsigned DiagID, const DiagnosticBuilder &DB)
Cause the built diagnostic to be emitted on the DiagosticsEngine.
void checkNonTrivialCUnion(QualType QT, SourceLocation Loc, NonTrivialCUnionContext UseContext, unsigned NonTrivialKind)
Emit diagnostics if a non-trivial C union type or a struct that contains a non-trivial C union is use...
IdentifierResolver IdResolver
bool hasAnyUnrecoverableErrorsInThisFunction() const
Determine whether any errors occurred within this function/method/ block.
bool checkStringLiteralArgumentAttr(const AttributeCommonInfo &CI, const Expr *E, StringRef &Str, SourceLocation *ArgLocation=nullptr)
Check if the argument E is a ASCII string literal.
llvm::DenseSet< InstantiatingSpecializationsKey > InstantiatingSpecializations
Specializations whose definitions are currently being instantiated.
ASTMutationListener * getASTMutationListener() const
Encodes a location in the source.
bool isValid() const
Return true if this is a valid SourceLocation object.
SourceLocation getLocWithOffset(IntTy Offset) const
Return a source location with the specified offset from this SourceLocation.
This class handles loading and caching of source files into memory.
A trivial tuple used to represent a source range.
SourceLocation getBegin() const
void setEnd(SourceLocation e)
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
SourceLocation getBeginLoc() const LLVM_READONLY
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
Exposes information about the current target.
virtual bool hasLongDoubleType() const
Determine whether the long double type is supported on this target.
const llvm::Triple & getTriple() const
Returns the target triple of the primary target.
virtual bool hasFPReturn() const
Determine whether return of a floating point value is supported on this target.
bool hasRISCVVTypes() const
Returns whether or not the RISC-V V built-in types are available on this target.
A container of type source information.
The base class of the type hierarchy.
bool isFloat16Type() const
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
bool isSVESizelessBuiltinType() const
Returns true for SVE scalable vector types.
const T * castAs() const
Member-template castAs<specific type>.
bool isFloat128Type() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool isBitIntType() const
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
ScalarTypeKind getScalarTypeKind() const
Given that this is a scalar type, classify it.
bool isIbm128Type() const
bool isBFloat16Type() const
bool isStructureOrClassType() const
bool isRealFloatingType() const
Floating point categories.
bool isRVVSizelessBuiltinType() const
Returns true for RVV scalable vector types.
Linkage getLinkage() const
Determine the linkage of this type.
const T * getAs() const
Member-template getAs<specific type>'.
bool isNullPtrType() const
std::optional< NullabilityKind > getNullability() const
Determine the nullability of the given type.
Base class for declarations which introduce a typedef-name.
A set of unresolved declarations.
UnresolvedSetIterator iterator
void addDecl(NamedDecl *D)
A set of unresolved declarations.
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
void setType(QualType newType)
Represents a variable declaration or definition.
VarTemplateDecl * getDescribedVarTemplate() const
Retrieves the variable template that is described by this variable declaration.
VarDecl * getMostRecentDecl()
Returns the most recent (re)declaration of this declaration.
VarDecl * getDefinition(ASTContext &)
Get the real (not just tentative) definition for this declaration.
bool isFileVarDecl() const
Returns true for file scoped variable declaration.
const Expr * getInit() const
VarDecl * getActingDefinition()
Get the tentative definition that acts as the real definition in a TU.
@ DeclarationOnly
This declaration is only a declaration.
StorageDuration getStorageDuration() const
Get the storage duration of this variable, per C++ [basic.stc].
bool isEscapingByref() const
Indicates the capture is a __block variable that is captured by a block that can potentially escape (...
const Expr * getAnyInitializer() const
Get the initializer for this variable, no matter which declaration it is attached to.
Declaration of a variable template.
Represents a GCC generic vector type.
Retains information about a block that is currently being parsed.
Retains information about a captured region.
Contains information about the compound statement currently being parsed.
Retains information about a function, method, or block that is currently being parsed.
SmallVector< CompoundScopeInfo, 4 > CompoundScopes
The stack of currently active compound statement scopes in the function.
llvm::SmallPtrSet< const BlockDecl *, 1 > Blocks
The set of blocks that are introduced in this function.
llvm::TinyPtrVector< VarDecl * > ByrefBlockVars
The set of __block variables that are introduced in this function.
void FileChanged(SourceLocation Loc, FileChangeReason Reason, SrcMgr::CharacteristicKind FileType, FileID PrevFID) override
Callback invoked whenever a source file is entered or exited.
void PragmaDiagnostic(SourceLocation Loc, StringRef Namespace, diag::Severity Mapping, StringRef Str) override
Callback invoked when a #pragma gcc diagnostic directive is read.
Defines the clang::TargetInfo interface.
bool evaluateRequiredTargetFeatures(llvm::StringRef RequiredFatures, const llvm::StringMap< bool > &TargetFetureMap)
Returns true if the required target features of a builtin function are enabled.
CharacteristicKind
Indicates whether a file or directory holds normal user code, system code, or system code which is im...
Flavor
Flavors of diagnostics we can emit.
@ WarningOrError
A diagnostic that indicates a problem or potential problem.
@ Remark
A diagnostic that indicates normal progress through compilation.
unsigned kind
All of the diagnostics that can be emitted by the frontend.
Severity
Enum values that allow the client to map NOTEs, WARNINGs, and EXTENSIONs to either Ignore (nothing),...
void threadSafetyCleanup(BeforeSet *Cache)
The JSON file list parser is used to communicate input to InstallAPI.
bool isa(CodeGen::Address addr)
CustomizableOptional< FileEntryRef > OptionalFileEntryRef
@ ExpectedVariableOrFunction
@ Nullable
Values of this type can be null.
@ NonNull
Values of this type can never be null.
Expected< std::optional< DarwinSDKInfo > > parseDarwinSDKInfo(llvm::vfs::FileSystem &VFS, StringRef SDKRootPath)
Parse the SDK information from the SDKSettings.json file.
@ Override
Merge availability attributes for an override, which requires an exact match or a weakening of constr...
void inferNoReturnAttr(Sema &S, const Decl *D)
nullptr
This class represents a compute construct, representing a 'Kind' of ‘parallel’, 'serial',...
CapturedRegionKind
The different kinds of captured statement.
@ SD_Thread
Thread storage duration.
@ SD_Static
Static storage duration.
@ Result
The result type of a method or function.
const FunctionProtoType * T
@ Template
We are parsing a template declaration.
@ Private
The private module fragment, between 'module :private;' and the end of the translation unit.
@ Global
The global module fragment, between 'module;' and a module-declaration.
@ Normal
A normal translation unit fragment.
@ OverloadSet
The name was classified as an overload set, and an expression representing that overload set has been...
LangAS
Defines the address space values used by the address space qualifier of QualType.
CastKind
CastKind - The kind of operation required for a conversion.
TranslationUnitKind
Describes the kind of translation unit being processed.
@ TU_ClangModule
The translation unit is a clang module.
@ TU_Prefix
The translation unit is a prefix to a translation unit, and is not complete.
ComparisonCategoryType
An enumeration representing the different comparison categories types.
void FormatASTNodeDiagnosticArgument(DiagnosticsEngine::ArgumentKind Kind, intptr_t Val, StringRef Modifier, StringRef Argument, ArrayRef< DiagnosticsEngine::ArgumentValue > PrevArgs, SmallVectorImpl< char > &Output, void *Cookie, ArrayRef< intptr_t > QualTypeVals)
DiagnosticsEngine argument formatting function for diagnostics that involve AST nodes.
std::pair< SourceLocation, PartialDiagnostic > PartialDiagnosticAt
A partial diagnostic along with the source location where this diagnostic occurs.
ExprValueKind
The categorization of expression values, currently following the C++11 scheme.
@ VK_PRValue
A pr-value expression (in the C++11 taxonomy) produces a temporary value.
@ VK_XValue
An x-value expression is a reference to an object with independent storage but which can be "moved",...
@ VK_LValue
An l-value expression is a reference to an object with independent storage.
SmallVector< CXXBaseSpecifier *, 4 > CXXCastPath
A simple array of base specifiers.
bool isExternalFormalLinkage(Linkage L)
@ SveFixedLengthData
is AArch64 SVE fixed-length data vector
@ SveFixedLengthPredicate
is AArch64 SVE fixed-length predicate vector
U cast(CodeGen::Address addr)
@ Class
The "class" keyword introduces the elaborated-type-specifier.
bool IsArmStreamingFunction(const FunctionDecl *FD, bool IncludeLocallyStreaming)
Returns whether the given FunctionDecl has an __arm[_locally]_streaming attribute.
bool isExternallyVisible(Linkage L)
ActionResult< Expr * > ExprResult
CheckedConversionKind
The kind of conversion being performed.
Represents an explicit template argument list in C++, e.g., the "<int>" in "sort<int>".
bool HasFormOfMemberPointer
OverloadExpr * Expression
Describes how types, statements, expressions, and declarations should be printed.
unsigned Bool
Whether we can use 'bool' rather than '_Bool' (even if the language doesn't actually have 'bool',...
unsigned EntireContentsOfLargeArray
Whether to print the entire array initializers, especially on non-type template parameters,...
@ RewritingOperatorAsSpaceship
We are rewriting a comparison operator in terms of an operator<=>.