39#include "llvm/ADT/STLExtras.h"
40#include "llvm/ADT/STLForwardCompat.h"
41#include "llvm/ADT/SmallPtrSet.h"
42#include "llvm/ADT/TinyPtrVector.h"
43#include "llvm/ADT/edit_distance.h"
44#include "llvm/Support/Casting.h"
45#include "llvm/Support/ErrorHandling.h"
54#include "OpenCLBuiltins.inc"
60 class UnqualUsingEntry {
67 : Nominated(Nominated), CommonAncestor(CommonAncestor) {
71 return CommonAncestor;
80 bool operator()(
const UnqualUsingEntry &L,
const UnqualUsingEntry &R) {
81 return L.getCommonAncestor() < R.getCommonAncestor();
84 bool operator()(
const UnqualUsingEntry &E,
const DeclContext *DC) {
85 return E.getCommonAncestor() < DC;
88 bool operator()(
const DeclContext *DC,
const UnqualUsingEntry &E) {
89 return DC < E.getCommonAncestor();
96 class UnqualUsingDirectiveSet {
105 UnqualUsingDirectiveSet(
Sema &SemaRef) : SemaRef(SemaRef) {}
107 void visitScopeChain(
Scope *S,
Scope *InnermostFileScope) {
115 for (; S; S = S->getParent()) {
123 for (
auto *I : S->using_directives())
125 visit(I, InnermostFileDC);
138 if (!visited.insert(DC).second)
141 addUsingDirectives(DC, EffectiveDC);
149 if (!visited.insert(NS).second)
152 addUsingDirective(UD, EffectiveDC);
153 addUsingDirectives(NS, EffectiveDC);
164 if (SemaRef.
isVisible(UD) && visited.insert(NS).second) {
165 addUsingDirective(UD, EffectiveDC);
173 DC = queue.pop_back_val();
188 while (!Common->
Encloses(EffectiveDC))
195 void done() { llvm::sort(list, UnqualUsingEntry::Comparator()); }
197 typedef ListTy::const_iterator const_iterator;
199 const_iterator begin()
const {
return list.begin(); }
200 const_iterator end()
const {
return list.end(); }
202 llvm::iterator_range<const_iterator>
204 return llvm::make_range(std::equal_range(begin(), end(),
206 UnqualUsingEntry::Comparator()));
215 bool Redeclaration) {
236 assert(!Redeclaration &&
"cannot do redeclaration operator lookup");
275 assert(Redeclaration &&
"should only be used for redecl lookup");
302void LookupResult::configure() {
313 case OO_Array_Delete:
324 if (
unsigned BuiltinID =
Id->getBuiltinID()) {
331bool LookupResult::checkDebugAssumptions()
const {
334 assert(ResultKind !=
Found || Decls.
size() == 1);
336 (Decls.
size() == 1 &&
337 isa<FunctionTemplateDecl>((*
begin())->getUnderlyingDecl())));
342 assert((Paths !=
nullptr) == (ResultKind ==
Ambiguous &&
376 !isa<UsingShadowDecl>(Existing))
390 if (DUnderlying->getCanonicalDecl() != EUnderlying->getCanonicalDecl()) {
391 assert(isa<TypeDecl>(DUnderlying) && isa<TypeDecl>(EUnderlying));
392 bool HaveTag = isa<TagDecl>(EUnderlying);
395 return HaveTag != WantTag;
402 if (
const auto *DFD = dyn_cast<FunctionDecl>(DUnderlying)) {
403 const auto *EFD = cast<FunctionDecl>(EUnderlying);
404 unsigned DMin = DFD->getMinRequiredArguments();
405 unsigned EMin = EFD->getMinRequiredArguments();
414 if (
const auto *DTD = dyn_cast<TemplateDecl>(DUnderlying)) {
415 const auto *ETD = cast<TemplateDecl>(EUnderlying);
416 unsigned DMin = DTD->getTemplateParameters()->getMinRequiredArguments();
417 unsigned EMin = ETD->getTemplateParameters()->getMinRequiredArguments();
426 for (
unsigned I = DMin, N = DTD->getTemplateParameters()->size();
429 ETD->getTemplateParameters()->getParam(I)) &&
431 DTD->getTemplateParameters()->getParam(I)))
438 if (
const auto *DVD = dyn_cast<VarDecl>(DUnderlying)) {
439 const auto *EVD = cast<VarDecl>(EUnderlying);
440 if (EVD->getType()->isIncompleteType() &&
441 !DVD->getType()->isIncompleteType()) {
449 if (!isa<FunctionDecl>(DUnderlying) && !isa<VarDecl>(DUnderlying)) {
458 if (Prev == EUnderlying)
478 return isa<VarDecl>(D) || isa<EnumConstantDecl>(D) || isa<FunctionDecl>(D) ||
479 isa<FunctionTemplateDecl>(D) || isa<FieldDecl>(D) ||
480 isa<UnresolvedUsingValueDecl>(D);
485 unsigned N = Decls.
size();
498 if (isa<FunctionTemplateDecl>(D))
500 else if (isa<UnresolvedUsingValueDecl>(D))
508 llvm::SmallDenseMap<const NamedDecl *, unsigned, 16> Unique;
509 llvm::SmallDenseMap<QualType, unsigned, 16> UniqueTypes;
512 bool ReferenceToPlaceHolderVariable =
false;
513 bool HasTag =
false, HasFunction =
false;
514 bool HasFunctionTemplate =
false, HasUnresolved =
false;
515 const NamedDecl *HasNonFunction =
nullptr;
518 llvm::BitVector RemovedDecls(N);
520 for (
unsigned I = 0; I < N; I++) {
521 const NamedDecl *D = Decls[I]->getUnderlyingDecl();
527 N - RemovedDecls.count() > 1) {
539 if (HideTags && isa<TagDecl>(D)) {
541 for (
auto *OtherDecl : Decls) {
542 if (
canHideTag(OtherDecl) && !OtherDecl->isInvalidDecl() &&
554 std::optional<unsigned> ExistingI;
560 if (
const auto *TD = dyn_cast<TypeDecl>(D)) {
562 auto UniqueResult = UniqueTypes.insert(
564 if (!UniqueResult.second) {
566 ExistingI = UniqueResult.first->second;
573 auto UniqueResult = Unique.insert(std::make_pair(D, I));
574 if (!UniqueResult.second) {
576 ExistingI = UniqueResult.first->second;
585 Decls[*ExistingI] = Decls[I];
592 if (isa<UnresolvedUsingValueDecl>(D)) {
593 HasUnresolved =
true;
594 }
else if (isa<TagDecl>(D)) {
598 }
else if (isa<FunctionTemplateDecl>(D)) {
600 HasFunctionTemplate =
true;
601 }
else if (isa<FunctionDecl>(D)) {
604 if (HasNonFunction) {
609 if (
getSema().isEquivalentInternalLinkageDeclaration(HasNonFunction,
611 EquivalentNonFunctions.push_back(D);
618 ReferenceToPlaceHolderVariable =
true;
628 if (!EquivalentNonFunctions.empty() && !
Ambiguous)
630 getNameLoc(), HasNonFunction, EquivalentNonFunctions);
635 for (
int I = RemovedDecls.find_last(); I >= 0; I = RemovedDecls.find_prev(I))
636 Decls[I] = Decls[--N];
639 if ((HasNonFunction && (HasFunction || HasUnresolved)) ||
640 (HideTags && HasTag && (HasFunction || HasNonFunction || HasUnresolved)))
643 if (
Ambiguous && ReferenceToPlaceHolderVariable)
647 else if (HasUnresolved)
649 else if (N > 1 || HasFunctionTemplate)
655void LookupResult::addDeclsFromBasePaths(
const CXXBasePaths &
P) {
657 for (I =
P.begin(), E =
P.end(); I != E; ++I)
666 addDeclsFromBasePaths(*Paths);
674 addDeclsFromBasePaths(*Paths);
680 Out << Decls.
size() <<
" result(s)";
682 if (Paths) Out <<
", base paths present";
699 llvm::StringRef Name) {
701 << TypeClass << Name;
743 Sema &S,
const OpenCLBuiltinStruct &OpenCLBuiltin,
unsigned &GenTypeMaxCnt,
747 unsigned Sig = SignatureTable[OpenCLBuiltin.SigTableIndex];
748 OCL2Qual(S, TypeTable[Sig], RetTypes);
749 GenTypeMaxCnt = RetTypes.size();
753 for (
unsigned Index = 1; Index < OpenCLBuiltin.NumTypes; Index++) {
755 OCL2Qual(S, TypeTable[SignatureTable[OpenCLBuiltin.SigTableIndex + Index]],
757 GenTypeMaxCnt = (Ty.size() > GenTypeMaxCnt) ? Ty.size() : GenTypeMaxCnt;
758 ArgTypes.push_back(std::move(Ty));
781 if (RetTypes.size() == 0)
785 for (
unsigned IGenType = 0; IGenType < GenTypeMaxCnt; IGenType++) {
788 for (
unsigned A = 0; A < ArgTypes.size(); A++) {
790 if (ArgTypes[A].size() == 0)
796 assert(GenTypeMaxCnt % ArgTypes[A].size() == 0 &&
797 "argument type count not compatible with gentype type count");
798 unsigned Idx = IGenType % ArgTypes[A].size();
799 ArgList.push_back(ArgTypes[A][Idx]);
803 RetTypes[(RetTypes.size() != 1) ? IGenType : 0], ArgList, PI));
818 const unsigned FctIndex,
819 const unsigned Len) {
821 bool HasGenType =
false;
825 unsigned GenTypeMaxCnt;
829 for (
unsigned SignatureIndex = 0; SignatureIndex < Len; SignatureIndex++) {
830 const OpenCLBuiltinStruct &OpenCLBuiltin =
831 BuiltinTable[FctIndex + SignatureIndex];
835 if (!isOpenCLVersionContainedInMask(Context.
getLangOpts(),
836 OpenCLBuiltin.Versions))
842 StringRef Extensions = FunctionExtensionTable[OpenCLBuiltin.Extension];
843 if (!Extensions.empty()) {
845 Extensions.split(ExtVec,
" ");
846 bool AllExtensionsDefined =
true;
847 for (StringRef Ext : ExtVec) {
849 AllExtensionsDefined =
false;
853 if (!AllExtensionsDefined)
863 if (GenTypeMaxCnt > 1) {
868 std::vector<QualType> FunctionList;
876 for (
const auto &FTy : FunctionList) {
880 FTy->isFunctionProtoType());
885 const auto *FP = cast<FunctionProtoType>(FTy);
887 for (
unsigned IParm = 0, e = FP->getNumParams(); IParm != e; ++IParm) {
890 nullptr, FP->getParamType(IParm),
nullptr,
SC_None,
nullptr);
892 ParmList.push_back(Parm);
894 NewOpenCLBuiltin->setParams(ParmList);
897 if (OpenCLBuiltin.IsPure)
898 NewOpenCLBuiltin->
addAttr(PureAttr::CreateImplicit(Context));
899 if (OpenCLBuiltin.IsConst)
900 NewOpenCLBuiltin->
addAttr(ConstAttr::CreateImplicit(Context));
901 if (OpenCLBuiltin.IsConv)
902 NewOpenCLBuiltin->
addAttr(ConvergentAttr::CreateImplicit(Context));
905 NewOpenCLBuiltin->
addAttr(OverloadableAttr::CreateImplicit(Context));
912 if (Len > 1 || HasGenType)
940 auto Index = isOpenCLBuiltin(II->
getName());
949 if (!RVIntrinsicManager)
952 RVIntrinsicManager->InitIntrinsicList();
954 if (RVIntrinsicManager->CreateIntrinsicIfFound(R, II,
PP))
993 if (ID == Builtin::BIobjc_msgSendSuper)
1001 if (!
Class->getDefinition() ||
Class->isDependentContext())
1005 return !
Class->isBeingDefined();
1013 if (
Class->needsImplicitDefaultConstructor())
1017 if (
Class->needsImplicitCopyConstructor())
1021 if (
Class->needsImplicitCopyAssignment())
1026 if (
Class->needsImplicitMoveConstructor())
1030 if (
Class->needsImplicitMoveAssignment())
1035 if (
Class->needsImplicitDestructor())
1042 switch (Name.getNameKind()) {
1048 return Name.getCXXOverloadedOperator() == OO_Equal;
1066 switch (Name.getNameKind()) {
1071 if (
Record->needsImplicitDefaultConstructor())
1073 if (
Record->needsImplicitCopyConstructor())
1076 Record->needsImplicitMoveConstructor())
1083 if (
Record->getDefinition() &&
Record->needsImplicitDestructor() &&
1089 if (Name.getCXXOverloadedOperator() != OO_Equal)
1095 if (
Record->needsImplicitCopyAssignment())
1098 Record->needsImplicitMoveAssignment())
1138 !isa<CXXRecordDecl>(DC))
1146 if (!
Record->isCompleteDefinition())
1152 auto *ContainedDeducedType =
1156 ContainedDeducedType && ContainedDeducedType->isUndeducedType())
1160 UEnd =
Record->conversion_end();
U != UEnd; ++
U) {
1190 assert(ConvProto &&
"Nonsensical conversion function template type");
1217 UnqualUsingDirectiveSet &UDirs) {
1219 assert(NS && NS->
isFileContext() &&
"CppNamespaceLookup() requires namespace!");
1226 for (
const UnqualUsingEntry &UUE : UDirs.getNamespacesFor(NS))
1245 for (
Scope *OuterS = S->getParent(); OuterS; OuterS = OuterS->getParent())
1254struct FindLocalExternScope {
1256 : R(R), OldFindLocalExtern(R.getIdentifierNamespace() &
1257 Decl::IDNS_LocalExtern) {
1264 ~FindLocalExternScope() {
1268 bool OldFindLocalExtern;
1293 Name.getCXXNameType()->isDependentType()) {
1324 UnqualUsingDirectiveSet UDirs(*
this);
1325 bool VisitedUsingDirectives =
false;
1326 bool LeftStartingScope =
false;
1329 FindLocalExternScope FindLocals(R);
1332 bool SearchNamespaceScope =
true;
1334 for (; I != IEnd && S->isDeclScope(*I); ++I) {
1337 !(*I)->isTemplateParameter()) {
1343 if (!LeftStartingScope && !Initial->
isDeclScope(*I))
1344 LeftStartingScope =
true;
1348 if (LeftStartingScope && !((*I)->hasLinkage())) {
1355 SearchNamespaceScope =
false;
1360 if (!SearchNamespaceScope) {
1362 if (S->isClassScope())
1363 if (
auto *
Record = dyn_cast_if_present<CXXRecordDecl>(S->getEntity()))
1393 if (Method->isInstanceMethod() && Name.getAsIdentifierInfo())
1397 Name.getAsIdentifierInfo(),
1415 if (!VisitedUsingDirectives) {
1418 if (UCtx->isTransparentContext())
1421 UDirs.visit(UCtx, UCtx);
1426 Scope *InnermostFileScope = S;
1427 while (InnermostFileScope &&
1429 InnermostFileScope = InnermostFileScope->
getParent();
1430 UDirs.visitScopeChain(Initial, InnermostFileScope);
1434 VisitedUsingDirectives =
true;
1459 if (!S)
return false;
1470 if (!VisitedUsingDirectives) {
1471 UDirs.visitScopeChain(Initial, S);
1478 FindLocals.restore();
1484 for (; S; S = S->getParent()) {
1487 for (; I != IEnd && S->isDeclScope(*I); ++I) {
1498 if (Found && S->isTemplateParamScope()) {
1516 if (!(Found && S->isTemplateParamScope())) {
1518 "We should have been looking only at file context here already.");
1551 if (
auto *TD = dyn_cast<TemplateDecl>(ND))
1552 for (
auto *Param : *TD->getTemplateParameters())
1558 if (
FunctionDecl *FD = dyn_cast<FunctionDecl>(Entity)) {
1563 }
else if (
CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(Entity)) {
1566 }
else if (
EnumDecl *ED = dyn_cast<EnumDecl>(Entity)) {
1567 if (
auto *Pattern = ED->getTemplateInstantiationPattern())
1569 }
else if (
VarDecl *VD = dyn_cast<VarDecl>(Entity)) {
1577 if (Context->isFileContext())
1597bool Sema::isUsableModule(
const Module *M) {
1598 assert(M &&
"We shouldn't check nullness for module here");
1600 if (UsableModuleUnitsCache.count(M))
1608 if (M == TheGlobalModuleFragment || M == TheImplicitGlobalModuleFragment ||
1623 llvm::StringRef(
getLangOpts().CurrentModule).split(
':').first) {
1624 UsableModuleUnitsCache.insert(M);
1640 if (isUsableModule(Merged))
1645template <
typename ParmDecl>
1650 if (!D->hasDefaultArgument())
1654 while (D &&
Visited.insert(D).second) {
1655 auto &DefaultArg = D->getDefaultArgStorage();
1656 if (!DefaultArg.isInherited() && S.
isAcceptable(D, Kind))
1659 if (!DefaultArg.isInherited() && Modules) {
1660 auto *NonConstD =
const_cast<ParmDecl*
>(D);
1666 D = DefaultArg.getInheritedFrom();
1674 if (
auto *
P = dyn_cast<TemplateTypeParmDecl>(D))
1675 return ::hasAcceptableDefaultArgument(*
this,
P, Modules, Kind);
1677 if (
auto *
P = dyn_cast<NonTypeTemplateParmDecl>(D))
1678 return ::hasAcceptableDefaultArgument(*
this,
P, Modules, Kind);
1680 return ::hasAcceptableDefaultArgument(
1681 *
this, cast<TemplateTemplateParmDecl>(D), Modules, Kind);
1696template <
typename Filter>
1701 bool HasFilteredRedecls =
false;
1703 for (
auto *Redecl : D->
redecls()) {
1704 auto *R = cast<NamedDecl>(Redecl);
1711 HasFilteredRedecls =
true;
1714 Modules->push_back(R->getOwningModule());
1718 if (HasFilteredRedecls)
1731 if (
auto *RD = dyn_cast<CXXRecordDecl>(D))
1732 return RD->getTemplateSpecializationKind() ==
1734 if (
auto *FD = dyn_cast<FunctionDecl>(D))
1735 return FD->getTemplateSpecializationKind() ==
1737 if (
auto *VD = dyn_cast<VarDecl>(D))
1738 return VD->getTemplateSpecializationKind() ==
1740 llvm_unreachable(
"unknown explicit specialization kind");
1747 return ::hasAcceptableExplicitSpecialization(*
this, D, Modules,
1753 return ::hasAcceptableExplicitSpecialization(*
this, D, Modules,
1762 "not a member specialization");
1800bool LookupResult::isAcceptableSlow(
Sema &SemaRef,
NamedDecl *D,
1803 "should not call this: not in slow case");
1806 assert(DeclModule &&
"hidden decl has no owning module");
1816 auto IsEffectivelyFileContext = [](
const DeclContext *DC) {
1818 isa<ExportDecl>(DC);
1824 if (DC && !IsEffectivelyFileContext(DC)) {
1832 bool AcceptableWithinParent;
1834 bool SearchDefinitions =
true;
1835 if (
const auto *DCD = dyn_cast<Decl>(DC)) {
1836 if (
const auto *TD = DCD->getDescribedTemplate()) {
1839 SearchDefinitions = Index >= TPL->
size() || TPL->
getParam(Index) != D;
1842 if (SearchDefinitions)
1843 AcceptableWithinParent =
1846 AcceptableWithinParent =
1848 }
else if (isa<ParmVarDecl>(D) ||
1849 (isa<FunctionDecl>(DC) && !SemaRef.
getLangOpts().CPlusPlus))
1850 AcceptableWithinParent =
isAcceptable(SemaRef, cast<NamedDecl>(DC), Kind);
1854 AcceptableWithinParent =
false;
1857 AcceptableWithinParent =
true;
1861 }
while (!IsEffectivelyFileContext(DC));
1863 AcceptableWithinParent =
1875 return AcceptableWithinParent;
1882 "Additional Sema::AcceptableKind?");
1883 return isReachableSlow(SemaRef, D);
1889 if (ModulePrivate && isUsableModule(M))
1894 if (!ModulePrivate && VisibleModules.
isVisible(M))
1902 if (LookupModules.empty())
1906 if (LookupModules.count(M))
1920 return llvm::any_of(LookupModules, [&](
const Module *LookupM) {
1927bool LookupResult::isReachableSlow(
Sema &SemaRef,
NamedDecl *D) {
1928 assert(!
isVisible(SemaRef, D) &&
"Shouldn't call the slow case.\n");
1931 assert(DeclModule &&
"hidden decl has no owning module");
2001 "should not have hidden, non-externally-declarable result here");
2035 for (
auto *RD : D->
redecls()) {
2040 auto ND = cast<NamedDecl>(RD);
2044 if (ND->isInIdentifierNamespace(IDNS) &&
2054 assert(!
isVisible(D) &&
"not in slow case");
2056 *
this, D, Modules, [](
const NamedDecl *) {
return true; },
2064 *
this, D, Modules, [](
const NamedDecl *) {
return true; },
2069 if (
auto *ND = dyn_cast<NamespaceDecl>(D)) {
2077 if (
auto *Acceptable =
getSema().VisibleNamespaceCache.lookup(Key))
2131 if (
auto *FD = dyn_cast<FunctionDecl>(ND);
2132 FD && FD->isReservedGlobalPlacementOperator())
2161 if (
auto *TD = dyn_cast<TagDecl>(DC))
2196 bool ForceNoCPlusPlus) {
2198 if (!Name)
return false;
2208 (S->getEntity() && S->getEntity()->isTransparentContext()))
2213 FindLocalExternScope FindLocals(R);
2219 bool LeftStartingScope =
false;
2228 if (!LeftStartingScope && !S->isDeclScope(*I))
2229 LeftStartingScope =
true;
2233 if (LeftStartingScope && !((*I)->hasLinkage())) {
2239 !isa<ImplicitParamDecl>(*I))
2249 while (S && !S->isDeclScope(D))
2264 for (++LastI; LastI != IEnd; ++LastI) {
2267 if (!S->isDeclScope(*LastI))
2289 if (CppLookupName(R, S))
2335 assert(StartDC->
isFileContext() &&
"start context is not a file context");
2348 NamespaceDecl *ND = I->getNominatedNamespace()->getOriginalNamespace();
2350 Queue.push_back(ND);
2357 bool FoundTag =
false;
2358 bool FoundNonTag =
false;
2363 while (!Queue.empty()) {
2368 bool UseLocal = !R.
empty();
2398 Queue.push_back(Nom);
2403 if (FoundTag && FoundNonTag)
2435 bool InUnqualifiedLookup) {
2436 assert(LookupCtx &&
"Sema::LookupQualifiedName requires a lookup context");
2442 assert((!isa<TagDecl>(LookupCtx) ||
2444 cast<TagDecl>(LookupCtx)->isCompleteDefinition() ||
2445 cast<TagDecl>(LookupCtx)->isBeingDefined()) &&
2446 "Declaration context must already be complete!");
2448 struct QualifiedLookupInScope {
2456 ~QualifiedLookupInScope() {
2457 Context->setUseQualifiedLookup(oldVal);
2461 CXXRecordDecl *LookupRec = dyn_cast<CXXRecordDecl>(LookupCtx);
2476 Name.getCXXNameType()->isDependentType()) {
2539 for (Path.Decls = BaseRecord->
lookup(Name).
begin();
2540 Path.Decls != Path.Decls.
end(); ++Path.Decls) {
2541 if ((*Path.Decls)->isInIdentifierNamespace(IDNS))
2548 Paths.setOrigin(LookupRec);
2561 int SubobjectNumber = 0;
2567 if ((*I)->isInIdentifierNamespace(IDNS) && (*I)->isCXXInstanceMember())
2579 using Result =
const void *;
2581 auto Next = [&](Iterator &It, Iterator End) ->
Result {
2595 if (TemplateNameLookup)
2604 return T.getCanonicalType().getAsOpaquePtr();
2614 Iterator AIt = A, BIt = B, AEnd, BEnd;
2616 Result AResult = Next(AIt, AEnd);
2617 Result BResult = Next(BIt, BEnd);
2618 if (!AResult && !BResult)
2620 if (!AResult || !BResult)
2622 if (AResult != BResult) {
2625 llvm::SmallDenseMap<Result, bool, 32> AResults;
2626 for (; AResult; AResult = Next(AIt, AEnd))
2627 AResults.insert({AResult,
false});
2629 for (; BResult; BResult = Next(BIt, BEnd)) {
2630 auto It = AResults.find(BResult);
2631 if (It == AResults.end())
2638 return AResults.size() == Found;
2644 Path != PathEnd; ++Path) {
2649 SubobjectAccess = std::min(SubobjectAccess, Path->Access);
2652 if (SubobjectType.isNull()) {
2659 if (SubobjectType !=
2667 if (HasOnlyStaticMembers(Path->Decls) &&
2668 HasSameDeclarations(Paths.begin()->Decls, Path->Decls))
2671 R.setAmbiguousBaseSubobjectTypes(Paths);
2685 if (HasOnlyStaticMembers(Path->Decls))
2690 R.setAmbiguousBaseSubobjects(Paths);
2701 if (
NamedDecl *ND = R.getAcceptableDecl(*I))
2753 QualType ObjectType,
bool AllowBuiltinCreation,
2754 bool EnteringContext) {
2761 bool IsDependent =
false;
2762 if (!ObjectType.
isNull()) {
2765 assert((!SS || SS->
isEmpty()) &&
2766 "ObjectType and scope specifier cannot coexist");
2772 "Caller should have completed object type");
2788 return LookupName(R, S, AllowBuiltinCreation);
2795 else if (IsDependent)
2817 for (
const auto &BaseSpec :
Class->bases()) {
2826 for (
auto I =
Result.begin(), E =
Result.end(); I != E; ++I) {
2832 Result.suppressDiagnostics();
2846 assert(
Result.isAmbiguous() &&
"Lookup result must be ambiguous");
2852 switch (
Result.getAmbiguityKind()) {
2855 QualType SubobjectType = Paths->front().back().Base->getType();
2856 Diag(NameLoc, diag::err_ambiguous_member_multiple_subobjects)
2861 while (isa<CXXMethodDecl>(*Found) &&
2862 cast<CXXMethodDecl>(*Found)->isStatic())
2865 Diag((*Found)->getLocation(), diag::note_ambiguous_member_found);
2870 Diag(NameLoc, diag::err_ambiguous_member_multiple_subobject_types)
2871 << Name << LookupRange;
2874 std::set<const NamedDecl *> DeclsPrinted;
2876 PathEnd = Paths->end();
2877 Path != PathEnd; ++Path) {
2881 if (DeclsPrinted.insert(D).second) {
2884 << TD->getUnderlyingType();
2896 Diag(NameLoc, diag::err_ambiguous_tag_hiding) << Name << LookupRange;
2901 if (
TagDecl *TD = dyn_cast<TagDecl>(D)) {
2902 TagDecls.insert(TD);
2903 Diag(TD->getLocation(), diag::note_hidden_tag);
2907 if (!isa<TagDecl>(D))
2913 if (TagDecls.count(F.
next()))
2921 Diag(NameLoc, diag::err_using_placeholder_variable) << Name << LookupRange;
2933 Diag(NameLoc, diag::err_ambiguous_reference) << Name << LookupRange;
2943 struct AssociatedLookup {
2947 : S(S), Namespaces(Namespaces), Classes(Classes),
2948 InstantiationLoc(InstantiationLoc) {
2953 return ClassesTransitive.insert(RD);
3021 DeclContext *Ctx = ClassTemplate->getDeclContext();
3022 if (
CXXRecordDecl *EnclosingClass = dyn_cast<CXXRecordDecl>(Ctx))
3023 Result.Classes.insert(EnclosingClass);
3053 if (
Class->getDeclName() ==
Result.S.VAListTagName)
3066 if (
CXXRecordDecl *EnclosingClass = dyn_cast<CXXRecordDecl>(Ctx))
3067 Result.Classes.insert(EnclosingClass);
3082 = dyn_cast<ClassTemplateSpecializationDecl>(
Class)) {
3083 DeclContext *Ctx = Spec->getSpecializedTemplate()->getDeclContext();
3084 if (
CXXRecordDecl *EnclosingClass = dyn_cast<CXXRecordDecl>(Ctx))
3085 Result.Classes.insert(EnclosingClass);
3090 for (
unsigned I = 0, N = TemplateArgs.
size(); I != N; ++I)
3107 Bases.push_back(
Class);
3108 while (!Bases.empty()) {
3110 Class = Bases.pop_back_val();
3113 for (
const auto &
Base :
Class->bases()) {
3124 if (
Result.addClassTransitive(BaseDecl)) {
3131 Bases.push_back(BaseDecl);
3159#define TYPE(Class, Base)
3160#define DEPENDENT_TYPE(Class, Base) case Type::Class:
3161#define NON_CANONICAL_TYPE(Class, Base) case Type::Class:
3162#define NON_CANONICAL_UNLESS_DEPENDENT_TYPE(Class, Base) case Type::Class:
3163#define ABSTRACT_TYPE(Class, Base)
3164#include "clang/AST/TypeNodes.inc"
3177 case Type::ConstantArray:
3178 case Type::IncompleteArray:
3179 case Type::VariableArray:
3180 T = cast<ArrayType>(
T)->getElementType().getTypePtr();
3193 case Type::Record: {
3195 cast<CXXRecordDecl>(cast<RecordType>(
T)->getDecl());
3208 if (
CXXRecordDecl *EnclosingClass = dyn_cast<CXXRecordDecl>(Ctx))
3209 Result.Classes.insert(EnclosingClass);
3220 case Type::FunctionProto: {
3223 Queue.push_back(Arg.getTypePtr());
3227 case Type::FunctionNoProto: {
3242 case Type::MemberPointer: {
3246 Queue.push_back(MemberPtr->
getClass());
3254 case Type::BlockPointer:
3260 case Type::LValueReference:
3261 case Type::RValueReference:
3267 case Type::ExtVector:
3268 case Type::ConstantMatrix:
3275 case Type::DeducedTemplateSpecialization:
3281 case Type::ObjCObject:
3282 case Type::ObjCInterface:
3283 case Type::ObjCObjectPointer:
3284 Result.Namespaces.insert(
Result.S.Context.getTranslationUnitDecl());
3290 T = cast<AtomicType>(
T)->getValueType().getTypePtr();
3293 T = cast<PipeType>(
T)->getElementType().getTypePtr();
3297 case Type::ArrayParameter:
3303 T = Queue.pop_back_val();
3318 AssociatedNamespaces.clear();
3319 AssociatedClasses.clear();
3321 AssociatedLookup
Result(*
this, InstantiationLoc,
3322 AssociatedNamespaces, AssociatedClasses);
3331 for (
unsigned ArgIdx = 0; ArgIdx != Args.size(); ++ArgIdx) {
3332 Expr *Arg = Args[ArgIdx];
3380 assert(!Operators.
isAmbiguous() &&
"Operator lookup cannot be ambiguous");
3386 bool ConstArg,
bool VolatileArg,
bool RValueThis,
3387 bool ConstThis,
bool VolatileThis) {
3389 "doing special member lookup into record that isn't fully complete");
3391 if (RValueThis || ConstThis || VolatileThis)
3394 "constructors and destructors always have unqualified lvalue this");
3395 if (ConstArg || VolatileArg)
3398 "parameter-less special members can't have qualified arguments");
3403 llvm::FoldingSetNodeID ID;
3405 ID.AddInteger(llvm::to_underlying(
SM));
3406 ID.AddInteger(ConstArg);
3407 ID.AddInteger(VolatileArg);
3408 ID.AddInteger(RValueThis);
3409 ID.AddInteger(ConstThis);
3410 ID.AddInteger(VolatileThis);
3427 DeclareImplicitDestructor(RD);
3442 Expr *Arg =
nullptr;
3453 DeclareImplicitDefaultConstructor(RD);
3462 DeclareImplicitCopyConstructor(RD);
3467 DeclareImplicitMoveConstructor(RD);
3474 DeclareImplicitCopyAssignment(RD);
3479 DeclareImplicitMoveAssignment(RD);
3532 "lookup for a constructor or assignment operator was empty");
3533 Result->setMethod(
nullptr);
3542 for (
NamedDecl *CandDecl : Candidates) {
3543 if (CandDecl->isInvalidDecl())
3569 CtorInfo.FoundDecl,
nullptr,
3575 assert(isa<UsingDecl>(Cand.
getDecl()) &&
3576 "illegal Kind of operator = Decl");
3583 Result->setMethod(cast<CXXMethodDecl>(Best->Function));
3588 Result->setMethod(cast<CXXMethodDecl>(Best->Function));
3593 Result->setMethod(
nullptr);
3598 Result->setMethod(
nullptr);
3610 false,
false,
false,
false,
false);
3612 return cast_or_null<CXXConstructorDecl>(
Result.getMethod());
3619 "non-const, non-volatile qualifiers for copy ctor arg");
3624 return cast_or_null<CXXConstructorDecl>(
Result.getMethod());
3634 return cast_or_null<CXXConstructorDecl>(
Result.getMethod());
3642 if (Class->needsImplicitDefaultConstructor())
3643 DeclareImplicitDefaultConstructor(Class);
3644 if (Class->needsImplicitCopyConstructor())
3645 DeclareImplicitCopyConstructor(Class);
3646 if (getLangOpts().CPlusPlus11 && Class->needsImplicitMoveConstructor())
3647 DeclareImplicitMoveConstructor(Class);
3653 return Class->lookup(Name);
3658 unsigned Quals,
bool RValueThis,
3659 unsigned ThisQuals) {
3661 "non-const, non-volatile qualifiers for copy assignment arg");
3663 "non-const, non-volatile qualifiers for copy assignment this");
3669 return Result.getMethod();
3676 unsigned ThisQuals) {
3678 "non-const, non-volatile qualifiers for copy assignment this");
3684 return Result.getMethod();
3694 return cast_or_null<CXXDestructorDecl>(
3696 false,
false,
false)
3709 bool AllowTemplate,
bool AllowStringTemplatePack,
3713 "literal operator lookup can't be ambiguous");
3718 bool AllowCooked =
true;
3719 bool FoundRaw =
false;
3720 bool FoundTemplate =
false;
3721 bool FoundStringTemplatePack =
false;
3722 bool FoundCooked =
false;
3727 D = USD->getTargetDecl();
3736 bool IsTemplate =
false;
3737 bool IsStringTemplatePack =
false;
3738 bool IsCooked =
false;
3741 if (FD->getNumParams() == 1 &&
3742 FD->getParamDecl(0)->getType()->getAs<
PointerType>())
3744 else if (FD->getNumParams() == ArgTys.size()) {
3746 for (
unsigned ArgIdx = 0; ArgIdx != ArgTys.size(); ++ArgIdx) {
3747 QualType ParamTy = FD->getParamDecl(ArgIdx)->getType();
3757 if (Params->
size() == 1) {
3780 IsStringTemplatePack =
true;
3784 if (AllowTemplate && StringLit && IsTemplate) {
3785 FoundTemplate =
true;
3787 AllowCooked =
false;
3788 AllowStringTemplatePack =
false;
3789 if (FoundRaw || FoundCooked || FoundStringTemplatePack) {
3791 FoundRaw = FoundCooked = FoundStringTemplatePack =
false;
3793 }
else if (AllowCooked && IsCooked) {
3796 AllowTemplate = StringLit;
3797 AllowStringTemplatePack =
false;
3798 if (FoundRaw || FoundTemplate || FoundStringTemplatePack) {
3802 FoundRaw = FoundTemplate = FoundStringTemplatePack =
false;
3804 }
else if (AllowRaw && IsRaw) {
3806 }
else if (AllowTemplate && IsTemplate) {
3807 FoundTemplate =
true;
3808 }
else if (AllowStringTemplatePack && IsStringTemplatePack) {
3809 FoundStringTemplatePack =
true;
3819 if (StringLit && FoundTemplate)
3830 if (FoundRaw && FoundTemplate) {
3843 if (FoundStringTemplatePack)
3847 if (DiagnoseMissing) {
3850 << (ArgTys.size() == 2 ? ArgTys[1] :
QualType()) << AllowRaw
3851 << (AllowTemplate || AllowStringTemplatePack);
3863 if (Old ==
nullptr || Old == New) {
3874 Cursor = Cursor->getPreviousDecl();
3878 if (!Cursor)
return;
3881 if (Cursor == OldFD)
break;
3896 AssociatedNamespaces,
3910 for (
auto *
NS : AssociatedNamespaces) {
3930 auto *Underlying = D;
3931 if (
auto *USD = dyn_cast<UsingShadowDecl>(D))
3932 Underlying = USD->getTargetDecl();
3934 if (!isa<FunctionDecl>(Underlying) &&
3935 !isa<FunctionTemplateDecl>(Underlying))
3960 "bad export context");
3964 llvm::any_of(AssociatedClasses, [&](
auto *E) {
3968 if (E->getOwningModule() != FM)
3972 DeclContext *Ctx = E->getDeclContext();
3973 while (!Ctx->isFileContext() || Ctx->isInlineNamespace())
3974 Ctx = Ctx->getParent();
3992 if (AssociatedClasses.count(RD) &&
isReachable(D)) {
4001 Result.insert(Underlying);
4015class ShadowContextRAII;
4017class VisibleDeclsRecord {
4022 typedef llvm::TinyPtrVector<NamedDecl*> ShadowMapEntry;
4027 typedef llvm::DenseMap<DeclarationName, ShadowMapEntry> ShadowMap;
4030 std::list<ShadowMap> ShadowMaps;
4035 friend class ShadowContextRAII;
4041 return !VisitedContexts.insert(Ctx).second;
4045 return VisitedContexts.count(Ctx);
4057 ShadowMaps.back()[ND->
getDeclName()].push_back(ND);
4062class ShadowContextRAII {
4063 VisibleDeclsRecord &Visible;
4065 typedef VisibleDeclsRecord::ShadowMap ShadowMap;
4068 ShadowContextRAII(VisibleDeclsRecord &Visible) : Visible(Visible) {
4069 Visible.ShadowMaps.emplace_back();
4072 ~ShadowContextRAII() {
4073 Visible.ShadowMaps.pop_back();
4081 std::list<ShadowMap>::reverse_iterator
SM = ShadowMaps.rbegin();
4082 for (std::list<ShadowMap>::reverse_iterator SMEnd = ShadowMaps.rend();
4083 SM != SMEnd; ++
SM) {
4085 if (Pos ==
SM->end())
4088 for (
auto *D : Pos->second) {
4106 SM == ShadowMaps.rbegin())
4111 if (isa<UsingShadowDecl>(ND) && isa<UsingDecl>(D) &&
4112 cast<UsingShadowDecl>(ND)->getIntroducer() == D)
4124class LookupVisibleHelper {
4128 : Consumer(Consumer), IncludeDependentBases(IncludeDependentBases),
4129 LoadExternal(LoadExternal) {}
4132 bool IncludeGlobalScope) {
4136 UnqualUsingDirectiveSet UDirs(SemaRef);
4142 UDirs.visitScopeChain(Initial, S);
4148 Result.setAllowHidden(Consumer.includeHiddenDecls());
4149 if (!IncludeGlobalScope)
4151 ShadowContextRAII Shadow(
Visited);
4152 lookupInScope(Initial, Result, UDirs);
4158 Result.setAllowHidden(Consumer.includeHiddenDecls());
4159 if (!IncludeGlobalScope)
4162 ShadowContextRAII Shadow(
Visited);
4163 lookupInDeclContext(Ctx, Result,
true,
4169 bool QualifiedNameLookup,
bool InBaseClass) {
4177 Consumer.EnteredContext(Ctx);
4180 if (isa<TranslationUnitDecl>(Ctx) &&
4182 auto &S = Result.getSema();
4188 Idents.getExternalIdentifierLookup()) {
4189 std::unique_ptr<IdentifierIterator>
Iter(
External->getIdentifiers());
4190 for (StringRef Name =
Iter->Next(); !Name.empty();
4191 Name =
Iter->Next())
4196 for (
const auto &Ident : Idents) {
4201 if (
NamedDecl *ND = Result.getAcceptableDecl(*I)) {
4202 Consumer.FoundDecl(ND,
Visited.checkHidden(ND), Ctx, InBaseClass);
4213 Result.getSema().ForceDeclarationOfImplicitMembers(Class);
4217 bool Load = LoadExternal ||
4218 !(isa<TranslationUnitDecl>(Ctx) || isa<NamespaceDecl>(Ctx));
4229 DeclsToVisit.push_back(D);
4231 for (
auto *D : DeclsToVisit)
4232 if (
auto *ND = Result.getAcceptableDecl(D)) {
4233 Consumer.FoundDecl(ND,
Visited.checkHidden(ND), Ctx, InBaseClass);
4237 DeclsToVisit.clear();
4240 if (QualifiedNameLookup) {
4241 ShadowContextRAII Shadow(
Visited);
4243 if (!Result.getSema().isVisible(I))
4245 lookupInDeclContext(I->getNominatedNamespace(), Result,
4246 QualifiedNameLookup, InBaseClass);
4252 if (!
Record->hasDefinition())
4255 for (
const auto &B :
Record->bases()) {
4260 if (!IncludeDependentBases) {
4273 RD = TD->getTemplatedDecl();
4301 ShadowContextRAII Shadow(
Visited);
4302 lookupInDeclContext(RD, Result, QualifiedNameLookup,
4310 for (
auto *Cat : IFace->visible_categories()) {
4311 ShadowContextRAII Shadow(
Visited);
4312 lookupInDeclContext(Cat, Result, QualifiedNameLookup,
4317 for (
auto *I : IFace->all_referenced_protocols()) {
4318 ShadowContextRAII Shadow(
Visited);
4319 lookupInDeclContext(I, Result, QualifiedNameLookup,
4324 if (IFace->getSuperClass()) {
4325 ShadowContextRAII Shadow(
Visited);
4326 lookupInDeclContext(IFace->getSuperClass(), Result, QualifiedNameLookup,
4332 if (IFace->getImplementation()) {
4333 ShadowContextRAII Shadow(
Visited);
4334 lookupInDeclContext(IFace->getImplementation(), Result,
4335 QualifiedNameLookup, InBaseClass);
4338 for (
auto *I :
Protocol->protocols()) {
4339 ShadowContextRAII Shadow(
Visited);
4340 lookupInDeclContext(I, Result, QualifiedNameLookup,
4344 for (
auto *I :
Category->protocols()) {
4345 ShadowContextRAII Shadow(
Visited);
4346 lookupInDeclContext(I, Result, QualifiedNameLookup,
4351 if (
Category->getImplementation()) {
4352 ShadowContextRAII Shadow(
Visited);
4353 lookupInDeclContext(
Category->getImplementation(), Result,
4354 QualifiedNameLookup,
true);
4360 UnqualUsingDirectiveSet &UDirs) {
4363 assert(!IncludeDependentBases &&
"Unsupported flag for lookupInScope");
4368 if (!S->getEntity() ||
4369 (!S->getParent() && !
Visited.alreadyVisitedContext(S->getEntity())) ||
4370 (S->getEntity())->isFunctionOrMethod()) {
4371 FindLocalExternScope FindLocals(Result);
4375 for (
Decl *D : ScopeDecls) {
4376 if (
NamedDecl *ND = dyn_cast<NamedDecl>(D))
4377 if ((ND = Result.getAcceptableDecl(ND))) {
4378 Consumer.FoundDecl(ND,
Visited.checkHidden(ND),
nullptr,
false);
4394 if (Method->isInstanceMethod()) {
4396 LookupResult IvarResult(Result.getSema(), Result.getLookupName(),
4397 Result.getNameLoc(),
4400 lookupInDeclContext(IFace, IvarResult,
4415 lookupInDeclContext(Ctx, Result,
false,
4418 }
else if (!S->getParent()) {
4430 lookupInDeclContext(Entity, Result,
false,
4437 for (
const UnqualUsingEntry &UUE : UDirs.getNamespacesFor(Entity))
4438 lookupInDeclContext(
4439 const_cast<DeclContext *
>(UUE.getNominatedNamespace()), Result,
4445 ShadowContextRAII Shadow(
Visited);
4446 lookupInScope(S->getParent(), Result, UDirs);
4452 bool IncludeDependentBases;
4459 bool IncludeGlobalScope,
bool LoadExternal) {
4460 LookupVisibleHelper H(
Consumer,
false,
4462 H.lookupVisibleDecls(*
this, S, Kind, IncludeGlobalScope);
4467 bool IncludeGlobalScope,
4468 bool IncludeDependentBases,
bool LoadExternal) {
4469 LookupVisibleHelper H(
Consumer, IncludeDependentBases, LoadExternal);
4470 H.lookupVisibleDecls(*
this, Ctx, Kind, IncludeGlobalScope);
4485 Scope *S = CurScope;
4487 return cast<LabelDecl>(Res);
4492 RedeclarationKind::NotForRedeclaration);
4501 assert(S &&
"Not in a function?");
4504 return cast<LabelDecl>(Res);
4522 bool EnteringContext,
4523 bool isObjCIvarLookup,
4532 for (; DI != DE; ++DI)
4542 bool AnyVisibleDecls = !NewDecls.empty();
4544 for (; DI != DE; ++DI) {
4546 if (!AnyVisibleDecls) {
4548 AnyVisibleDecls =
true;
4551 NewDecls.push_back(*DI);
4552 }
else if (!AnyVisibleDecls && !(*DI)->isModulePrivate())
4553 NewDecls.push_back(*DI);
4556 if (NewDecls.empty())
4573 Identifiers.clear();
4603 Identifiers.push_back(II);
4630 addName(Name,
nullptr);
4636 addName(Keyword,
nullptr,
nullptr,
true);
4639void TypoCorrectionConsumer::addName(StringRef Name,
NamedDecl *ND,
4643 StringRef TypoStr = Typo->
getName();
4644 unsigned MinED =
abs((
int)Name.size() - (
int)TypoStr.size());
4645 if (MinED && TypoStr.size() / MinED < 3)
4650 unsigned UpperBound = (TypoStr.size() + 2) / 3;
4651 unsigned ED = TypoStr.edit_distance(Name,
true, UpperBound);
4652 if (ED > UpperBound)
return;
4655 if (isKeyword) TC.makeKeyword();
4656 TC.setCorrectionRange(
nullptr, Result.getLookupNameInfo());
4663 StringRef TypoStr = Typo->
getName();
4669 if (TypoStr.size() < 3 &&
4670 (Name != TypoStr || Correction.
getEditDistance(
true) > TypoStr.size()))
4683 if (!CList.empty() && !CList.back().isResolved())
4686 auto RI = llvm::find_if(CList, [NewND](
const TypoCorrection &TypoCorr) {
4689 if (RI != CList.end()) {
4693 auto IsDeprecated = [](
Decl *D) {
4704 std::pair<bool, std::string> NewKey = {
4708 std::pair<bool, std::string> PrevKey = {
4709 IsDeprecated(RI->getFoundDecl()),
4712 if (NewKey < PrevKey)
4717 if (CList.empty() || Correction.
isResolved())
4718 CList.push_back(Correction);
4721 CorrectionResults.erase(std::prev(CorrectionResults.end()));
4725 const llvm::MapVector<NamespaceDecl *, bool> &KnownNamespaces) {
4726 SearchNamespaces =
true;
4728 for (
auto KNPair : KnownNamespaces)
4729 Namespaces.addNameSpecifier(KNPair.first);
4731 bool SSIsTemplate =
false;
4733 (SS && SS->isValid()) ? SS->getScopeRep() :
nullptr) {
4735 SSIsTemplate =
T->
getTypeClass() == Type::TemplateSpecialization;
4741 for (
unsigned I = 0; I != Types.size(); ++I) {
4742 const auto *TI = Types[I];
4744 CD = CD->getCanonicalDecl();
4745 if (!CD->isDependentType() && !CD->isAnonymousStructOrUnion() &&
4746 !CD->isUnion() && CD->getIdentifier() &&
4747 (SSIsTemplate || !isa<ClassTemplateSpecializationDecl>(CD)) &&
4748 (CD->isBeingDefined() || CD->isCompleteDefinition()))
4749 Namespaces.addNameSpecifier(CD);
4755 if (++CurrentTCIndex < ValidatedCorrections.size())
4756 return ValidatedCorrections[CurrentTCIndex];
4758 CurrentTCIndex = ValidatedCorrections.size();
4759 while (!CorrectionResults.empty()) {
4760 auto DI = CorrectionResults.begin();
4761 if (DI->second.empty()) {
4762 CorrectionResults.erase(DI);
4766 auto RI = DI->second.begin();
4767 if (RI->second.empty()) {
4768 DI->second.erase(RI);
4769 performQualifiedLookups();
4775 ValidatedCorrections.push_back(TC);
4776 return ValidatedCorrections[CurrentTCIndex];
4779 return ValidatedCorrections[0];
4782bool TypoCorrectionConsumer::resolveCorrection(
TypoCorrection &Candidate) {
4789 CorrectionValidator->IsObjCIvarLookup,
4791 switch (Result.getResultKind()) {
4801 if (TempMemberContext) {
4804 TempMemberContext =
nullptr;
4807 if (SearchNamespaces)
4808 QualifiedResults.push_back(Candidate);
4818 for (
auto *TRD : Result)
4822 if (SearchNamespaces)
4823 QualifiedResults.push_back(Candidate);
4832void TypoCorrectionConsumer::performQualifiedLookups() {
4833 unsigned TypoLen = Typo->
getName().size();
4835 for (
const auto &NSI : Namespaces) {
4837 const Type *NSType = NSI.NameSpecifier->getAsType();
4845 if (NSDecl->getIdentifier() == QR.getCorrectionAsIdentifierInfo())
4850 TC.ClearCorrectionDecls();
4851 TC.setCorrectionSpecifier(NSI.NameSpecifier);
4852 TC.setQualifierDistance(NSI.EditDistance);
4853 TC.setCallbackDistance(0);
4858 unsigned TmpED = TC.getEditDistance(
true);
4859 if (QR.getCorrectionAsIdentifierInfo() != Typo && TmpED &&
4860 TypoLen / TmpED < 3)
4864 Result.setLookupName(QR.getCorrectionAsIdentifierInfo());
4870 switch (Result.getResultKind()) {
4873 if (SS && SS->isValid()) {
4874 std::string NewQualified = TC.getAsString(SemaRef.
getLangOpts());
4875 std::string OldQualified;
4876 llvm::raw_string_ostream OldOStream(OldQualified);
4878 OldOStream << Typo->
getName();
4882 if (OldOStream.str() == NewQualified)
4886 TRD != TRDEnd; ++TRD) {
4891 TC.addCorrectionDecl(*TRD);
4893 if (TC.isResolved()) {
4894 TC.setCorrectionRange(SS.get(), Result.getLookupNameInfo());
4907 QualifiedResults.clear();
4910TypoCorrectionConsumer::NamespaceSpecifierSet::NamespaceSpecifierSet(
4912 : Context(Context), CurContextChain(buildContextChain(CurContext)) {
4914 CurScopeSpec ? CurScopeSpec->
getScopeRep() :
nullptr) {
4915 llvm::raw_string_ostream SpecifierOStream(CurNameSpecifier);
4923 for (
DeclContext *
C : llvm::reverse(CurContextChain)) {
4924 if (
auto *ND = dyn_cast_or_null<NamespaceDecl>(
C))
4931 DistanceMap[1].push_back(SI);
4934auto TypoCorrectionConsumer::NamespaceSpecifierSet::buildContextChain(
4936 assert(Start &&
"Building a context chain from a null context");
4937 DeclContextList Chain;
4949TypoCorrectionConsumer::NamespaceSpecifierSet::buildNestedNameSpecifier(
4951 unsigned NumSpecifiers = 0;
4953 if (
auto *ND = dyn_cast_or_null<NamespaceDecl>(
C)) {
4956 }
else if (
auto *RD = dyn_cast_or_null<RecordDecl>(
C)) {
4962 return NumSpecifiers;
4965void TypoCorrectionConsumer::NamespaceSpecifierSet::addNameSpecifier(
4968 unsigned NumSpecifiers = 0;
4969 DeclContextList NamespaceDeclChain(buildContextChain(Ctx));
4970 DeclContextList FullNamespaceDeclChain(NamespaceDeclChain);
4973 for (
DeclContext *
C : llvm::reverse(CurContextChain)) {
4974 if (NamespaceDeclChain.empty() || NamespaceDeclChain.back() !=
C)
4976 NamespaceDeclChain.pop_back();
4980 NumSpecifiers = buildNestedNameSpecifier(NamespaceDeclChain, NNS);
4983 if (NamespaceDeclChain.empty()) {
4987 buildNestedNameSpecifier(FullNamespaceDeclChain, NNS);
4989 dyn_cast_or_null<NamedDecl>(NamespaceDeclChain.back())) {
4991 bool SameNameSpecifier =
false;
4992 if (llvm::is_contained(CurNameSpecifierIdentifiers, Name)) {
4993 std::string NewNameSpecifier;
4994 llvm::raw_string_ostream SpecifierOStream(NewNameSpecifier);
4998 SpecifierOStream.flush();
4999 SameNameSpecifier = NewNameSpecifier == CurNameSpecifier;
5001 if (SameNameSpecifier || llvm::is_contained(CurContextIdentifiers, Name)) {
5005 buildNestedNameSpecifier(FullNamespaceDeclChain, NNS);
5013 if (NNS && !CurNameSpecifierIdentifiers.empty()) {
5017 llvm::ComputeEditDistance(
llvm::ArrayRef(CurNameSpecifierIdentifiers),
5021 SpecifierInfo SI = {Ctx, NNS, NumSpecifiers};
5022 DistanceMap[NumSpecifiers].push_back(SI);
5031 bool EnteringContext,
5032 bool isObjCIvarLookup,
5038 if (MemberContext) {
5040 if (isObjCIvarLookup) {
5062 false, EnteringContext);
5067 if (Method->isInstanceMethod() && Method->getClassInterface() &&
5072 = Method->getClassInterface()->lookupInstanceVariable(Name)) {
5084 bool AfterNestedNameSpecifier) {
5085 if (AfterNestedNameSpecifier) {
5098 static const char *
const CTypeSpecs[] = {
5099 "char",
"const",
"double",
"enum",
"float",
"int",
"long",
"short",
5100 "signed",
"struct",
"union",
"unsigned",
"void",
"volatile",
5101 "_Complex",
"_Imaginary",
5103 "extern",
"inline",
"static",
"typedef"
5106 for (
const auto *CTS : CTypeSpecs)
5133 static const char *
const CastableTypeSpecs[] = {
5134 "char",
"double",
"float",
"int",
"long",
"short",
5135 "signed",
"unsigned",
"void"
5137 for (
auto *kw : CastableTypeSpecs)
5156 static const char *
const CXXExprs[] = {
5157 "delete",
"new",
"operator",
"throw",
"typeid"
5159 for (
const auto *CE : CXXExprs)
5162 if (isa<CXXMethodDecl>(SemaRef.
CurContext) &&
5163 cast<CXXMethodDecl>(SemaRef.
CurContext)->isInstance())
5182 static const char *
const CStmts[] = {
5183 "do",
"else",
"for",
"goto",
"if",
"return",
"switch",
"while" };
5184 for (
const auto *CS : CStmts)
5192 if (S && S->getBreakParent())
5195 if (S && S->getContinueParent())
5209 if (S && S->isClassScope()) {
5229std::unique_ptr<TypoCorrectionConsumer> Sema::makeTypoCorrectionConsumer(
5267 locs->second.count(TypoName.
getLoc()))
5297 std::unique_ptr<CorrectionCandidateCallback> ClonedCCC = CCC.
clone();
5298 auto Consumer = std::make_unique<TypoCorrectionConsumer>(
5299 *
this, TypoName, LookupKind, S, SS, std::move(ClonedCCC), MemberContext,
5303 bool IsUnqualifiedLookup =
false;
5305 if (MemberContext) {
5310 for (
auto *I : OPT->
quals())
5313 }
else if (SS && SS->
isSet()) {
5320 IsUnqualifiedLookup =
true;
5325 bool SearchNamespaces
5327 (IsUnqualifiedLookup || (SS && SS->
isSet()));
5329 if (IsUnqualifiedLookup || SearchNamespaces) {
5340 std::unique_ptr<IdentifierIterator>
Iter(
External->getIdentifiers());
5342 StringRef Name =
Iter->Next();
5352 *
Consumer->getCorrectionValidator(),
5357 if (SearchNamespaces) {
5361 LoadedExternalKnownNamespaces =
true;
5363 for (
auto *N : ExternalKnownNamespaces)
5364 KnownNamespaces[N] =
true;
5367 Consumer->addNamespaces(KnownNamespaces);
5410 bool EnteringContext,
5412 bool RecordFailure) {
5418 MemberContext, EnteringContext, OPT))
5429 auto Consumer = makeTypoCorrectionConsumer(TypoName, LookupKind, S, SS, CCC,
5430 MemberContext, EnteringContext,
5438 return FailedCorrection(Typo, TypoName.
getLoc(), RecordFailure);
5442 unsigned ED =
Consumer->getBestEditDistance(
true);
5443 unsigned TypoLen = Typo->getName().size();
5444 if (ED > 0 && TypoLen / ED < 3)
5445 return FailedCorrection(Typo, TypoName.
getLoc(), RecordFailure);
5450 return FailedCorrection(Typo, TypoName.
getLoc(), RecordFailure);
5454 if (TypoLen >= 3 && ED > 0 && TypoLen / ED < 3) {
5458 return FailedCorrection(Typo, TypoName.
getLoc(), RecordFailure);
5462 if (!SecondBestTC ||
5468 if (ED == 0 &&
Result.isKeyword())
5469 return FailedCorrection(Typo, TypoName.
getLoc(), RecordFailure);
5475 }
else if (SecondBestTC && ObjCMessageReceiver) {
5481 BestTC = SecondBestTC;
5482 else if ((*
Consumer)[
"super"].front().isKeyword())
5483 BestTC = (*Consumer)[
"super"].front();
5489 return FailedCorrection(Typo, TypoName.
getLoc(), RecordFailure);
5498 return FailedCorrection(Typo, TypoName.
getLoc(), RecordFailure && !SecondBestTC);
5545 auto Consumer = makeTypoCorrectionConsumer(TypoName, LookupKind, S, SS, CCC,
5546 MemberContext, EnteringContext,
5553 TypoName, LookupKind, S, SS, *
Consumer->getCorrectionValidator(),
5554 MemberContext, EnteringContext, OPT);
5556 Consumer->addCorrection(ExternalTypo);
5564 unsigned ED =
Consumer->getBestEditDistance(
true);
5566 if (!ExternalTypo && ED > 0 && Typo->getName().size() / ED < 3)
5569 return createDelayedTypo(std::move(
Consumer), std::move(TDG), std::move(TRC),
5577 CorrectionDecls.clear();
5579 CorrectionDecls.push_back(CDecl);
5581 if (!CorrectionName)
5586 if (CorrectionNameSpec) {
5587 std::string tmpBuffer;
5588 llvm::raw_string_ostream PrefixOStream(tmpBuffer);
5590 PrefixOStream << CorrectionName;
5591 return PrefixOStream.str();
5606 bool HasNonType =
false;
5607 bool HasStaticMethod =
false;
5608 bool HasNonStaticMethod =
false;
5609 for (
Decl *D : candidate) {
5611 D = FTD->getTemplatedDecl();
5613 if (Method->isStatic())
5614 HasStaticMethod =
true;
5616 HasNonStaticMethod =
true;
5618 if (!isa<TypeDecl>(D))
5630 bool HasExplicitTemplateArgs,
5632 : NumArgs(NumArgs), HasExplicitTemplateArgs(HasExplicitTemplateArgs),
5633 CurContext(SemaRef.CurContext), MemberFn(ME) {
5636 !HasExplicitTemplateArgs && NumArgs == 1;
5645 for (
auto *
C : candidate) {
5649 FD = FTD->getTemplatedDecl();
5650 if (!HasExplicitTemplateArgs && !FD) {
5651 if (!(FD = dyn_cast<FunctionDecl>(ND)) && isa<ValueDecl>(ND)) {
5655 QualType ValType = cast<ValueDecl>(ND)->getType();
5661 if (FPT->getNumParams() == NumArgs)
5668 : isa<TypeDecl>(ND)) &&
5671 return NumArgs <= 1 || HasExplicitTemplateArgs || isa<CXXRecordDecl>(ND);
5683 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FD)) {
5684 if (MemberFn || !MD->isStatic()) {
5687 ? dyn_cast_if_present<CXXMethodDecl>(MemberFn->
getMemberDecl())
5688 : dyn_cast_if_present<CXXMethodDecl>(CurContext);
5690 CurMD ? CurMD->
getParent()->getCanonicalDecl() :
nullptr;
5703 bool ErrorRecovery) {
5711 if (
const auto *VD = dyn_cast<VarDecl>(D))
5712 return VD->getDefinition();
5713 if (
const auto *FD = dyn_cast<FunctionDecl>(D))
5714 return FD->getDefinition();
5715 if (
const auto *TD = dyn_cast<TagDecl>(D))
5716 return TD->getDefinition();
5717 if (
const auto *ID = dyn_cast<ObjCInterfaceDecl>(D))
5718 return ID->getDefinition();
5719 if (
const auto *PD = dyn_cast<ObjCProtocolDecl>(D))
5720 return PD->getDefinition();
5721 if (
const auto *TD = dyn_cast<TemplateDecl>(D))
5722 if (
const NamedDecl *TTD = TD->getTemplatedDecl())
5736 assert(Owner &&
"definition of hidden declaration is not in a module");
5739 OwningModules.push_back(Owner);
5741 OwningModules.insert(OwningModules.end(), Merged.begin(), Merged.end());
5750 llvm::StringRef IncludingFile) {
5751 bool IsAngled =
false;
5753 E, IncludingFile, &IsAngled);
5754 return (IsAngled ?
'<' :
'"') + Path + (IsAngled ?
'>' :
'"');
5761 assert(!Modules.empty());
5765 if (isa<NamespaceDecl>(
Decl))
5768 auto NotePrevious = [&] {
5772 Diag(DeclLoc, diag::note_unreachable_entity) << (
int)MIK;
5777 llvm::SmallDenseSet<Module*, 8> UniqueModuleSet;
5778 for (
auto *M : Modules) {
5781 if (UniqueModuleSet.insert(M).second)
5782 UniqueModules.push_back(M);
5786 std::string HeaderName;
5797 if (!HeaderName.empty() || UniqueModules.empty()) {
5800 Diag(UseLoc, diag::err_module_unimported_use_header)
5801 << (
int)MIK <<
Decl << !HeaderName.empty() << HeaderName;
5809 Modules = UniqueModules;
5811 auto GetModuleNameForDiagnostic = [
this](
const Module *M) -> std::string {
5820 bool IsInTheSameModule =
5827 if (IsInTheSameModule)
5833 if (Modules.size() > 1) {
5834 std::string ModuleList;
5836 for (
const auto *M : Modules) {
5837 ModuleList +=
"\n ";
5838 if (++N == 5 && N != Modules.size()) {
5839 ModuleList +=
"[...]";
5842 ModuleList += GetModuleNameForDiagnostic(M);
5845 Diag(UseLoc, diag::err_module_unimported_use_multiple)
5846 << (
int)MIK <<
Decl << ModuleList;
5849 Diag(UseLoc, diag::err_module_unimported_use)
5850 << (
int)MIK <<
Decl << GetModuleNameForDiagnostic(Modules[0]);
5875 bool ErrorRecovery) {
5884 assert(
Decl &&
"import required but no declaration to import");
5892 << CorrectedQuotedStr << (ErrorRecovery ? FixTypo :
FixItHint());
5897 Diag(ChosenDecl->getLocation(), PrevNote)
5898 << CorrectedQuotedStr << (ErrorRecovery ?
FixItHint() : FixTypo);
5905TypoExpr *Sema::createDelayedTypo(std::unique_ptr<TypoCorrectionConsumer> TCC,
5906 TypoDiagnosticGenerator TDG,
5907 TypoRecoveryCallback TRC,
5909 assert(TCC &&
"createDelayedTypo requires a valid TypoCorrectionConsumer");
5911 auto &State = DelayedTypos[TE];
5912 State.Consumer = std::move(TCC);
5913 State.DiagHandler = std::move(TDG);
5914 State.RecoveryHandler = std::move(TRC);
5921 auto Entry = DelayedTypos.find(TE);
5922 assert(Entry != DelayedTypos.end() &&
5923 "Failed to get the state for a TypoExpr!");
5924 return Entry->second;
5928 DelayedTypos.erase(TE);
5934 RedeclarationKind::NotForRedeclaration);
5950 if (cast<Decl>(
CurContext)->getOwningModuleForLinkage(
true))
5951 return RedeclarationKind::ForVisibleRedeclaration;
5952 return RedeclarationKind::ForExternalRedeclaration;
Defines the clang::ASTContext interface.
Defines enum values for all the target-independent builtin functions.
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the C++ template declaration subclasses.
Defines the clang::Expr interface and subclasses for C++ expressions.
Defines the clang::FileManager interface and associated types.
llvm::DenseSet< const void * > Visited
Defines the clang::LangOptions interface.
llvm::MachO::Record Record
Defines the clang::Preprocessor interface.
RedeclarationKind
Specifies whether (or how) name lookup is being performed for a redeclaration (vs.
static Module * getDefiningModule(Sema &S, Decl *Entity)
Find the module in which the given declaration was defined.
static bool isPreferredLookupResult(Sema &S, Sema::LookupNameKind Kind, const NamedDecl *D, const NamedDecl *Existing)
Determine whether D is a better lookup result than Existing, given that they declare the same entity.
static bool CanDeclareSpecialMemberFunction(const CXXRecordDecl *Class)
Determine whether we can declare a special member function within the class at this point.
static bool canHideTag(const NamedDecl *D)
Determine whether D can hide a tag declaration.
static std::string getHeaderNameForHeader(Preprocessor &PP, FileEntryRef E, llvm::StringRef IncludingFile)
Get a "quoted.h" or <angled.h> include path to use in a diagnostic suggesting the addition of a #incl...
static void addAssociatedClassesAndNamespaces(AssociatedLookup &Result, QualType T)
static QualType getOpenCLTypedefType(Sema &S, llvm::StringRef Name)
Lookup an OpenCL typedef type.
static DeclContext * findOuterContext(Scope *S)
Find the outer declaration context from this scope.
static void LookupPotentialTypoResult(Sema &SemaRef, LookupResult &Res, IdentifierInfo *Name, Scope *S, CXXScopeSpec *SS, DeclContext *MemberContext, bool EnteringContext, bool isObjCIvarLookup, bool FindHidden)
Perform name lookup for a possible result for typo correction.
static void checkCorrectionVisibility(Sema &SemaRef, TypoCorrection &TC)
Check whether the declarations found for a typo correction are visible.
static bool isNamespaceOrTranslationUnitScope(Scope *S)
static bool LookupQualifiedNameInUsingDirectives(Sema &S, LookupResult &R, DeclContext *StartDC)
Perform qualified name lookup in the namespaces nominated by using directives by the given context.
static bool LookupDirect(Sema &S, LookupResult &R, const DeclContext *DC)
static QualType getOpenCLEnumType(Sema &S, llvm::StringRef Name)
Lookup an OpenCL enum type.
static void CollectEnclosingNamespace(Sema::AssociatedNamespaceSet &Namespaces, DeclContext *Ctx)
static bool hasAcceptableDefaultArgument(Sema &S, const ParmDecl *D, llvm::SmallVectorImpl< Module * > *Modules, Sema::AcceptableKind Kind)
static bool isImplicitlyDeclaredMemberFunctionName(DeclarationName Name)
Determine whether this is the name of an implicitly-declared special member function.
static void DeclareImplicitMemberFunctionsWithName(Sema &S, DeclarationName Name, SourceLocation Loc, const DeclContext *DC)
If there are any implicit member functions with the given name that need to be declared in the given ...
static void AddKeywordsToConsumer(Sema &SemaRef, TypoCorrectionConsumer &Consumer, Scope *S, CorrectionCandidateCallback &CCC, bool AfterNestedNameSpecifier)
Add keywords to the consumer as possible typo corrections.
static void GetQualTypesForOpenCLBuiltin(Sema &S, const OpenCLBuiltinStruct &OpenCLBuiltin, unsigned &GenTypeMaxCnt, SmallVector< QualType, 1 > &RetTypes, SmallVector< SmallVector< QualType, 1 >, 5 > &ArgTypes)
Get the QualType instances of the return type and arguments for an OpenCL builtin function signature.
static QualType diagOpenCLBuiltinTypeError(Sema &S, llvm::StringRef TypeClass, llvm::StringRef Name)
Diagnose a missing builtin type.
static bool hasAcceptableMemberSpecialization(Sema &S, const NamedDecl *D, llvm::SmallVectorImpl< Module * > *Modules, Sema::AcceptableKind Kind)
static bool hasAcceptableDeclarationImpl(Sema &S, const NamedDecl *D, llvm::SmallVectorImpl< Module * > *Modules, Filter F, Sema::AcceptableKind Kind)
static bool isCandidateViable(CorrectionCandidateCallback &CCC, TypoCorrection &Candidate)
static const DeclContext * getContextForScopeMatching(const Decl *D)
Get a representative context for a declaration such that two declarations will have the same context ...
static NamedDecl * findAcceptableDecl(Sema &SemaRef, NamedDecl *D, unsigned IDNS)
Retrieve the visible declaration corresponding to D, if any.
static void GetOpenCLBuiltinFctOverloads(ASTContext &Context, unsigned GenTypeMaxCnt, std::vector< QualType > &FunctionList, SmallVector< QualType, 1 > &RetTypes, SmallVector< SmallVector< QualType, 1 >, 5 > &ArgTypes)
Create a list of the candidate function overloads for an OpenCL builtin function.
static const unsigned MaxTypoDistanceResultSets
static const NamedDecl * getDefinitionToImport(const NamedDecl *D)
Find which declaration we should import to provide the definition of the given declaration.
static void getNestedNameSpecifierIdentifiers(NestedNameSpecifier *NNS, SmallVectorImpl< const IdentifierInfo * > &Identifiers)
static bool hasAcceptableExplicitSpecialization(Sema &S, const NamedDecl *D, llvm::SmallVectorImpl< Module * > *Modules, Sema::AcceptableKind Kind)
static unsigned getIDNS(Sema::LookupNameKind NameKind, bool CPlusPlus, bool Redeclaration)
static void InsertOCLBuiltinDeclarationsFromTable(Sema &S, LookupResult &LR, IdentifierInfo *II, const unsigned FctIndex, const unsigned Len)
When trying to resolve a function name, if isOpenCLBuiltin() returns a non-null <Index,...
static void LookupPredefedObjCSuperType(Sema &Sema, Scope *S)
Looks up the declaration of "struct objc_super" and saves it for later use in building builtin declar...
static bool CppNamespaceLookup(Sema &S, LookupResult &R, ASTContext &Context, const DeclContext *NS, UnqualUsingDirectiveSet &UDirs)
const NestedNameSpecifier * Specifier
__DEVICE__ long long abs(long long __n)
A class for storing results from argument-dependent lookup.
void insert(NamedDecl *D)
Adds a new ADL candidate to this map.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
TranslationUnitDecl * getTranslationUnitDecl() const
const SmallVectorImpl< Type * > & getTypes() const
QualType getTagDeclType(const TagDecl *Decl) const
Return the unique reference to the type for the specified TagDecl (struct/union/class/enum) decl.
DeclarationNameTable DeclarationNames
QualType getRecordType(const RecordDecl *Decl) const
CanQualType getCanonicalType(QualType T) const
Return the canonical (structural) type corresponding to the specified potentially non-canonical type ...
CallingConv getDefaultCallingConvention(bool IsVariadic, bool IsCXXMethod, bool IsBuiltin=false) const
Retrieves the default calling convention for the current target.
QualType getEnumType(const EnumDecl *Decl) const
QualType getTypeDeclType(const TypeDecl *Decl, const TypeDecl *PrevDecl=nullptr) const
Return the unique reference to the type for the specified type declaration.
Builtin::Context & BuiltinInfo
const LangOptions & getLangOpts() const
void setObjCSuperType(QualType ST)
const clang::PrintingPolicy & getPrintingPolicy() const
ArrayRef< Module * > getModulesWithMergedDefinition(const NamedDecl *Def)
Get the additional modules in which the definition Def has been merged.
bool hasSameUnqualifiedType(QualType T1, QualType T2) const
Determine whether the given types are equivalent after cvr-qualifiers have been removed.
QualType getFunctionType(QualType ResultTy, ArrayRef< QualType > Args, const FunctionProtoType::ExtProtoInfo &EPI) const
Return a normal function type with a typed argument list.
void mergeDefinitionIntoModule(NamedDecl *ND, Module *M, bool NotifyListeners=true)
Note that the definition ND has been merged into module M, and should be visible whenever M is visibl...
QualType getTypedefType(const TypedefNameDecl *Decl, QualType Underlying=QualType()) const
Return the unique reference to the type for the specified typedef-name decl.
bool isPredefinedLibFunction(unsigned ID) const
Determines whether this builtin is a predefined libc/libm function, such as "malloc",...
Represents a path from a specific derived class (which is not represented as part of the path) to a p...
BasePaths - Represents the set of paths from a derived class to one of its (direct or indirect) bases...
std::list< CXXBasePath >::iterator paths_iterator
std::list< CXXBasePath >::const_iterator const_paths_iterator
void swap(CXXBasePaths &Other)
Swap this data structure's contents with another CXXBasePaths object.
Represents a base class of a C++ class.
QualType getType() const
Retrieves the type of the base class.
Represents a C++ constructor within a class.
Represents a C++ destructor within a class.
Represents a static or instance method of a struct/union/class.
Represents a C++ struct/union/class.
base_class_iterator bases_end()
bool hasAnyDependentBases() const
Determine whether this class has any dependent base classes which are not the current instantiation.
bool needsImplicitDefaultConstructor() const
Determine if we need to declare a default constructor for this class.
bool needsImplicitMoveConstructor() const
Determine whether this class should get an implicit move constructor or if any existing special membe...
CXXRecordDecl * getDefinition() const
static AccessSpecifier MergeAccess(AccessSpecifier PathAccess, AccessSpecifier DeclAccess)
Calculates the access of a decl that is reached along a path.
const CXXRecordDecl * getTemplateInstantiationPattern() const
Retrieve the record declaration from which this record could be instantiated.
bool lookupInBases(BaseMatchesCallback BaseMatches, CXXBasePaths &Paths, bool LookupInDependent=false) const
Look for entities within the base classes of this C++ class, transitively searching all base class su...
base_class_iterator bases_begin()
bool needsImplicitCopyConstructor() const
Determine whether this class needs an implicit copy constructor to be lazily declared.
bool needsImplicitDestructor() const
Determine whether this class needs an implicit destructor to be lazily declared.
CXXDestructorDecl * getDestructor() const
Returns the destructor decl for this class.
bool needsImplicitMoveAssignment() const
Determine whether this class should get an implicit move assignment operator or if any existing speci...
bool needsImplicitCopyAssignment() const
Determine whether this class needs an implicit copy assignment operator to be lazily declared.
bool isDerivedFrom(const CXXRecordDecl *Base) const
Determine whether this class is derived from the class Base.
Represents a C++ nested-name-specifier or a global scope specifier.
bool isNotEmpty() const
A scope specifier is present, but may be valid or invalid.
SourceRange getRange() const
bool isSet() const
Deprecated.
NestedNameSpecifier * getScopeRep() const
Retrieve the representation of the nested-name-specifier.
bool isInvalid() const
An error occurred during parsing of the scope specifier.
bool isEmpty() const
No scope specifier.
Declaration of a class template.
Represents a class template specialization, which refers to a class template with a given set of temp...
Base class for callback objects used by Sema::CorrectTypo to check the validity of a potential typo c...
bool WantExpressionKeywords
virtual unsigned RankCandidate(const TypoCorrection &candidate)
Method used by Sema::CorrectTypo to assign an "edit distance" rank to a candidate (where a lower valu...
virtual bool ValidateCandidate(const TypoCorrection &candidate)
Simple predicate used by the default RankCandidate to determine whether to return an edit distance of...
bool WantFunctionLikeCasts
bool WantRemainingKeywords
virtual std::unique_ptr< CorrectionCandidateCallback > clone()=0
Clone this CorrectionCandidateCallback.
A POD class for pairing a NamedDecl* with an access specifier.
static DeclAccessPair make(NamedDecl *D, AccessSpecifier AS)
NamedDecl * getDecl() const
The results of name lookup within a DeclContext.
DeclListNode::iterator iterator
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.
udir_range using_directives() const
Returns iterator range [First, Last) of UsingDirectiveDecls stored within this context.
bool Equals(const DeclContext *DC) const
Determine whether this declaration context is equivalent to the declaration context DC.
bool isFileContext() const
bool isTransparentContext() const
isTransparentContext - Determines whether this context is a "transparent" context,...
ASTContext & getParentASTContext() const
lookups_range noload_lookups(bool PreserveInternalState) const
bool isDependentContext() const
Determines whether this context is dependent on a template parameter.
DeclContext * getLexicalParent()
getLexicalParent - Returns the containing lexical DeclContext.
lookup_result lookup(DeclarationName Name) const
lookup - Find the declarations (if any) with the given Name in this context.
bool isTranslationUnit() const
DeclContext * getRedeclContext()
getRedeclContext - Retrieve the context in which an entity conflicts with other entities of the same ...
lookups_range lookups() const
bool shouldUseQualifiedLookup() const
void setUseQualifiedLookup(bool use=true) const
DeclContext * getPrimaryContext()
getPrimaryContext - There may be many different declarations of the same entity (including forward de...
bool isInlineNamespace() const
bool isFunctionOrMethod() const
DeclContext * getLookupParent()
Find the parent context of this context that will be used for unqualified name lookup.
bool Encloses(const DeclContext *DC) const
Determine whether this declaration context encloses the declaration context DC.
Decl - This represents one declaration (or definition), e.g.
Decl * getPreviousDecl()
Retrieve the previous declaration that declares the same entity as this declaration,...
bool isTemplateDecl() const
returns true if this declaration is a template
FriendObjectKind getFriendObjectKind() const
Determines whether this declaration is the object of a friend declaration and, if so,...
bool isFunctionOrFunctionTemplate() const
Whether this declaration is a function or function template.
bool isUnconditionallyVisible() const
Determine whether this declaration is definitely visible to name lookup, independent of whether the o...
bool isInIdentifierNamespace(unsigned NS) const
bool isInvisibleOutsideTheOwningModule() const
bool isInExportDeclContext() const
Whether this declaration was exported in a lexical context.
bool isInAnotherModuleUnit() const
Whether this declaration comes from another module unit.
Module * getOwningModule() const
Get the module that owns this declaration (for visibility purposes).
FunctionDecl * getAsFunction() LLVM_READONLY
Returns the function itself, or the templated function if this is a function template.
bool isTemplateParameter() const
isTemplateParameter - Determines whether this declaration is a template parameter.
bool isInvalidDecl() const
unsigned getIdentifierNamespace() const
SourceLocation getLocation() const
@ IDNS_NonMemberOperator
This declaration is a C++ operator declared in a non-class context.
@ IDNS_TagFriend
This declaration is a friend class.
@ IDNS_Ordinary
Ordinary names.
@ IDNS_Type
Types, declared with 'struct foo', typedefs, etc.
@ IDNS_OMPReduction
This declaration is an OpenMP user defined reduction construction.
@ IDNS_Label
Labels, declared with 'x:' and referenced with 'goto x'.
@ IDNS_Member
Members, declared with object declarations within tag definitions.
@ IDNS_OMPMapper
This declaration is an OpenMP user defined mapper.
@ IDNS_ObjCProtocol
Objective C @protocol.
@ IDNS_Namespace
Namespaces, declared with 'namespace foo {}'.
@ IDNS_OrdinaryFriend
This declaration is a friend function.
@ IDNS_Using
This declaration is a using declaration.
@ IDNS_LocalExtern
This declaration is a function-local extern declaration of a variable or function.
@ IDNS_Tag
Tags, declared with 'struct foo;' and referenced with 'struct foo'.
bool isDeprecated(std::string *Message=nullptr) const
Determine whether this declaration is marked 'deprecated'.
bool isTemplateParameterPack() const
isTemplateParameter - Determines whether this declaration is a template parameter pack.
void setImplicit(bool I=true)
redecl_range redecls() const
Returns an iterator range for all the redeclarations of the same decl.
bool isDefinedOutsideFunctionOrMethod() const
isDefinedOutsideFunctionOrMethod - This predicate returns true if this scoped decl is defined outside...
DeclContext * getDeclContext()
TranslationUnitDecl * getTranslationUnitDecl()
bool hasTagIdentifierNamespace() const
DeclContext * getLexicalDeclContext()
getLexicalDeclContext - The declaration context where this Decl was lexically declared (LexicalDC).
virtual Decl * getCanonicalDecl()
Retrieves the "canonical" declaration of the given declaration.
const LangOptions & getLangOpts() const LLVM_READONLY
Helper to get the language options from the ASTContext.
void setVisibleDespiteOwningModule()
Set that this declaration is globally visible, even if it came from a module that is not visible.
The name of a declaration.
IdentifierInfo * getAsIdentifierInfo() const
Retrieve the IdentifierInfo * stored in this declaration name, or null if this declaration name isn't...
TemplateDecl * getCXXDeductionGuideTemplate() const
If this name is the name of a C++ deduction guide, return the template associated with that name.
std::string getAsString() const
Retrieve the human-readable string for this name.
OverloadedOperatorKind getCXXOverloadedOperator() const
If this name is the name of an overloadable operator in C++ (e.g., operator+), retrieve the kind of o...
@ CXXConversionFunctionName
QualType getCXXNameType() const
If this name is one of the C++ names (of a constructor, destructor, or conversion function),...
NameKind getNameKind() const
Determine what kind of name this is.
DiagnosticOptions & getDiagnosticOptions() const
Retrieve the diagnostic options.
bool hasFatalErrorOccurred() const
The return type of classify().
This represents one expression.
Classification Classify(ASTContext &Ctx) const
Classify - Classify this expression according to the C++11 expression taxonomy.
bool isFPConstrained() const
A reference to a FileEntry that includes the name of the file as it was accessed by the FileManager's...
Cached information about one file (either on disk or in the virtual file system).
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.
bool ValidateCandidate(const TypoCorrection &candidate) override
Simple predicate used by the default RankCandidate to determine whether to return an edit distance of...
FunctionCallFilterCCC(Sema &SemaRef, unsigned NumArgs, bool HasExplicitTemplateArgs, MemberExpr *ME=nullptr)
Represents a function declaration or definition.
unsigned getMinRequiredArguments() const
Returns the minimum number of arguments needed to call this function.
FunctionDecl * getTemplateInstantiationPattern(bool ForDefinition=true) const
Retrieve the function declaration from which this function could be instantiated, if it is an instant...
bool isDeleted() const
Whether this function has been deleted.
static FunctionDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation NLoc, DeclarationName N, QualType T, TypeSourceInfo *TInfo, StorageClass SC, bool UsesFPIntrin=false, bool isInlineSpecified=false, bool hasWrittenPrototype=true, ConstexprSpecKind ConstexprKind=ConstexprSpecKind::Unspecified, Expr *TrailingRequiresClause=nullptr)
unsigned getNumParams() const
Return the number of parameters this function must have based on its FunctionType.
Represents a prototype with parameter type info, e.g.
ExtProtoInfo getExtProtoInfo() const
ArrayRef< QualType > param_types() const
Declaration of a template function.
FunctionDecl * getTemplatedDecl() const
Get the underlying function declaration of the template.
ExtInfo withCallingConv(CallingConv cc) const
FunctionType - C99 6.7.5.3 - Function Declarators.
QualType getReturnType() const
Provides lookups to, and iteration over, IdentiferInfo objects.
One of these records is kept for each identifier that is lexed.
unsigned getBuiltinID() const
Return a value indicating whether this is a builtin function.
StringRef getName() const
Return the actual identifier string.
iterator - Iterate over the decls of a specified declaration name.
iterator begin(DeclarationName Name)
Returns an iterator over decls with the name 'Name'.
iterator end()
Returns the end iterator.
bool isDeclInScope(Decl *D, DeclContext *Ctx, Scope *S=nullptr, bool AllowInlineNamespace=false) const
isDeclInScope - If 'Ctx' is a function/method, isDeclInScope returns true if 'D' is in Scope 'S',...
IdentifierInfo & get(StringRef Name)
Return the identifier token info for the specified named identifier.
IdentifierInfoLookup * getExternalIdentifierLookup() const
Retrieve the external identifier lookup object, if any.
Represents the declaration of a label.
static LabelDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation IdentL, IdentifierInfo *II)
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
A class for iterating through a result set and possibly filtering out results.
void restart()
Restart the iteration.
void erase()
Erase the last element returned from this iterator.
Represents the results of name lookup.
void addAllDecls(const LookupResult &Other)
Add all the declarations from another set of lookup results.
@ FoundOverloaded
Name lookup found a set of overloaded functions that met the criteria.
@ FoundUnresolvedValue
Name lookup found an unresolvable value declaration and cannot yet complete.
@ Ambiguous
Name lookup results in an ambiguity; use getAmbiguityKind to figure out what kind of ambiguity we hav...
@ NotFound
No entity found met the criteria.
@ NotFoundInCurrentInstantiation
No entity found met the criteria within the current instantiation,, but there were dependent base cla...
@ Found
Name lookup found a single declaration that met the criteria.
void setShadowed()
Note that we found and ignored a declaration while performing lookup.
static bool isAvailableForLookup(Sema &SemaRef, NamedDecl *ND)
Determine whether this lookup is permitted to see the declaration.
LLVM_ATTRIBUTE_REINITIALIZES void clear()
Clears out any current state.
void setFindLocalExtern(bool FindLocalExtern)
void setAllowHidden(bool AH)
Specify whether hidden declarations are visible, e.g., for recovery reasons.
DeclClass * getAsSingle() const
void setContextRange(SourceRange SR)
Sets a 'context' source range.
static bool isAcceptable(Sema &SemaRef, NamedDecl *D, Sema::AcceptableKind Kind)
void setAmbiguousQualifiedTagHiding()
Make these results show that the name was found in different contexts and a tag decl was hidden by an...
void addDecl(NamedDecl *D)
Add a declaration to these results with its natural access.
bool isTemplateNameLookup() const
void setAmbiguousBaseSubobjects(CXXBasePaths &P)
Make these results show that the name was found in distinct base classes of the same type.
bool isSingleTagDecl() const
Asks if the result is a single tag decl.
void setLookupName(DeclarationName Name)
Sets the name to look up.
bool empty() const
Return true if no decls were found.
void resolveKind()
Resolves the result kind of the lookup, possibly hiding decls.
SourceLocation getNameLoc() const
Gets the location of the identifier.
void setAmbiguousBaseSubobjectTypes(CXXBasePaths &P)
Make these results show that the name was found in base classes of different types.
Filter makeFilter()
Create a filter for this result set.
NamedDecl * getFoundDecl() const
Fetch the unique decl found by this lookup.
void setHideTags(bool Hide)
Sets whether tag declarations should be hidden by non-tag declarations during resolution.
NamedDecl * getAcceptableDecl(NamedDecl *D) const
Retrieve the accepted (re)declaration of the given declaration, if there is one.
bool isSingleResult() const
Determines if this names a single result which is not an unresolved value using decl.
unsigned getIdentifierNamespace() const
Returns the identifier namespace mask for this lookup.
Sema::LookupNameKind getLookupKind() const
Gets the kind of lookup to perform.
Sema & getSema() const
Get the Sema object that this lookup result is searching with.
void setNamingClass(CXXRecordDecl *Record)
Sets the 'naming class' for this lookup.
LookupResultKind getResultKind() const
void print(raw_ostream &)
static bool isReachable(Sema &SemaRef, NamedDecl *D)
void suppressDiagnostics()
Suppress the diagnostics that would normally fire because of this lookup.
bool isForRedeclaration() const
True if this lookup is just looking for an existing declaration.
DeclarationName getLookupName() const
Gets the name to look up.
@ AmbiguousTagHiding
Name lookup results in an ambiguity because an entity with a tag name was hidden by an entity with an...
@ AmbiguousBaseSubobjectTypes
Name lookup results in an ambiguity because multiple entities that meet the lookup criteria were foun...
@ AmbiguousReferenceToPlaceholderVariable
Name lookup results in an ambiguity because multiple placeholder variables were found in the same sco...
@ AmbiguousReference
Name lookup results in an ambiguity because multiple definitions of entity that meet the lookup crite...
@ AmbiguousBaseSubobjects
Name lookup results in an ambiguity because multiple nonstatic entities that meet the lookup criteria...
void setNotFoundInCurrentInstantiation()
Note that while no result was found in the current instantiation, there were dependent base classes t...
static bool isVisible(Sema &SemaRef, NamedDecl *D)
Determine whether the given declaration is visible to the program.
const DeclarationNameInfo & getLookupNameInfo() const
Gets the name info to look up.
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
ValueDecl * getMemberDecl() const
Retrieve the member declaration to which this expression refers.
A pointer to member type per C++ 8.3.3 - Pointers to members.
QualType getPointeeType() const
const Type * getClass() const
virtual bool lookupMissingImports(StringRef Name, SourceLocation TriggerLoc)=0
Check global module index for missing imports.
Describes a module or submodule.
StringRef getTopLevelModuleName() const
Retrieve the name of the top-level module.
bool isPrivateModule() const
bool isModuleVisible(const Module *M) const
Determine whether the specified module would be visible to a lookup at the end of this module.
bool isModuleInterfaceUnit() const
bool isModuleMapModule() const
bool isHeaderLikeModule() const
Is this module have similar semantics as headers.
StringRef getPrimaryModuleInterfaceName() const
Get the primary module interface name from a partition.
bool isExplicitGlobalModule() const
bool isGlobalModule() const
Does this Module scope describe a fragment of the global module within some C++ module.
bool isImplicitGlobalModule() const
std::string getFullModuleName(bool AllowStringLiterals=false) const
Retrieve the full name of this module, including the path from its top-level module.
bool isNamedModule() const
Does this Module is a named module of a standard named module?
Module * getTopLevelModule()
Retrieve the top-level module for this (sub)module, which may be this module.
This represents a decl that may have a name.
NamedDecl * getUnderlyingDecl()
Looks through UsingDecls and ObjCCompatibleAliasDecls for the underlying named decl.
bool isModulePrivate() const
Whether this declaration was marked as being private to the module in which it was defined.
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
bool isPlaceholderVar(const LangOptions &LangOpts) const
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
NamedDecl * getMostRecentDecl()
bool isExternallyDeclarable() const
Determine whether this declaration can be redeclared in a different translation unit.
Represent a C++ namespace.
bool isAnonymousNamespace() const
Returns true if this is an anonymous namespace declaration.
Represents a C++ nested name specifier, such as "\::std::vector<int>::".
SpecifierKind getKind() const
Determine what kind of nested name specifier is stored.
static NestedNameSpecifier * Create(const ASTContext &Context, NestedNameSpecifier *Prefix, const IdentifierInfo *II)
Builds a specifier combining a prefix and an identifier.
NamespaceAliasDecl * getAsNamespaceAlias() const
Retrieve the namespace alias stored in this nested name specifier.
IdentifierInfo * getAsIdentifier() const
Retrieve the identifier stored in this nested name specifier.
static NestedNameSpecifier * GlobalSpecifier(const ASTContext &Context)
Returns the nested name specifier representing the global scope.
NestedNameSpecifier * getPrefix() const
Return the prefix of this nested name specifier.
@ NamespaceAlias
A namespace alias, stored as a NamespaceAliasDecl*.
@ TypeSpec
A type, stored as a Type*.
@ TypeSpecWithTemplate
A type that was preceded by the 'template' keyword, stored as a Type*.
@ Super
Microsoft's '__super' specifier, stored as a CXXRecordDecl* of the class it appeared in.
@ Identifier
An identifier, stored as an IdentifierInfo*.
@ Global
The global specifier '::'. There is no stored value.
@ Namespace
A namespace, stored as a NamespaceDecl*.
NamespaceDecl * getAsNamespace() const
Retrieve the namespace stored in this nested name specifier.
void print(raw_ostream &OS, const PrintingPolicy &Policy, bool ResolveTemplateArguments=false) const
Print this nested name specifier to the given output stream.
const Type * getAsType() const
Retrieve the type stored in this nested name specifier.
ObjCCategoryDecl - Represents a category declaration.
Represents an ObjC class declaration.
ObjCIvarDecl - Represents an ObjC instance variable.
ObjCMethodDecl - Represents an instance or class method declaration.
Represents a pointer to an Objective C object.
Represents one property declaration in an Objective-C interface.
Represents an Objective-C protocol declaration.
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.
OverloadCandidateSet - A set of overload candidates, used in C++ overload resolution (C++ 13....
@ CSK_Normal
Normal lookup.
SmallVectorImpl< OverloadCandidate >::iterator iterator
OverloadingResult BestViableFunction(Sema &S, SourceLocation Loc, OverloadCandidateSet::iterator &Best)
Find the best viable function on this overload set, if it exists.
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.
llvm::iterator_range< decls_iterator > decls() const
Represents a parameter to a function.
void setScopeInfo(unsigned scopeDepth, unsigned parameterIndex)
static ParmVarDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, const IdentifierInfo *Id, QualType T, TypeSourceInfo *TInfo, StorageClass S, Expr *DefArg)
unsigned getDiagID() const
PointerType - C99 6.7.5.1 - Pointer Declarators.
Engages in a tight little dance with the lexer to efficiently preprocess tokens.
bool isMacroDefined(StringRef Id)
HeaderSearch & getHeaderSearchInfo() const
OptionalFileEntryRef getHeaderToIncludeForDiagnostics(SourceLocation IncLoc, SourceLocation MLoc)
We want to produce a diagnostic at location IncLoc concerning an unreachable effect at location MLoc ...
A (possibly-)qualified type.
const IdentifierInfo * getBaseTypeIdentifier() const
Retrieves a pointer to the name of the base type.
void addConst()
Add the const type qualifier to this QualType.
bool isNull() const
Return true if this QualType doesn't point to a type yet.
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
void addVolatile()
Add the volatile type qualifier to this QualType.
Represents a struct/union/class.
A helper class that allows the use of isa/cast/dyncast to detect TagType objects of structs/unions/cl...
RecordDecl * getDecl() const
Scope - A scope is a transient data structure that is used while parsing the program.
const Scope * getFnParent() const
getFnParent - Return the closest scope that is a function body.
bool isDeclScope(const Decl *D) const
isDeclScope - Return true if this is the scope that the specified decl is declared in.
DeclContext * getEntity() const
Get the entity corresponding to this scope.
const Scope * getParent() const
getParent - Return the scope that this is nested in.
@ DeclScope
This is a scope that can contain a declaration.
SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID, bool DeferHint=false)
Emit a diagnostic.
RAII class used to determine whether SFINAE has trapped any errors that occur during template argumen...
bool hasErrorOccurred() const
Determine whether any SFINAE errors have been trapped.
SpecialMemberOverloadResult - The overloading result for a special member function.
Sema - This implements semantic analysis and AST building for C.
void DeclareGlobalNewDelete()
DeclareGlobalNewDelete - Declare the global forms of operator new and delete.
bool hasReachableDefinition(NamedDecl *D, NamedDecl **Suggested, bool OnlyNeedComplete=false)
Determine if D has a reachable definition.
CXXConstructorDecl * DeclareImplicitDefaultConstructor(CXXRecordDecl *ClassDecl)
Declare the implicit default constructor for the given class.
llvm::DenseSet< Module * > LookupModulesCache
Cache of additional modules that should be used for name lookup within the current template instantia...
SmallVector< CodeSynthesisContext, 16 > CodeSynthesisContexts
List of active code synthesis contexts.
llvm::DenseSet< Module * > & getLookupModules()
Get the set of additional modules that should be checked during name lookup.
LookupNameKind
Describes the kind of name lookup to perform.
@ LookupLabel
Label name lookup.
@ LookupOrdinaryName
Ordinary name lookup, which finds ordinary names (functions, variables, typedefs, etc....
@ LookupUsingDeclName
Look up all declarations in a scope with the given name, including resolved using declarations.
@ LookupNestedNameSpecifierName
Look up of a name that precedes the '::' scope resolution operator in C++.
@ LookupOMPReductionName
Look up the name of an OpenMP user-defined reduction operation.
@ LookupLocalFriendName
Look up a friend of a local class.
@ LookupObjCProtocolName
Look up the name of an Objective-C protocol.
@ LookupRedeclarationWithLinkage
Look up an ordinary name that is going to be redeclared as a name with linkage.
@ LookupOperatorName
Look up of an operator name (e.g., operator+) for use with operator overloading.
@ LookupObjCImplicitSelfParam
Look up implicit 'self' parameter of an objective-c method.
@ LookupNamespaceName
Look up a namespace name within a C++ using directive or namespace alias definition,...
@ LookupMemberName
Member name lookup, which finds the names of class/struct/union members.
@ LookupDestructorName
Look up a name following ~ in a destructor name.
@ LookupTagName
Tag name lookup, which finds the names of enums, classes, structs, and unions.
@ LookupOMPMapperName
Look up the name of an OpenMP user-defined mapper.
@ LookupAnyName
Look up any declaration with any name.
bool hasReachableDeclarationSlow(const NamedDecl *D, llvm::SmallVectorImpl< Module * > *Modules=nullptr)
MissingImportKind
Kinds of missing import.
void ForceDeclarationOfImplicitMembers(CXXRecordDecl *Class)
Force the declaration of any implicitly-declared members of this class.
bool hasVisibleDeclarationSlow(const NamedDecl *D, llvm::SmallVectorImpl< Module * > *Modules)
void LookupNecessaryTypesForBuiltin(Scope *S, unsigned ID)
bool LookupInSuper(LookupResult &R, CXXRecordDecl *Class)
Perform qualified name lookup into all base classes of the given class.
bool RequireCompleteDeclContext(CXXScopeSpec &SS, DeclContext *DC)
Require that the context specified by SS be complete.
Preprocessor & getPreprocessor() const
CXXConstructorDecl * DeclareImplicitMoveConstructor(CXXRecordDecl *ClassDecl)
Declare the implicit move constructor for the given class.
static NamedDecl * getAsTemplateNameDecl(NamedDecl *D, bool AllowFunctionTemplates=true, bool AllowDependent=true)
Try to interpret the lookup result D as a template-name.
LiteralOperatorLookupResult LookupLiteralOperator(Scope *S, LookupResult &R, ArrayRef< QualType > ArgTys, bool AllowRaw, bool AllowTemplate, bool AllowStringTemplate, bool DiagnoseMissing, StringLiteral *StringLit=nullptr)
LookupLiteralOperator - Determine which literal operator should be used for a user-defined literal,...
bool hasVisibleExplicitSpecialization(const NamedDecl *D, llvm::SmallVectorImpl< Module * > *Modules=nullptr)
Determine if there is a visible declaration of D that is an explicit specialization declaration for a...
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
@ CTAK_Specified
The template argument was specified in the code or was instantiated with some deduced template argume...
bool DisableTypoCorrection
Tracks whether we are in a context where typo correction is disabled.
llvm::DenseMap< NamedDecl *, NamedDecl * > VisibleNamespaceCache
Map from the most recent declaration of a namespace to the most recent visible declaration of that na...
bool hasMergedDefinitionInCurrentModule(const NamedDecl *Def)
IdentifierSourceLocations TypoCorrectionFailures
A cache containing identifiers for which typo correction failed and their locations,...
DiagnosticsEngine & getDiagnostics() const
bool LookupBuiltin(LookupResult &R)
Lookup a builtin function, when name lookup would otherwise fail.
void PushOnScopeChains(NamedDecl *D, Scope *S, bool AddToContext=true)
Add this decl to the scope shadowed decl chains.
bool DeclareRISCVSiFiveVectorBuiltins
Indicate RISC-V SiFive vector builtin functions enabled or not.
void LookupOverloadedOperatorName(OverloadedOperatorKind Op, Scope *S, UnresolvedSetImpl &Functions)
bool hasVisibleDefaultArgument(const NamedDecl *D, llvm::SmallVectorImpl< Module * > *Modules=nullptr)
Determine if the template parameter D has a visible default argument.
NamedDecl * LazilyCreateBuiltin(IdentifierInfo *II, unsigned ID, Scope *S, bool ForRedeclaration, SourceLocation Loc)
LazilyCreateBuiltin - The specified Builtin-ID was first used at file scope.
ASTContext & getASTContext() const
CXXDestructorDecl * LookupDestructor(CXXRecordDecl *Class)
Look for the destructor of the given class.
std::string getAmbiguousPathsDisplayString(CXXBasePaths &Paths)
Builds a string representing ambiguous paths from a specific derived class to different subobjects of...
unsigned TyposCorrected
The number of typos corrected by CorrectTypo.
PrintingPolicy getPrintingPolicy() const
Retrieve a suitable printing policy for diagnostics.
Module * getOwningModule(const Decl *Entity)
Get the module owning an entity.
ObjCMethodDecl * getCurMethodDecl()
getCurMethodDecl - If inside of a method body, this returns a pointer to the method decl for the meth...
void FindAssociatedClassesAndNamespaces(SourceLocation InstantiationLoc, ArrayRef< Expr * > Args, AssociatedNamespaceSet &AssociatedNamespaces, AssociatedClassSet &AssociatedClasses)
Find the associated classes and namespaces for argument-dependent lookup for a call with the given se...
void AddMethodTemplateCandidate(FunctionTemplateDecl *MethodTmpl, DeclAccessPair FoundDecl, CXXRecordDecl *ActingContext, TemplateArgumentListInfo *ExplicitTemplateArgs, QualType ObjectType, Expr::Classification ObjectClassification, ArrayRef< Expr * > Args, OverloadCandidateSet &CandidateSet, bool SuppressUserConversions=false, bool PartialOverloading=false, OverloadCandidateParamOrder PO={})
Add a C++ member function template as a candidate to the candidate set, using template argument deduc...
void AddTemplateOverloadCandidate(FunctionTemplateDecl *FunctionTemplate, DeclAccessPair FoundDecl, TemplateArgumentListInfo *ExplicitTemplateArgs, ArrayRef< Expr * > Args, OverloadCandidateSet &CandidateSet, bool SuppressUserConversions=false, bool PartialOverloading=false, bool AllowExplicit=true, ADLCallKind IsADLCandidate=ADLCallKind::NotADL, OverloadCandidateParamOrder PO={}, bool AggregateCandidateDeduction=false)
Add a C++ function template specialization as a candidate in the candidate set, using template argume...
FPOptions & getCurFPFeatures()
CXXConstructorDecl * LookupDefaultConstructor(CXXRecordDecl *Class)
Look up the default constructor for the given class.
const LangOptions & getLangOpts() const
TypoCorrection CorrectTypo(const DeclarationNameInfo &Typo, Sema::LookupNameKind LookupKind, Scope *S, CXXScopeSpec *SS, CorrectionCandidateCallback &CCC, CorrectTypoKind Mode, DeclContext *MemberContext=nullptr, bool EnteringContext=false, const ObjCObjectPointerType *OPT=nullptr, bool RecordFailure=true)
Try to "correct" a typo in the source code by finding visible declarations whose names are similar to...
TypoExpr * CorrectTypoDelayed(const DeclarationNameInfo &Typo, Sema::LookupNameKind LookupKind, Scope *S, CXXScopeSpec *SS, CorrectionCandidateCallback &CCC, TypoDiagnosticGenerator TDG, TypoRecoveryCallback TRC, CorrectTypoKind Mode, DeclContext *MemberContext=nullptr, bool EnteringContext=false, const ObjCObjectPointerType *OPT=nullptr)
Try to "correct" a typo in the source code by finding visible declarations whose names are similar to...
void LookupVisibleDecls(Scope *S, LookupNameKind Kind, VisibleDeclConsumer &Consumer, bool IncludeGlobalScope=true, bool LoadExternal=true)
bool LookupParsedName(LookupResult &R, Scope *S, CXXScopeSpec *SS, QualType ObjectType, bool AllowBuiltinCreation=false, bool EnteringContext=false)
Performs name lookup for a name that was parsed in the source code, and may contain a C++ scope speci...
bool hasVisibleMemberSpecialization(const NamedDecl *D, llvm::SmallVectorImpl< Module * > *Modules=nullptr)
Determine if there is a visible declaration of D that is a member specialization declaration (as oppo...
bool isReachable(const NamedDecl *D)
Determine whether a declaration is reachable.
CXXMethodDecl * DeclareImplicitMoveAssignment(CXXRecordDecl *ClassDecl)
Declare the implicit move assignment operator for the given class.
NamedDecl * getCurFunctionOrMethodDecl() const
getCurFunctionOrMethodDecl - Return the Decl for the current ObjC method or C function we're in,...
sema::FunctionScopeInfo * getCurFunction() const
bool isVisible(const NamedDecl *D)
Determine whether a declaration is visible to name lookup.
Module * getCurrentModule() const
Get the module unit whose scope we are currently within.
void NoteOverloadCandidate(const NamedDecl *Found, const FunctionDecl *Fn, OverloadCandidateRewriteKind RewriteKind=OverloadCandidateRewriteKind(), QualType DestType=QualType(), bool TakingAddress=false)
bool hasReachableDefaultArgument(const NamedDecl *D, llvm::SmallVectorImpl< Module * > *Modules=nullptr)
Determine if the template parameter D has a reachable default argument.
sema::BlockScopeInfo * getCurBlock()
Retrieve the current block, if any.
void ArgumentDependentLookup(DeclarationName Name, SourceLocation Loc, ArrayRef< Expr * > Args, ADLResult &Functions)
DeclContext * CurContext
CurContext - This is the current declaration context of parsing.
std::function< void(const TypoCorrection &)> TypoDiagnosticGenerator
CXXMethodDecl * LookupMovingAssignment(CXXRecordDecl *Class, unsigned Quals, bool RValueThis, unsigned ThisQuals)
Look up the moving assignment operator for the given class.
llvm::SmallVector< TypoExpr *, 2 > TypoExprs
Holds TypoExprs that are created from createDelayedTypo.
CXXMethodDecl * DeclareImplicitCopyAssignment(CXXRecordDecl *ClassDecl)
Declare the implicit copy assignment operator for the given class.
CXXConstructorDecl * LookupMovingConstructor(CXXRecordDecl *Class, unsigned Quals)
Look up the moving constructor for the given class.
bool isAcceptable(const NamedDecl *D, AcceptableKind Kind)
Determine whether a declaration is acceptable (visible/reachable).
CXXMethodDecl * LookupCopyingAssignment(CXXRecordDecl *Class, unsigned Quals, bool RValueThis, unsigned ThisQuals)
Look up the copying assignment operator for the given class.
bool isModuleVisible(const Module *M, bool ModulePrivate=false)
void AddMethodCandidate(DeclAccessPair FoundDecl, QualType ObjectType, Expr::Classification ObjectClassification, ArrayRef< Expr * > Args, OverloadCandidateSet &CandidateSet, bool SuppressUserConversion=false, OverloadCandidateParamOrder PO={})
AddMethodCandidate - Adds a named decl (which is some kind of method) as a method candidate to the gi...
bool hasVisibleMergedDefinition(const NamedDecl *Def)
void DeclareImplicitDeductionGuides(TemplateDecl *Template, SourceLocation Loc)
Declare implicit deduction guides for a class template if we've not already done so.
void diagnoseEquivalentInternalLinkageDeclarations(SourceLocation Loc, const NamedDecl *D, ArrayRef< const NamedDecl * > Equiv)
llvm::FoldingSet< SpecialMemberOverloadResultEntry > SpecialMemberCache
A cache of special member function overload resolution results for C++ records.
DeclContext * computeDeclContext(QualType T)
Compute the DeclContext that is associated with the given type.
LabelDecl * LookupOrCreateLabel(IdentifierInfo *II, SourceLocation IdentLoc, SourceLocation GnuLabelLoc=SourceLocation())
LookupOrCreateLabel - Do a name lookup of a label with the specified name.
void diagnoseMissingImport(SourceLocation Loc, const NamedDecl *Decl, MissingImportKind MIK, bool Recover=true)
Diagnose that the specified declaration needs to be visible but isn't, and suggest a module import th...
void AddOverloadCandidate(FunctionDecl *Function, DeclAccessPair FoundDecl, ArrayRef< Expr * > Args, OverloadCandidateSet &CandidateSet, bool SuppressUserConversions=false, bool PartialOverloading=false, bool AllowExplicit=true, bool AllowExplicitConversion=false, ADLCallKind IsADLCandidate=ADLCallKind::NotADL, ConversionSequenceList EarlyConversions=std::nullopt, OverloadCandidateParamOrder PO={}, bool AggregateCandidateDeduction=false)
AddOverloadCandidate - Adds the given function to the set of candidate functions, using the given fun...
bool hasReachableMemberSpecialization(const NamedDecl *D, llvm::SmallVectorImpl< Module * > *Modules=nullptr)
Determine if there is a reachable declaration of D that is a member specialization declaration (as op...
RedeclarationKind forRedeclarationInCurContext() const
bool DeclareRISCVVBuiltins
Indicate RISC-V vector builtin functions enabled or not.
CXXConstructorDecl * LookupCopyingConstructor(CXXRecordDecl *Class, unsigned Quals)
Look up the copying constructor for the given class.
ModuleLoader & getModuleLoader() const
Retrieve the module loader associated with the preprocessor.
void diagnoseTypo(const TypoCorrection &Correction, const PartialDiagnostic &TypoDiag, bool ErrorRecovery=true)
bool CheckTemplateArgument(NamedDecl *Param, TemplateArgumentLoc &Arg, NamedDecl *Template, SourceLocation TemplateLoc, SourceLocation RAngleLoc, unsigned ArgumentPackIndex, SmallVectorImpl< TemplateArgument > &SugaredConverted, SmallVectorImpl< TemplateArgument > &CanonicalConverted, CheckTemplateArgumentKind CTAK)
Check that the given template argument corresponds to the given template parameter.
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 DiagnoseAmbiguousLookup(LookupResult &Result)
Produce a diagnostic describing the ambiguity that resulted from name lookup.
bool LookupQualifiedName(LookupResult &R, DeclContext *LookupCtx, bool InUnqualifiedLookup=false)
Perform qualified name lookup into a given context.
SmallVector< ExpressionEvaluationContextRecord, 8 > ExprEvalContexts
A stack of expression evaluation contexts.
void makeMergedDefinitionVisible(NamedDecl *ND)
Make a merged definition of an existing hidden definition ND visible at the specified location.
bool isDependentScopeSpecifier(const CXXScopeSpec &SS)
SourceManager & SourceMgr
bool hasReachableExplicitSpecialization(const NamedDecl *D, llvm::SmallVectorImpl< Module * > *Modules=nullptr)
Determine if there is a reachable declaration of D that is an explicit specialization declaration for...
std::function< ExprResult(Sema &, TypoExpr *, TypoCorrection)> TypoRecoveryCallback
DiagnosticsEngine & Diags
CXXConstructorDecl * DeclareImplicitCopyConstructor(CXXRecordDecl *ClassDecl)
Declare the implicit copy constructor for the given class.
SpecialMemberOverloadResult LookupSpecialMember(CXXRecordDecl *D, CXXSpecialMemberKind SM, bool ConstArg, bool VolatileArg, bool RValueThis, bool ConstThis, bool VolatileThis)
bool hasAcceptableDefaultArgument(const NamedDecl *D, llvm::SmallVectorImpl< Module * > *Modules, Sema::AcceptableKind Kind)
Determine if the template parameter D has a reachable default argument.
AccessResult CheckMemberAccess(SourceLocation UseLoc, CXXRecordDecl *NamingClass, DeclAccessPair Found)
Checks access to a member.
SmallVector< Module *, 16 > CodeSynthesisContextLookupModules
Extra modules inspected when performing a lookup during a template instantiation.
llvm::BumpPtrAllocator BumpAlloc
TemplateDeductionResult DeduceTemplateArguments(ClassTemplatePartialSpecializationDecl *Partial, ArrayRef< TemplateArgument > TemplateArgs, sema::TemplateDeductionInfo &Info)
void runWithSufficientStackSpace(SourceLocation Loc, llvm::function_ref< void()> Fn)
Run some code with "sufficient" stack space.
bool hasAcceptableDefinition(NamedDecl *D, NamedDecl **Suggested, AcceptableKind Kind, bool OnlyNeedComplete=false)
void clearDelayedTypo(TypoExpr *TE)
Clears the state of the given TypoExpr.
LiteralOperatorLookupResult
The possible outcomes of name lookup for a literal operator.
@ LOLR_ErrorNoDiagnostic
The lookup found no match but no diagnostic was issued.
@ LOLR_Raw
The lookup found a single 'raw' literal operator, which expects a string literal containing the spell...
@ LOLR_Error
The lookup resulted in an error.
@ LOLR_Cooked
The lookup found a single 'cooked' literal operator, which expects a normal literal to be built and p...
@ LOLR_StringTemplatePack
The lookup found an overload set of literal operator templates, which expect the character type and c...
@ LOLR_Template
The lookup found an overload set of literal operator templates, which expect the characters of the sp...
void ActOnPragmaDump(Scope *S, SourceLocation Loc, IdentifierInfo *II)
Called on #pragma clang __debug dump II.
bool LookupName(LookupResult &R, Scope *S, bool AllowBuiltinCreation=false, bool ForceNoCPlusPlus=false)
Perform unqualified name lookup starting from a given scope.
IdentifierResolver IdResolver
const TypoExprState & getTypoExprState(TypoExpr *TE) const
DeclContextLookupResult LookupConstructors(CXXRecordDecl *Class)
Look up the constructors for the given class.
CXXDestructorDecl * DeclareImplicitDestructor(CXXRecordDecl *ClassDecl)
Declare the implicit destructor for the given class.
void createImplicitModuleImportForErrorRecovery(SourceLocation Loc, Module *Mod)
Create an implicit import of the given module at the given source location, for error recovery,...
Encodes a location in the source.
bool isValid() const
Return true if this is a valid SourceLocation object.
FileID getFileID(SourceLocation SpellingLoc) const
Return the FileID for a SourceLocation.
const FileEntry * getFileEntryForID(FileID FID) const
Returns the FileEntry record for the provided FileID.
A trivial tuple used to represent a source range.
SourceLocation getBegin() const
void dump() const
Dumps the specified AST fragment and all subtrees to llvm::errs().
StringLiteral - This represents a string literal expression, e.g.
Represents the declaration of a struct/union/class/enum.
bool isBeingDefined() const
Determines whether this type is in the process of being defined.
A template argument list.
unsigned size() const
Retrieve the number of template arguments in this template argument list.
Location wrapper for a TemplateArgument.
Represents a template argument.
QualType getAsType() const
Retrieve the type for a type template argument.
ArrayRef< TemplateArgument > pack_elements() const
Iterator range referencing all of the elements of a template argument pack.
@ Declaration
The template argument is a declaration that was provided for a pointer, reference,...
@ Template
The template argument is a template name that was provided for a template template parameter.
@ StructuralValue
The template argument is a non-type template argument that can't be represented by the special-case D...
@ Pack
The template argument is actually a parameter pack.
@ TemplateExpansion
The template argument is a pack expansion of a template name that was provided for a template templat...
@ NullPtr
The template argument is a null pointer or null pointer to member that was provided for a non-type te...
@ Type
The template argument is a type.
@ Null
Represents an empty template argument, e.g., one that has not been deduced.
@ Integral
The template argument is an integral value stored in an llvm::APSInt that was provided for an integra...
@ Expression
The template argument is an expression, and we've not resolved it to one of the other forms yet,...
ArgKind getKind() const
Return the kind of stored template argument.
TemplateName getAsTemplateOrTemplatePattern() const
Retrieve the template argument as a template name; if the argument is a pack expansion,...
Represents a C++ template name within the type system.
TemplateDecl * getAsTemplateDecl() const
Retrieve the underlying template declaration that this template name refers to, if known.
Stores a list of template parameters for a TemplateDecl and its derived classes.
NamedDecl * getParam(unsigned Idx)
Represents a type template specialization; the template must be a class template, a type alias templa...
Represents a declaration of a type.
const Type * getTypeForDecl() const
The base class of the type hierarchy.
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
const T * castAs() const
Member-template castAs<specific type>.
bool isReferenceType() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
DeducedType * getContainedDeducedType() const
Get the DeducedType whose type will be deduced for a variable with an initializer of this type.
QualType getCanonicalTypeInternal() const
bool isIncompleteType(NamedDecl **Def=nullptr) const
Types are partitioned into 3 broad categories (C99 6.2.5p1): object types, function types,...
bool isAnyPointerType() const
TypeClass getTypeClass() const
const T * getAs() const
Member-template getAs<specific type>'.
Base class for declarations which introduce a typedef-name.
void FoundDecl(NamedDecl *ND, NamedDecl *Hiding, DeclContext *Ctx, bool InBaseClass) override
Invoked each time Sema::LookupVisibleDecls() finds a declaration visible from the current scope or co...
void addKeywordResult(StringRef Keyword)
void addCorrection(TypoCorrection Correction)
const TypoCorrection & getNextCorrection()
Return the next typo correction that passes all internal filters and is deemed valid by the consumer'...
void FoundName(StringRef Name)
void addNamespaces(const llvm::MapVector< NamespaceDecl *, bool > &KnownNamespaces)
Set-up method to add to the consumer the set of namespaces to use in performing corrections to nested...
Simple class containing the result of Sema::CorrectTypo.
IdentifierInfo * getCorrectionAsIdentifierInfo() const
ArrayRef< PartialDiagnostic > getExtraDiagnostics() const
static const unsigned InvalidDistance
void addCorrectionDecl(NamedDecl *CDecl)
Add the given NamedDecl to the list of NamedDecls that are the declarations associated with the Decla...
void setCorrectionDecls(ArrayRef< NamedDecl * > Decls)
Clears the list of NamedDecls and adds the given set.
std::string getAsString(const LangOptions &LO) const
bool requiresImport() const
Returns whether this typo correction is correcting to a declaration that was declared in a module tha...
void setCorrectionRange(CXXScopeSpec *SS, const DeclarationNameInfo &TypoName)
NamedDecl * getCorrectionDecl() const
Gets the pointer to the declaration of the typo correction.
SourceRange getCorrectionRange() const
void WillReplaceSpecifier(bool ForceReplacement)
void setCallbackDistance(unsigned ED)
DeclarationName getCorrection() const
Gets the DeclarationName of the typo correction.
unsigned getEditDistance(bool Normalized=true) const
Gets the "edit distance" of the typo correction from the typo.
NestedNameSpecifier * getCorrectionSpecifier() const
Gets the NestedNameSpecifier needed to use the typo correction.
SmallVectorImpl< NamedDecl * >::iterator decl_iterator
void setRequiresImport(bool Req)
std::string getQuoted(const LangOptions &LO) const
NamedDecl * getFoundDecl() const
Get the correction declaration found by name lookup (before we looked through using shadow declaratio...
TypoExpr - Internal placeholder for expressions where typo correction still needs to be performed and...
A set of unresolved declarations.
void append(iterator I, iterator E)
void truncate(unsigned N)
The iterator over UnresolvedSets.
Represents C++ using-directive.
NamespaceDecl * getNominatedNamespace()
Returns the namespace nominated by this using-directive.
Represents a shadow declaration implicitly introduced into a scope by a (resolved) using-declaration ...
Represents a variable declaration or definition.
VarDecl * getTemplateInstantiationPattern() const
Retrieve the variable declaration from which this variable could be instantiated, if it is an instant...
Consumes visible declarations found when searching for all visible names within a given scope or cont...
virtual bool includeHiddenDecls() const
Determine whether hidden declarations (from unimported modules) should be given to this consumer.
virtual ~VisibleDeclConsumer()
Destroys the visible declaration consumer.
bool isVisible(const Module *M) const
Determine whether a module is visible.
SmallVector< SwitchInfo, 8 > SwitchStack
SwitchStack - This is the current set of active switch statements in the block.
Provides information about an attempted template argument deduction, whose success or failure was des...
bool Load(InterpState &S, CodePtr OpPC)
The JSON file list parser is used to communicate input to InstallAPI.
OverloadedOperatorKind
Enumeration specifying the different kinds of C++ overloaded operators.
if(T->getSizeExpr()) TRY_TO(TraverseStmt(const_cast< Expr * >(T -> getSizeExpr())))
@ OR_Deleted
Succeeded, but refers to a deleted function.
@ OR_Success
Overload resolution succeeded.
@ OR_Ambiguous
Ambiguous candidates found.
@ OR_No_Viable_Function
No viable function found.
@ Specialization
We are substituting template parameters for template arguments in order to form a template specializa...
std::unique_ptr< sema::RISCVIntrinsicManager > CreateRISCVIntrinsicManager(Sema &S)
@ External
External linkage, which indicates that the entity can be referred to from other translation units.
TemplateDecl * getAsTypeTemplateDecl(Decl *D)
@ Result
The result type of a method or function.
std::pair< unsigned, unsigned > getDepthAndIndex(NamedDecl *ND)
Retrieve the depth and index of a template parameter.
CXXSpecialMemberKind
Kinds of C++ special members.
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_LValue
An l-value expression is a reference to an object with independent storage.
const FunctionProtoType * T
@ Success
Template argument deduction was successful.
@ TSK_ExplicitSpecialization
This template specialization was declared or defined by an explicit specialization (C++ [temp....
ConstructorInfo getConstructorInfo(NamedDecl *ND)
@ Class
The "class" keyword introduces the elaborated-type-specifier.
@ Enum
The "enum" keyword introduces the elaborated-type-specifier.
@ EST_None
no exception specification
AccessSpecifier
A C++ access specifier (public, private, protected), plus the special value "none" which means differ...
Represents an element in a path from a derived class to a base class.
int SubobjectNumber
Identifies which base class subobject (of type Base->getType()) this base path element refers to.
const CXXBaseSpecifier * Base
The base specifier that states the link from a derived class to a base class, which will be followed ...
DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspon...
SourceLocation getLoc() const
getLoc - Returns the main location of the declaration name.
DeclarationName getName() const
getName - Returns the embedded declaration name.
SourceLocation getBeginLoc() const
getBeginLoc - Retrieve the location of the first token.
Extra information about a function prototype.
ExceptionSpecInfo ExceptionSpec
FunctionType::ExtInfo ExtInfo
OverloadExpr * Expression
Describes how types, statements, expressions, and declarations should be printed.