56#include "llvm/ADT/DenseMap.h"
57#include "llvm/ADT/STLExtras.h"
58#include "llvm/ADT/SmallPtrSet.h"
59#include "llvm/Support/TimeProfiler.h"
75 if (!SDKInfo && !WarnedDarwinSDKInfoMissing) {
76 Diag(
Loc, diag::warn_missing_sdksettings_for_availability_checking)
78 WarnedDarwinSDKInfoMissing =
true;
84 if (CachedDarwinSDKInfo)
85 return CachedDarwinSDKInfo->get();
89 if (SDKInfo && *SDKInfo) {
90 CachedDarwinSDKInfo = std::make_unique<DarwinSDKInfo>(std::move(**SDKInfo));
91 return CachedDarwinSDKInfo->get();
94 llvm::consumeError(SDKInfo.takeError());
95 CachedDarwinSDKInfo = std::unique_ptr<DarwinSDKInfo>();
101 std::string InventedName;
102 llvm::raw_string_ostream
OS(InventedName);
105 OS <<
"auto:" << Index + 1;
121 Policy.
Bool = BoolMacro->isObjectLike() &&
122 BoolMacro->getNumTokens() == 1 &&
123 BoolMacro->getReplacementToken(0).is(tok::kw__Bool);
153 FileID PrevFID)
override {
161 if (llvm::timeTraceProfilerEnabled()) {
163 ProfilerStack.push_back(llvm::timeTraceAsyncProfilerBegin(
164 "Source", FE ? FE->
getName() : StringRef(
"<unknown>")));
167 IncludeStack.push_back(IncludeLoc);
175 if (!IncludeStack.empty()) {
176 if (llvm::timeTraceProfilerEnabled())
177 llvm::timeTraceProfilerEnd(ProfilerStack.pop_back_val());
181 IncludeStack.pop_back_val());
199 CurFPFeatures(pp.getLangOpts()), LangOpts(pp.getLangOpts()), PP(pp),
200 Context(ctxt), Consumer(consumer), Diags(PP.getDiagnostics()),
201 SourceMgr(PP.getSourceManager()), APINotes(SourceMgr, LangOpts),
202 AnalysisWarnings(*this), ThreadSafetyDeclCache(nullptr),
203 LateTemplateParser(nullptr), LateTemplateParserCleanup(nullptr),
204 OpaqueParser(nullptr), CurContext(nullptr),
ExternalSource(nullptr),
205 CurScope(nullptr), Ident_super(nullptr),
214 MSPointerToMemberRepresentationMethod(
215 LangOpts.getMSPointerToMemberRepresentationMethod()),
216 MSStructPragmaOn(
false), VtorDispStack(LangOpts.getVtorDispMode()),
218 DataSegStack(nullptr), BSSSegStack(nullptr), ConstSegStack(nullptr),
219 CodeSegStack(nullptr), StrictGuardStackCheckStack(
false),
221 VisContext(nullptr), PragmaAttributeCurrentTargetDecl(nullptr),
222 StdCoroutineTraitsCache(nullptr), IdResolver(pp),
223 OriginalLexicalContext(nullptr), StdInitializerList(nullptr),
224 FullyCheckedComparisonCategories(
226 StdSourceLocationImplDecl(nullptr), CXXTypeInfoDecl(nullptr),
227 GlobalNewDeleteDeclared(
false), DisableTypoCorrection(
false),
228 TyposCorrected(0), IsBuildingRecoveryCallExpr(
false), NumSFINAEErrors(0),
229 AccessCheckingSFINAE(
false), CurrentInstantiationScope(nullptr),
230 InNonInstantiationSFINAEContext(
false), NonInstantiationEntries(0),
231 ArgumentPackSubstitutionIndex(-1), SatisfactionCache(Context) {
235 LoadedExternalKnownNamespaces =
false;
256 OpenMP().InitDataSharingAttributesStack();
258 std::unique_ptr<sema::SemaPPCallbacks> Callbacks =
259 std::make_unique<sema::SemaPPCallbacks>();
260 SemaPPCallbackHandler = Callbacks.get();
262 SemaPPCallbackHandler->
set(*
this);
278 SC->InitializeSema(*
this);
283 ExternalSema->InitializeSema(*
this);
357 if (OCLCompatibleVersion >= 200) {
386 auto AddPointerSizeDependentTypes = [&]() {
390 auto AtomicPtrDiffT =
399 AddPointerSizeDependentTypes();
407 std::vector<QualType> Atomic64BitTypes;
415 Atomic64BitTypes.push_back(AtomicDoubleT);
424 AddPointerSizeDependentTypes();
429#define EXT_OPAQUE_TYPE(ExtType, Id, Ext) \
430 if (getOpenCLOptions().isSupported(#Ext, getLangOpts())) { \
431 addImplicitTypedef(#ExtType, Context.Id##Ty); \
433#include "clang/Basic/OpenCLExtensionTypes.def"
437#define SVE_TYPE(Name, Id, SingletonId) \
438 addImplicitTypedef(Name, Context.SingletonId);
439#include "clang/Basic/AArch64SVEACLETypes.def"
443#define PPC_VECTOR_MMA_TYPE(Name, Id, Size) \
444 addImplicitTypedef(#Name, Context.Id##Ty);
445#include "clang/Basic/PPCTypes.def"
446#define PPC_VECTOR_VSX_TYPE(Name, Id, Size) \
447 addImplicitTypedef(#Name, Context.Id##Ty);
448#include "clang/Basic/PPCTypes.def"
452#define RVV_TYPE(Name, Id, SingletonId) \
453 addImplicitTypedef(Name, Context.SingletonId);
454#include "clang/Basic/RISCVVTypes.def"
459#define WASM_TYPE(Name, Id, SingletonId) \
460 addImplicitTypedef(Name, Context.SingletonId);
461#include "clang/Basic/WebAssemblyReferenceTypes.def"
477 "failed to clean up an InstantiatingTemplate?");
492 ExternalSema->ForgetSema();
495 std::vector<ConstraintSatisfaction *> Satisfactions;
496 Satisfactions.reserve(SatisfactionCache.size());
497 for (
auto &
Node : SatisfactionCache)
498 Satisfactions.push_back(&
Node);
499 for (
auto *
Node : Satisfactions)
505 OpenMP().DestroyDataSharingAttributesStack();
509 SemaPPCallbackHandler->
reset();
515 Diag(
Loc, diag::warn_stack_exhausted);
521 llvm::function_ref<
void()> Fn) {
530 UnavailableAttr::ImplicitReason reason) {
533 if (!fn)
return false;
544 if (fn->
hasAttr<UnavailableAttr>())
return true;
546 fn->
addAttr(UnavailableAttr::CreateImplicit(
Context,
"", reason, loc));
560 assert(E &&
"Cannot use with NULL ptr");
567 if (
auto *Ex = dyn_cast<MultiplexExternalSemaSource>(
ExternalSource))
575 llvm::errs() <<
"\n*** Semantic Analysis Stats:\n";
585 std::optional<NullabilityKind> ExprNullability = SrcType->
getNullability();
590 std::optional<NullabilityKind> TypeNullability = DstType->
getNullability();
594 Diag(
Loc, diag::warn_nullability_lost) << SrcType << DstType;
602 if (Kind != CK_NullToPointer && Kind != CK_NullToMemberPointer)
608 if (isa<GNUNullExpr>(EStripped))
654 (
"can't implicitly cast glvalue to prvalue with this cast "
659 case CK_LValueToRValue:
660 case CK_ArrayToPointerDecay:
661 case CK_FunctionToPointerDecay:
663 case CK_NonAtomicToAtomic:
664 case CK_HLSLArrayRValue:
669 "can't cast prvalue to glvalue");
681 if (Kind == CK_ArrayToPointerDecay) {
690 E = Materialized.
get();
701 if (
const auto *DRE = dyn_cast<DeclRefExpr>(E)) {
702 if (
const auto *VD = dyn_cast<VarDecl>(DRE->getDecl())) {
714 if (ImpCast->getCastKind() == Kind && (!BasePath || BasePath->empty())) {
715 ImpCast->setType(Ty);
716 ImpCast->setValueKind(VK);
740 llvm_unreachable(
"unknown scalar type kind");
751 if (
const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
755 for (
const auto *Spec : Template->specializations())
762 if (FD->hasBody(DeclToCheck))
768 if (DeclToCheck != FD)
772 if (
const VarDecl *VD = dyn_cast<VarDecl>(D)) {
778 if (VD->isReferenced() &&
779 VD->mightBeUsableInConstantExpressions(SemaRef->
Context))
785 for (
const auto *Spec : Template->specializations())
798 if (DeclToCheck != VD)
806 if (
const auto *FD = dyn_cast<FunctionDecl>(ND))
807 return FD->isExternC();
808 return cast<VarDecl>(ND)->isExternC();
833 if (ND->
hasAttr<WeakRefAttr>())
continue;
835 if (isa<CXXDeductionGuideDecl>(ND))
838 if (ND->
hasAttr<DLLImportAttr>() || ND->
hasAttr<DLLExportAttr>()) {
845 if (
const auto *FD = dyn_cast<FunctionDecl>(ND)) {
848 if (FD->isExternallyVisible() &&
850 !FD->getMostRecentDecl()->isInlined() &&
851 !FD->hasAttr<ExcludeFromExplicitInstantiationAttr>())
853 if (FD->getBuiltinID())
856 const auto *VD = cast<VarDecl>(ND);
859 if (VD->isExternallyVisible() &&
861 !VD->getMostRecentDecl()->isInline() &&
862 !VD->hasAttr<ExcludeFromExplicitInstantiationAttr>())
867 if (VD->isKnownToBeDefined())
871 Undefined.push_back(std::make_pair(ND, UndefinedUse.second));
884 if (Undefined.empty())
return;
886 for (
const auto &Undef : Undefined) {
887 ValueDecl *VD = cast<ValueDecl>(Undef.first);
901 ? diag::ext_undefined_internal_type
902 : diag::err_undefined_internal_type)
903 << isa<VarDecl>(VD) << VD;
908 bool IsImplicitBase =
false;
909 if (
const auto *BaseD = dyn_cast<FunctionDecl>(VD)) {
910 auto *DVAttr = BaseD->
getAttr<OMPDeclareVariantAttr>();
911 if (DVAttr && !DVAttr->getTraitInfo().isExtensionActive(
912 llvm::omp::TraitProperty::
913 implementation_extension_disable_implicit_base)) {
914 const auto *
Func = cast<FunctionDecl>(
915 cast<DeclRefExpr>(DVAttr->getVariantFuncRef())->getDecl());
916 IsImplicitBase = BaseD->isImplicit() &&
917 Func->getIdentifier()->isMangledOpenMPVariantName();
922 << isa<VarDecl>(VD) << VD;
923 }
else if (
auto *FD = dyn_cast<FunctionDecl>(VD)) {
925 assert(FD->getMostRecentDecl()->isInlined() &&
926 "used object requires definition but isn't inline or internal?");
930 assert(cast<VarDecl>(VD)->getMostRecentDecl()->isInline() &&
931 "used var requires definition but isn't inline or internal?");
935 S.
Diag(UseLoc, diag::note_used_here);
945 for (
auto &WeakID : WeakIDs)
959 RecordCompleteMap::iterator
Cache = MNCComplete.find(RD);
960 if (
Cache != MNCComplete.end())
961 return Cache->second;
969 Complete = M->isDefined() || M->isDefaulted() ||
970 (M->isPureVirtual() && !isa<CXXDestructorDecl>(M));
976 Complete = !F->getTemplatedDecl()->isLateTemplateParsed() &&
977 F->getTemplatedDecl()->isDefined();
978 else if (
const CXXRecordDecl *R = dyn_cast<CXXRecordDecl>(*I)) {
979 if (R->isInjectedClassName())
981 if (R->hasDefinition())
1002 RecordCompleteMap::iterator
Cache = RecordsComplete.find(RD);
1003 if (
Cache != RecordsComplete.end())
1004 return Cache->second;
1012 if (
CXXRecordDecl *FriendD = TSI->getType()->getAsCXXRecordDecl())
1019 dyn_cast<FunctionDecl>((*I)->getFriendDecl()))
1035 if (TD->isReferenced())
1037 Diag(TD->getLocation(), diag::warn_unused_local_typedef)
1038 << isa<TypeAliasDecl>(TD) << TD->getDeclName();
1049 HandleStartOfHeaderUnit();
1089 for (
auto PII : Pending)
1090 if (
auto Func = dyn_cast<FunctionDecl>(PII.first))
1091 Func->setInstantiationIsPending(
true);
1093 Pending.begin(), Pending.end());
1097 llvm::TimeTraceScope TimeScope(
"PerformPendingInstantiations");
1104 "end of TU template instantiation should not create more "
1105 "late-parsed templates");
1110 for (
const auto &Typo : DelayedTypos) {
1114 DelayedTypos.clear();
1122 &&
"reached end of translation unit with a pool attached?");
1135 !ModuleScopes.empty() && ModuleScopes.back().Module->Kind ==
1155 if (
LangOpts.PCHInstantiateTemplates) {
1156 llvm::TimeTraceScope TimeScope(
"PerformPendingInstantiations");
1179 return ShouldRemoveFromUnused(this, DD);
1193 if (WeakIDs.second.empty())
1198 if (PrevDecl !=
nullptr &&
1199 !(isa<FunctionDecl>(PrevDecl) || isa<VarDecl>(PrevDecl)))
1200 for (
const auto &WI : WeakIDs.second)
1201 Diag(WI.getLocation(), diag::warn_attribute_wrong_decl_type)
1204 for (
const auto &WI : WeakIDs.second)
1205 Diag(WI.getLocation(), diag::warn_weak_identifier_undeclared)
1220 if (!ModuleScopes.empty() && ModuleScopes.back().Module->Kind ==
1222 Diag(ModuleScopes.back().BeginLoc,
1223 diag::err_module_declaration_missing_after_global_module_introducer);
1229 auto DoesModNeedInit = [
this](
Module *M) {
1232 for (
auto [Exported, _] : M->Exports)
1233 if (Exported->isNamedModuleInterfaceHasInit())
1242 CurrentModule->NamedModuleHasInit =
1243 DoesModNeedInit(CurrentModule) ||
1244 llvm::any_of(CurrentModule->submodules(),
1245 [&](
auto *SubM) { return DoesModNeedInit(SubM); });
1255 Stack.push_back(CurrentModule);
1256 while (!Stack.empty()) {
1257 Module *Mod = Stack.pop_back_val();
1269 Stack.append(SubmodulesRange.begin(), SubmodulesRange.end());
1281 if (!PendingInlineFuncDecls.empty()) {
1282 for (
auto *D : PendingInlineFuncDecls) {
1283 if (
auto *FD = dyn_cast<FunctionDecl>(D)) {
1284 bool DefInPMF =
false;
1285 if (
auto *FDD = FD->getDefinition()) {
1286 DefInPMF = FDD->getOwningModule()->isPrivateModule();
1290 Diag(FD->getLocation(), diag::err_export_inline_not_defined)
1295 Diag(ModuleScopes.back().BeginLoc,
1296 diag::note_private_module_fragment);
1300 PendingInlineFuncDecls.clear();
1314 llvm::SmallSet<VarDecl *, 32> Seen;
1315 for (TentativeDefinitionsType::iterator
1336 diag::err_tentative_def_incomplete_type))
1348 if (!D || D->isInvalidDecl() || D->getPreviousDecl() || !D->isUsed())
1360 for (UnusedFileScopedDeclsType::iterator
1367 if (
const FunctionDecl *FD = dyn_cast<FunctionDecl>(*I)) {
1369 if (!FD->hasBody(DiagD))
1376 DiagRange.
setEnd(ASTTAL->RAngleLoc);
1378 if (isa<CXXMethodDecl>(DiagD))
1380 << DiagD << DiagRange;
1382 if (FD->getStorageClass() ==
SC_Static &&
1383 !FD->isInlineSpecified() &&
1387 diag::warn_unneeded_static_internal_decl)
1388 << DiagD << DiagRange;
1391 << 0 << DiagD << DiagRange;
1393 }
else if (!FD->isTargetMultiVersion() ||
1394 FD->isTargetMultiVersionDefault()) {
1395 if (FD->getDescribedFunctionTemplate())
1397 << 0 << DiagD << DiagRange;
1400 ? diag::warn_unused_member_function
1401 : diag::warn_unused_function)
1402 << DiagD << DiagRange;
1407 DiagD = cast<VarDecl>(*I);
1409 if (
const auto *VTSD = dyn_cast<VarTemplateSpecializationDecl>(DiagD)) {
1411 VTSD->getTemplateArgsAsWritten())
1412 DiagRange.
setEnd(ASTTAL->RAngleLoc);
1416 << 1 << DiagD << DiagRange;
1419 << 1 << DiagD << DiagRange;
1425 << DiagD << DiagRange;
1428 << DiagD << DiagRange;
1442 const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(D->getDeclContext());
1445 Diag(D->getLocation(), diag::warn_unused_private_field)
1446 << D->getDeclName();
1454 for (
const auto &DeletedFieldInfo :
DeleteExprs) {
1456 AnalyzeDeleteExprMismatch(DeletedFieldInfo.first,
DeleteExprLoc.first,
1468 "Didn't unmark var as having its initializer parsed");
1483 if (isa<BlockDecl>(DC) || isa<EnumDecl>(DC) || isa<CapturedDecl>(DC) ||
1484 isa<RequiresExprBodyDecl>(DC)) {
1486 }
else if (!AllowLambda && isa<CXXMethodDecl>(DC) &&
1487 cast<CXXMethodDecl>(DC)->getOverloadedOperator() == OO_Call &&
1488 cast<CXXRecordDecl>(DC->
getParent())->isLambda()) {
1501 return dyn_cast<FunctionDecl>(DC);
1506 while (isa<RecordDecl>(DC))
1508 return dyn_cast<ObjCMethodDecl>(DC);
1513 if (isa<ObjCMethodDecl>(DC) || isa<FunctionDecl>(DC))
1514 return cast<NamedDecl>(DC);
1532 if (std::optional<TemplateDeductionInfo *> Info =
isSFINAEContext()) {
1546 if (*Info && !(*Info)->hasSFINAEDiagnostic()) {
1548 (*Info)->addSFINAEDiagnostic(DiagInfo.
getLocation(),
1571 if (*Info && !(*Info)->hasSFINAEDiagnostic()) {
1573 (*Info)->addSFINAEDiagnostic(DiagInfo.
getLocation(),
1582 Diag(
Loc, diag::warn_cxx98_compat_sfinae_access_control);
1595 (*Info)->addSuppressedDiagnostic(DiagInfo.
getLocation(),
1625 auto *FD = dyn_cast<FunctionDecl>(
CurContext);
1631 for (
auto PDAt :
Loc->second) {
1647 S.
Diags.
Report(FnIt->second.Loc, diag::note_called_by));
1648 Builder << FnIt->second.FD;
1682class DeferredDiagnosticsEmitter
1700 bool ShouldEmitRootNode;
1705 unsigned InOMPDeviceContext;
1707 DeferredDiagnosticsEmitter(
Sema &S)
1708 : Inherited(S), ShouldEmitRootNode(
false), InOMPDeviceContext(0) {}
1710 bool shouldVisitDiscardedStmt()
const {
return false; }
1713 ++InOMPDeviceContext;
1714 Inherited::VisitOMPTargetDirective(
Node);
1715 --InOMPDeviceContext;
1719 if (isa<VarDecl>(D))
1721 if (
auto *FD = dyn_cast<FunctionDecl>(D))
1724 Inherited::visitUsedDecl(
Loc, D);
1729 "Should only check file-scope variables");
1731 auto DevTy = OMPDeclareTargetDeclAttr::getDeviceType(VD);
1732 bool IsDev = DevTy && (*DevTy == OMPDeclareTargetDeclAttr::DT_NoHost ||
1733 *DevTy == OMPDeclareTargetDeclAttr::DT_Any);
1735 ++InOMPDeviceContext;
1738 --InOMPDeviceContext;
1743 auto &Done = DoneMap[InOMPDeviceContext > 0 ? 1 : 0];
1744 FunctionDecl *Caller = UsePath.empty() ? nullptr : UsePath.back();
1745 if ((!ShouldEmitRootNode && !S.
getLangOpts().OpenMP && !Caller) ||
1749 if (Caller && S.
LangOpts.OpenMP && UsePath.size() == 1 &&
1750 (ShouldEmitRootNode || InOMPDeviceContext))
1757 if (ShouldEmitRootNode || InOMPDeviceContext)
1758 emitDeferredDiags(FD, Caller);
1761 if (!Done.insert(FD).second)
1763 InUsePath.insert(FD);
1764 UsePath.push_back(FD);
1765 if (
auto *S = FD->
getBody()) {
1769 InUsePath.erase(FD);
1772 void checkRecordedDecl(
Decl *D) {
1773 if (
auto *FD = dyn_cast<FunctionDecl>(D)) {
1775 Sema::FunctionEmissionStatus::Emitted;
1778 checkVar(cast<VarDecl>(D));
1782 void emitDeferredDiags(
FunctionDecl *FD,
bool ShowCallStack) {
1786 bool HasWarningOrError =
false;
1787 bool FirstDiag =
true;
1794 HasWarningOrError |=
1803 if (FirstDiag && HasWarningOrError && ShowCallStack) {
1815 DeclsToCheckForDeferredDiags);
1818 DeclsToCheckForDeferredDiags.empty())
1821 DeferredDiagnosticsEmitter DDE(*
this);
1822 for (
auto *D : DeclsToCheckForDeferredDiags)
1823 DDE.checkRecordedDecl(D);
1854 : S(S),
Loc(
Loc), DiagID(DiagID), Fn(Fn),
1855 ShowCallStack(K == K_ImmediateWithCallStack || K == K_Deferred) {
1860 case K_ImmediateWithCallStack:
1861 ImmediateDiag.emplace(
1865 assert(Fn &&
"Must have a function to attach the deferred diag to.");
1867 PartialDiagId.emplace(
Diags.size());
1873Sema::SemaDiagnosticBuilder::SemaDiagnosticBuilder(SemaDiagnosticBuilder &&D)
1874 : S(D.S),
Loc(D.
Loc), DiagID(D.DiagID), Fn(D.Fn),
1875 ShowCallStack(D.ShowCallStack), ImmediateDiag(D.ImmediateDiag),
1876 PartialDiagId(D.PartialDiagId) {
1878 D.ShowCallStack =
false;
1879 D.ImmediateDiag.reset();
1880 D.PartialDiagId.reset();
1883Sema::SemaDiagnosticBuilder::~SemaDiagnosticBuilder() {
1884 if (ImmediateDiag) {
1889 ImmediateDiag.reset();
1890 if (IsWarningOrError && ShowCallStack)
1893 assert((!PartialDiagId || ShowCallStack) &&
1894 "Must always show call stack for deferred diags.");
1900 FD = FD ? FD : getCurFunctionDecl();
1901 if (LangOpts.OpenMP)
1902 return LangOpts.OpenMPIsTargetDevice
1903 ? OpenMP().diagIfOpenMPDeviceCode(
Loc, DiagID, FD)
1904 : OpenMP().diagIfOpenMPHostCode(
Loc, DiagID, FD);
1907 :
CUDA().DiagIfHostCode(
Loc, DiagID);
1910 return SYCL().DiagIfDeviceCode(
Loc, DiagID);
1917 if (isUnevaluatedContext() || Ty.
isNull())
1924 if (D && LangOpts.SYCLIsDevice) {
1926 SYCL().deepTypeCheckForDevice(
Loc,
Visited, D);
1929 Decl *
C = cast<Decl>(getCurLexicalContext());
1933 if (
const auto *MD = dyn_cast<CXXMethodDecl>(
C)) {
1934 if ((MD->isCopyAssignmentOperator() || MD->isMoveAssignmentOperator()) &&
1938 if (
const auto *Ctor = dyn_cast<CXXConstructorDecl>(MD))
1939 if (Ctor->isCopyOrMoveConstructor() && Ctor->isTrivial())
1946 ? cast<FunctionDecl>(
C)
1947 : dyn_cast_or_null<FunctionDecl>(D);
1949 auto CheckDeviceType = [&](
QualType Ty) {
1960 targetDiag(
Loc, PD, FD)
1961 <<
false << 0 <<
false
1969 bool LongDoubleMismatched =
false;
1972 if ((&Sem != &llvm::APFloat::PPCDoubleDouble() &&
1974 (&Sem == &llvm::APFloat::PPCDoubleDouble() &&
1976 LongDoubleMismatched =
true;
1985 !LangOpts.CUDAIsDevice) ||
1986 LongDoubleMismatched) {
1993 if (targetDiag(
Loc, PD, FD)
1995 <<
static_cast<unsigned>(Context.
getTypeSize(Ty)) << Ty
1998 D->setInvalidDecl();
2001 targetDiag(D->getLocation(), diag::note_defined_here, FD) << D;
2005 auto CheckType = [&](
QualType Ty,
bool IsRetTy =
false) {
2006 if (LangOpts.SYCLIsDevice ||
2007 (LangOpts.OpenMP && LangOpts.OpenMPIsTargetDevice) ||
2008 LangOpts.CUDAIsDevice)
2009 CheckDeviceType(Ty);
2021 <<
false << 0 << Ty <<
false
2024 D->setInvalidDecl();
2027 targetDiag(D->getLocation(), diag::note_defined_here, FD) << D;
2030 bool IsDouble = UnqualTy == Context.
DoubleTy;
2031 bool IsFloat = UnqualTy == Context.
FloatTy;
2032 if (IsRetTy && !TI.
hasFPReturn() && (IsDouble || IsFloat)) {
2040 <<
false << 0 << Ty <<
true
2043 D->setInvalidDecl();
2046 targetDiag(D->getLocation(), diag::note_defined_here, FD) << D;
2050 llvm::StringMap<bool> CallerFeatureMap;
2052 checkRVVTypeSupport(Ty,
Loc, D, CallerFeatureMap);
2057 llvm::StringMap<bool> CallerFeatureMap;
2064 Diag(D->
getLocation(), diag::err_sve_vector_in_non_streaming_function)
2072 if (
const auto *FPTy = dyn_cast<FunctionProtoType>(Ty)) {
2073 for (
const auto &ParamTy : FPTy->param_types())
2075 CheckType(FPTy->getReturnType(),
true);
2077 if (
const auto *FNPTy = dyn_cast<FunctionNoProtoType>(Ty))
2078 CheckType(FNPTy->getReturnType(),
true);
2091 loc = getSourceManager().getExpansionLoc(loc);
2095 if (getPreprocessor().getSpelling(loc, buffer) == name) {
2119 for (
Scope *S = getCurScope(); S; S = S->getParent()) {
2133 if (FunctionScopes.empty() && CachedFunctionScope) {
2135 CachedFunctionScope->Clear();
2136 FunctionScopes.push_back(CachedFunctionScope.release());
2140 if (LangOpts.OpenMP)
2141 OpenMP().pushOpenMPFunctionRegion();
2146 BlockScope,
Block));
2147 CapturingFunctionScopes++;
2152 FunctionScopes.push_back(LSI);
2153 CapturingFunctionScopes++;
2159 LSI->AutoTemplateParameterDepth = Depth;
2163 "Remove assertion if intentionally called in a non-lambda context.");
2190 if (!
Result.isInvalid()) {
2210 VarDecl *VD = BC.getVariable();
2211 if (VD->
hasAttr<BlocksAttr>()) {
2220 QualType CapType = BC.getVariable()->getType();
2253 assert(!FunctionScopes.empty() &&
"mismatched push/pop!");
2260 if (LangOpts.OpenMP)
2261 OpenMP().popOpenMPFunctionRegion(
Scope.get());
2265 AnalysisWarnings.IssueWarnings(*WP,
Scope.get(), D, BlockType);
2267 for (
const auto &PUD :
Scope->PossiblyUnreachableDiags)
2268 Diag(PUD.Loc, PUD.PD);
2275 if (!
Scope->isPlainFunction())
2276 Self->CapturingFunctionScopes--;
2278 if (
Scope->isPlainFunction() && !
Self->CachedFunctionScope)
2285 getCurFunction()->CompoundScopes.push_back(
2291 assert(!CurFunction->
CompoundScopes.empty() &&
"mismatched push/pop");
2299 return getCurFunction()->hasUnrecoverableErrorOccurred();
2303 if (!FunctionScopes.empty())
2304 FunctionScopes.back()->setHasBranchIntoScope();
2308 if (!FunctionScopes.empty())
2309 FunctionScopes.back()->setHasBranchProtectedScope();
2313 if (!FunctionScopes.empty())
2314 FunctionScopes.back()->setHasIndirectGoto();
2318 if (!FunctionScopes.empty())
2319 FunctionScopes.back()->setHasMustTail();
2323 if (FunctionScopes.empty())
2326 auto CurBSI = dyn_cast<BlockScopeInfo>(FunctionScopes.back());
2327 if (CurBSI && CurBSI->TheDecl &&
2328 !CurBSI->TheDecl->Encloses(CurContext)) {
2330 assert(!CodeSynthesisContexts.empty());
2338 if (FunctionScopes.empty())
2341 for (
int e = FunctionScopes.size() - 1; e >= 0; --e) {
2342 if (isa<sema::BlockScopeInfo>(FunctionScopes[e]))
2344 return FunctionScopes[e];
2350 for (
auto *
Scope : llvm::reverse(FunctionScopes)) {
2351 if (
auto *LSI = dyn_cast<sema::LambdaScopeInfo>(
Scope)) {
2352 if (LSI->Lambda && !LSI->Lambda->Encloses(CurContext) &&
2353 LSI->AfterParameterList) {
2357 assert(!CodeSynthesisContexts.empty());
2367 if (FunctionScopes.empty())
2370 auto I = FunctionScopes.rbegin();
2371 if (IgnoreNonLambdaCapturingScope) {
2372 auto E = FunctionScopes.rend();
2373 while (I != E && isa<CapturingScopeInfo>(*I) && !isa<LambdaScopeInfo>(*I))
2378 auto *CurLSI = dyn_cast<LambdaScopeInfo>(*I);
2379 if (CurLSI && CurLSI->Lambda && CurLSI->CallOperator &&
2380 !CurLSI->Lambda->Encloses(CurContext) && CurLSI->AfterParameterList) {
2382 assert(!CodeSynthesisContexts.empty());
2393 return (LSI->TemplateParams.size() ||
2394 LSI->GLTemplateParameterList) ? LSI :
nullptr;
2401 if (!LangOpts.RetainCommentsFromSystemHeaders &&
2402 SourceMgr.isInSystemHeader(Comment.
getBegin()))
2408 StringRef MagicMarkerText;
2411 MagicMarkerText =
"///<";
2414 MagicMarkerText =
"/**<";
2419 Diag(Comment.
getBegin(), diag::warn_splice_in_doxygen_comment);
2422 llvm_unreachable(
"if this is an almost Doxygen comment, "
2423 "it should be ordinary");
2425 Diag(Comment.
getBegin(), diag::warn_not_a_doxygen_trailing_member_comment) <<
2433char ExternalSemaSource::ID;
2443 llvm::MapVector<NamedDecl *, SourceLocation> &Undefined) {}
2462 OverloadSet.
clear();
2465 bool IsMemExpr =
false;
2475 Overloads = dyn_cast<UnresolvedMemberExpr>(E.
IgnoreParens());
2479 bool Ambiguous =
false;
2484 DeclsEnd = Overloads->
decls_end(); it != DeclsEnd; ++it) {
2492 = dyn_cast<FunctionDecl>((*it)->getUnderlyingDecl())) {
2493 if (OverloadDecl->getMinRequiredArguments() == 0) {
2494 if (!ZeroArgCallReturnTy.
isNull() && !Ambiguous &&
2495 (!IsMV || !(OverloadDecl->isCPUDispatchMultiVersion() ||
2496 OverloadDecl->isCPUSpecificMultiVersion()))) {
2500 ZeroArgCallReturnTy = OverloadDecl->getReturnType();
2501 IsMV = OverloadDecl->isCPUDispatchMultiVersion() ||
2502 OverloadDecl->isCPUSpecificMultiVersion();
2510 return !ZeroArgCallReturnTy.
isNull();
2527 if (
const auto *DeclRef = dyn_cast<DeclRefExpr>(E.
IgnoreParens())) {
2528 if (
const auto *Fun = dyn_cast<FunctionDecl>(DeclRef->getDecl())) {
2529 if (Fun->getMinRequiredArguments() == 0)
2530 ZeroArgCallReturnTy = Fun->getReturnType();
2545 if (
const auto *FPT = dyn_cast_if_present<FunctionProtoType>(FunTy)) {
2546 if (FPT->getNumParams() == 0)
2567 unsigned ShownOverloads = 0;
2568 unsigned SuppressedOverloads = 0;
2570 DeclsEnd = Overloads.
end(); It != DeclsEnd; ++It) {
2572 ++SuppressedOverloads;
2580 !FD->
getAttr<TargetAttr>()->isDefaultVersion())
2583 !FD->
getAttr<TargetVersionAttr>()->isDefaultVersion())
2592 if (SuppressedOverloads)
2593 S.
Diag(FinalNoteLoc, diag::note_ovl_too_many_candidates)
2594 << SuppressedOverloads;
2599 bool (*IsPlausibleResult)(
QualType)) {
2600 if (!IsPlausibleResult)
2605 DeclsEnd = Overloads.
end(); It != DeclsEnd; ++It) {
2606 const auto *OverloadDecl = cast<FunctionDecl>(*It);
2607 QualType OverloadResultTy = OverloadDecl->getReturnType();
2608 if (IsPlausibleResult(OverloadResultTy))
2609 PlausibleOverloads.
addDecl(It.getDecl());
2620 return (!isa<CStyleCastExpr>(E) &&
2621 !isa<UnaryOperator>(E) &&
2622 !isa<BinaryOperator>(E) &&
2623 !isa<CXXOperatorCallExpr>(E));
2627 if (
const auto *UO = dyn_cast<UnaryOperator>(E))
2628 E = UO->getSubExpr();
2630 if (
const auto *ULE = dyn_cast<UnresolvedLookupExpr>(E)) {
2631 if (ULE->getNumDecls() == 0)
2634 const NamedDecl *ND = *ULE->decls_begin();
2635 if (
const auto *FD = dyn_cast<FunctionDecl>(ND))
2643 bool (*IsPlausibleResult)(
QualType)) {
2650 if (!isSFINAEContext()) {
2652 if (tryExprAsCall(*E.
get(), ZeroArgCallTy, Overloads) &&
2653 !ZeroArgCallTy.
isNull() &&
2654 (!IsPlausibleResult || IsPlausibleResult(ZeroArgCallTy))) {
2671 E = BuildCallExpr(
nullptr, E.
get(),
Range.
getEnd(), std::nullopt,
2676 if (!ForceComplain)
return false;
2688 Ident_super = &Context.
Idents.
get(
"super");
2694 unsigned OpenMPCaptureLevel) {
2698 ? OpenMP().getOpenMPNestingLevel()
2700 OpenMPCaptureLevel);
2701 CSI->ReturnType = Context.
VoidTy;
2702 FunctionScopes.push_back(CSI);
2703 CapturingFunctionScopes++;
2707 if (FunctionScopes.empty())
2710 return dyn_cast<CapturedRegionScopeInfo>(FunctionScopes.back());
2713const llvm::MapVector<FieldDecl *, Sema::DeleteLocs> &
2719 : S(S), OldFPFeaturesState(S.CurFPFeatures),
2720 OldOverrides(S.FpPragmaStack.CurrentValue),
2721 OldEvalMethod(S.PP.getCurrentFPEvalMethod()),
2722 OldFPPragmaLocation(S.PP.getLastFPEvalPragmaLocation()) {}
2732 "can only be called for qualified names");
2742 bool Result = llvm::all_of(LR, [](
Decl *Dcl) {
2743 if (
NamedDecl *ND = dyn_cast<NamedDecl>(Dcl)) {
2744 ND = ND->getUnderlyingDecl();
2745 return isa<FunctionDecl>(ND) || isa<FunctionTemplateDecl>(ND) ||
Defines the clang::ASTContext interface.
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the classes clang::DelayedDiagnostic and clang::AccessedEntity.
Defines the clang::Expr interface and subclasses for C++ expressions.
llvm::DenseSet< const void * > Visited
llvm::MachO::FileType FileType
Implements a partial diagnostic that can be emitted anwyhere in a DiagnosticBuilder stream.
Defines the clang::Preprocessor interface.
This file declares semantic analysis for CUDA constructs.
This file declares facilities that support code completion.
This file declares semantic analysis for HLSL constructs.
This file declares semantic analysis for Objective-C.
This file declares semantic analysis for OpenACC constructs and clauses.
This file declares semantic analysis for OpenMP constructs and clauses.
This file declares semantic analysis for SYCL constructs.
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.
Defines utilities for dealing with stack allocation and stack space.
ASTConsumer - This is an abstract interface that should be implemented by clients that read ASTs.
virtual void CompleteTentativeDefinition(VarDecl *D)
CompleteTentativeDefinition - Callback invoked at the end of a translation unit to notify the consume...
virtual ASTMutationListener * GetASTMutationListener()
If the consumer is interested in entities getting modified after their initial creation,...
virtual void CompleteExternalDeclaration(VarDecl *D)
CompleteExternalDeclaration - Callback invoked at the end of a translation unit to notify the consume...
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
SourceManager & getSourceManager()
TranslationUnitDecl * getTranslationUnitDecl() const
QualType getAtomicType(QualType T) const
Return the uniqued reference to the atomic type for the specified type.
TypedefDecl * getObjCClassDecl() const
Retrieve the typedef declaration corresponding to the predefined Objective-C 'Class' type.
TypedefDecl * getCFConstantStringDecl() const
const llvm::fltSemantics & getFloatTypeSemantics(QualType T) const
Return the APFloat 'semantics' for the specified scalar floating point type.
TypedefDecl * getObjCSelDecl() const
Retrieve the typedef corresponding to the predefined 'SEL' type in Objective-C.
TypedefDecl * buildImplicitTypedef(QualType T, StringRef Name) const
Create a new implicit TU-level typedef declaration.
TypedefDecl * getBuiltinMSVaListDecl() const
Retrieve the C type declaration corresponding to the predefined __builtin_ms_va_list type.
TypedefDecl * getObjCIdDecl() const
Retrieve the typedef corresponding to the predefined id type in Objective-C.
CanQualType getCanonicalType(QualType T) const
Return the canonical (structural) type corresponding to the specified potentially non-canonical type ...
ArrayRef< Decl * > getModuleInitializers(Module *M)
Get the initializations to perform when importing a module, if any.
void addComment(const RawComment &RC)
RecordDecl * buildImplicitRecord(StringRef Name, RecordDecl::TagKind TK=RecordDecl::TagKind::Struct) const
Create a new implicit TU-level CXXRecordDecl or RecordDecl declaration.
const IncompleteArrayType * getAsIncompleteArrayType(QualType T) const
QualType getConstantArrayType(QualType EltTy, const llvm::APInt &ArySize, const Expr *SizeExpr, ArraySizeModifier ASM, unsigned IndexTypeQuals) const
Return the unique reference to the type for a constant array of the specified element type.
const LangOptions & getLangOpts() const
QualType getUIntPtrType() const
Return a type compatible with "uintptr_t" (C99 7.18.1.4), as defined by the target.
PartialDiagnostic::DiagStorageAllocator & getDiagAllocator()
QualType getPointerDiffType() const
Return the unique type for "ptrdiff_t" (C99 7.17) defined in <stddef.h>.
const TargetInfo * getAuxTargetInfo() const
CanQualType UnsignedLongTy
CanQualType getSizeType() const
Return the unique type for "size_t" (C99 7.17), defined in <stddef.h>.
CanQualType BoundMemberTy
TypedefDecl * getInt128Decl() const
Retrieve the declaration for the 128-bit signed integer type.
LangAS getDefaultOpenCLPointeeAddrSpace()
Returns default address space based on OpenCL version and enabled features.
CanQualType OCLClkEventTy
TypedefDecl * getUInt128Decl() const
Retrieve the declaration for the 128-bit unsigned integer type.
const clang::PrintingPolicy & getPrintingPolicy() const
uint64_t getTypeSize(QualType T) const
Return the size of the specified (complete) type T, in bits.
ObjCInterfaceDecl * getObjCProtocolDecl() const
Retrieve the Objective-C class declaration corresponding to the predefined Protocol class.
TypedefDecl * getBuiltinVaListDecl() const
Retrieve the C type declaration corresponding to the predefined __builtin_va_list type.
CanQualType UnsignedIntTy
CanQualType OCLReserveIDTy
const TargetInfo & getTargetInfo() const
void getFunctionFeatureMap(llvm::StringMap< bool > &FeatureMap, const FunctionDecl *) const
void setBlockVarCopyInit(const VarDecl *VD, Expr *CopyExpr, bool CanThrow)
Set the copy initialization expression of a block var decl.
ExternalASTSource * getExternalSource() const
Retrieve a pointer to the external AST source associated with this AST context, if any.
QualType getIntPtrType() const
Return a type compatible with "intptr_t" (C99 7.18.1.4), as defined by the target.
IdentifierInfo * getBoolName() const
Retrieve the identifier 'bool'.
void setPrintingPolicy(const clang::PrintingPolicy &Policy)
An abstract interface that should be implemented by listeners that want to be notified when an AST en...
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.
An iterator over the friend declarations of a class.
Represents a C++ struct/union/class.
friend_iterator friend_begin() const
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.
const char * getCastKindName() const
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.
FunctionDecl * getAsFunction() LLVM_READONLY
Returns the function itself, or the templated function if this is a function template.
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...
static bool isDefaultMappingAsError(unsigned DiagID)
Return true if the specified diagnostic is mapped to errors by default.
static bool isBuiltinNote(unsigned DiagID)
Determine whether the given built-in diagnostic ID is a Note.
@ 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) ...
const SourceLocation & getLocation() const
DiagnosticBuilder Report(SourceLocation Loc, unsigned DiagID)
Issue the message to the client.
void SetArgToStringFn(ArgToStringFnTy Fn, void *Cookie)
bool hasErrorOccurred() const
void overloadCandidatesShown(unsigned N)
Call this after showing N overload candidates.
void setLastDiagnosticIgnored(bool Ignored)
Pretend that the last diagnostic issued was ignored, so any subsequent notes will be suppressed,...
unsigned getNumOverloadCandidatesToShow() const
When a call or operator fails, print out up to this many candidate overloads as suggestions.
SourceLocation getCurrentDiagLoc() const
void Clear()
Clear out the current diagnostic.
bool hasFatalErrorOccurred() const
bool isIgnored(unsigned DiagID, SourceLocation Loc) const
Determine whether the diagnostic is known to be ignored.
Level getDiagnosticLevel(unsigned DiagID, SourceLocation Loc) const
Based on the way the client configured the DiagnosticsEngine object, classify the specified diagnosti...
bool EmitCurrentDiagnostic(bool Force=false)
Emit the current diagnostic and clear the diagnostic state.
bool getSuppressSystemWarnings() const
unsigned getCurrentDiagID() 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...
llvm::vfs::FileSystem & getVirtualFileSystem() const
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.
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 hasBody(const FunctionDecl *&Definition) const
Returns true if the function has a body.
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.
Declaration of a template function.
FunctionType - C99 6.7.5.3 - Function Declarators.
QualType getReturnType() const
One of these records is kept for each identifier that is lexed.
StringRef getName() const
Return the actual identifier string.
iterator begin(DeclarationName Name)
Returns an iterator over decls with the name 'Name'.
iterator end()
Returns the end iterator.
IdentifierInfo & get(StringRef Name)
Return the identifier token info for the specified named identifier.
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.
bool IsHeaderFile
Indicates whether the front-end is explicitly told that the input is a header file (i....
CommentOptions CommentOpts
Options for parsing comments.
unsigned getOpenCLCompatibleVersion() const
Return the OpenCL version that kernel language is compatible with.
void erase(iterator From, iterator To)
iterator begin(Source *source, bool LocalOnly=false)
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.
An abstract interface that should be implemented by external AST sources that also provide informatio...
static const unsigned NumNSNumberLiteralMethods
This represents a decl that may have a name.
NamedDecl * getUnderlyingDecl()
Looks through UsingDecls and ObjCCompatibleAliasDecls for the underlying named decl.
bool hasExternalFormalLinkage() const
True if this decl has external linkage.
NamedDecl * getMostRecentDecl()
bool isExternallyVisible() const
This represents '#pragma omp target' directive.
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.
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.
unsigned getDiagID() const
void Emit(const DiagnosticBuilder &DB) const
Engages in a tight little dance with the lexer to efficiently preprocess tokens.
bool isIncrementalProcessingEnabled() const
Returns true if incremental processing is enabled.
const MacroInfo * getMacroInfo(const IdentifierInfo *II) const
LangOptions::FPEvalMethodKind getCurrentFPEvalMethod() const
const TranslationUnitKind TUKind
The kind of translation unit we are processing.
ModuleLoader & getModuleLoader() const
Retrieve the module loader associated with this preprocessor.
void addPPCallbacks(std::unique_ptr< PPCallbacks > C)
IdentifierInfo * getIdentifierInfo(StringRef Name) const
Return information about the specified preprocessor identifier token.
Module * getCurrentModule()
Retrieves the module that we're currently building, if any.
void setCurrentFPEvalMethod(SourceLocation PragmaLoc, LangOptions::FPEvalMethodKind Val)
FileManager & getFileManager() const
bool isCodeCompletionEnabled() const
Determine if we are performing code completion.
HeaderSearch & getHeaderSearchInfo() const
const LangOptions & getLangOpts() const
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.
decl_type * getMostRecentDecl()
Returns the most recent (re)declaration of this declaration.
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()).
SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID, bool DeferHint=false)
Emit a diagnostic.
const LangOptions & getLangOpts() const
DiagnosticsEngine & getDiagnostics() const
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...
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...
void finalizeOpenMPDelayedAnalysis(const FunctionDecl *Caller, const FunctionDecl *Callee, SourceLocation Loc)
Finishes analysis of the deferred functions calls that may be declared as host/nohost during device/h...
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< CodeSynthesisContext, 16 > CodeSynthesisContexts
List of active code synthesis contexts.
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....
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.
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.
Scope * getScopeForContext(DeclContext *Ctx)
Determines the active Scope associated with the given declaration context.
llvm::DenseSet< std::pair< Decl *, unsigned > > InstantiatingSpecializations
Specializations whose definitions are currently being instantiated.
PragmaStack< FPOptionsOverride > FpPragmaStack
void setFunctionHasBranchIntoScope()
virtual void anchor()
This virtual key function only exists to limit the emission of debug info describing the Sema class.
void ActOnComment(SourceRange Comment)
void ActOnEndOfTranslationUnit()
ActOnEndOfTranslationUnit - This is called at the very end of the translation unit when EOF is reache...
FPOptionsOverride CurFPFeatureOverrides()
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 diagnoseNullableToNonnullConversion(QualType DstType, QualType SrcType, SourceLocation Loc)
Warn if we're implicitly casting from a _Nullable pointer type to a _Nonnull one.
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.
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
SmallVector< std::pair< FunctionDecl *, FunctionDecl * >, 2 > DelayedEquivalentExceptionSpecChecks
All the function redeclarations seen during a class definition that had their exception spec checks d...
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.
SmallVector< VarDecl *, 4 > ExternalDeclarations
All the external declarations encoutered and used in the TU.
static const unsigned MaxAlignmentExponent
The maximum alignment, same as in llvm::Value.
bool shouldIgnoreInHostDeviceCheck(FunctionDecl *Callee)
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.
void EmitCurrentDiagnostic(unsigned DiagID)
Cause the active diagnostic on the DiagosticsEngine to be emitted.
std::unique_ptr< sema::FunctionScopeInfo, PoppedFunctionScopeDeleter > PoppedFunctionScopePtr
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()
const LangOptions & getLangOpts() const
const FunctionProtoType * ResolveExceptionSpec(SourceLocation Loc, const FunctionProtoType *FPT)
ASTConsumer & getASTConsumer() const
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
sema::LambdaScopeInfo * getCurLambda(bool IgnoreNonLambdaCapturingScope=false)
Retrieve the current lambda scope info, if any.
static const uint64_t MaximumAlignment
void PerformPendingInstantiations(bool LocalOnly=false)
Performs template instantiation for all implicit template instantiations we have seen until this poin...
NamedDeclSetType UnusedPrivateFields
Set containing all declared private fields that are not used.
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.
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...
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 ...
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...
FunctionEmissionStatus getEmissionStatus(const FunctionDecl *Decl, bool Final=false)
Module * getCurrentModule() const
Get the module unit whose scope we are currently within.
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)
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 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.
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.
void DiagnoseNonDefaultPragmaAlignPack(PragmaAlignPackDiagnoseKind Kind, SourceLocation IncludeLoc)
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)
void * VisContext
VisContext - Manages the stack for #pragma GCC visibility.
void PushCapturedRegionScope(Scope *RegionScope, CapturedDecl *CD, RecordDecl *RD, CapturedRegionKind K, unsigned OpenMPCaptureLevel=0)
void setFunctionHasMustTail()
bool WarnedStackExhausted
void CheckCompleteVariableDeclaration(VarDecl *VD)
@ Global
The global module fragment, between 'module;' and a module-declaration.
@ Private
The private module fragment, between 'module :private;' and the end of the translation unit.
@ Normal
A normal translation unit fragment.
void setFunctionHasBranchProtectedScope()
RedeclarationKind forRedeclarationInCurContext() const
void ActOnStartOfTranslationUnit()
This is called before the very first declaration in the translation unit is parsed.
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...
PartialDiagnostic PDiag(unsigned DiagID=0)
Build a partial diagnostic.
void DiagnoseUnterminatedPragmaAttribute()
void FreeVisContext()
FreeVisContext - Deallocate and null out VisContext.
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()
LateTemplateParserCleanupCB * LateTemplateParserCleanup
ExprResult PerformCopyInitialization(const InitializedEntity &Entity, SourceLocation EqualLoc, ExprResult Init, bool TopLevelOfInitList=false, bool AllowExplicit=false)
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.
llvm::BumpPtrAllocator BumpAlloc
sema::LambdaScopeInfo * getEnclosingLambda() const
Get the innermost lambda enclosing the current location, if any.
void runWithSufficientStackSpace(SourceLocation Loc, llvm::function_ref< void()> Fn)
Run some code with "sufficient" stack space.
void addExternalSource(ExternalSemaSource *E)
Registers an external source.
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 warnStackExhausted(SourceLocation Loc)
Warn that the stack is nearly exhausted.
void diagnoseZeroToNullptrConversion(CastKind Kind, const Expr *E)
Warn when implicitly casting 0 to nullptr.
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.
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.
bool isInMainFile(SourceLocation Loc) const
Returns whether the PresumedLoc for a given SourceLocation is in the main file.
bool isInSystemMacro(SourceLocation loc) const
Returns whether Loc is expanded from a macro in a system header.
bool isInSystemHeader(SourceLocation Loc) const
Returns if a SourceLocation is in a system header.
SourceLocation getExpansionLoc(SourceLocation Loc) const
Given a SourceLocation object Loc, return the expansion location referenced by the ID.
A trivial tuple used to represent a source range.
SourceLocation getEnd() const
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.
virtual bool hasBitIntType() const
Determine whether the _BitInt type is supported on this target.
const llvm::Triple & getTriple() const
Returns the target triple of the primary target.
virtual bool hasInt128Type() const
Determine whether the __int128 type is supported on this target.
virtual bool hasFloat16Type() const
Determine whether the _Float16 type is supported on this target.
llvm::StringMap< bool > & getSupportedOpenCLOpts()
Get supported OpenCL extensions and optional core features.
virtual bool hasIbm128Type() const
Determine whether the __ibm128 type is supported on this target.
virtual bool hasFPReturn() const
Determine whether return of a floating point value is supported on this target.
bool hasBuiltinMSVaList() const
Returns whether or not type __builtin_ms_va_list type is available on this target.
virtual bool hasFloat128Type() const
Determine whether the __float128 type is supported on this target.
bool hasAArch64SVETypes() const
Returns whether or not the AArch64 SVE built-in types are available on this target.
virtual bool hasBFloat16Type() const
Determine whether the _BFloat16 type is supported on this target.
virtual bool hasFeature(StringRef Feature) const
Determine whether the given target has the given feature.
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.
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
bool isFloat16Type() const
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
bool isSVESizelessBuiltinType() const
Returns true for SVE scalable vector types.
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.
Simple class containing the result of Sema::CorrectTypo.
A set of unresolved declarations.
void addDecl(NamedDecl *D)
The iterator over UnresolvedSets.
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 * 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.
bool isEscapingByref() const
Indicates the capture is a __block variable that is captured by a block that can potentially escape (...
Declaration of a variable template.
void IssueWarnings(Policy P, FunctionScopeInfo *fscope, const Decl *D, QualType BlockType)
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.
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...
void threadSafetyCleanup(BeforeSet *Cache)
The JSON file list parser is used to communicate input to InstallAPI.
@ Self
'self' clause, allowed on Compute and Combined Constructs, plus 'update'.
@ 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.
CapturedRegionKind
The different kinds of captured statement.
@ Result
The result type of a method or function.
@ Class
The "class" keyword.
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.
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.
const FunctionProtoType * T
bool isExternalFormalLinkage(Linkage L)
std::pair< SourceLocation, PartialDiagnostic > PartialDiagnosticAt
A partial diagnostic along with the source location where this diagnostic occurs.
@ 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.
void runWithSufficientStackSpace(llvm::function_ref< void()> Diag, llvm::function_ref< void()> Fn)
Run a given function on a stack with "sufficient" space.
bool isExternallyVisible(Linkage L)
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<=>.