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;
1312 UnqualUsingDirectiveSet UDirs(*
this);
1313 bool VisitedUsingDirectives =
false;
1314 bool LeftStartingScope =
false;
1317 FindLocalExternScope FindLocals(R);
1320 bool SearchNamespaceScope =
true;
1322 for (; I != IEnd && S->isDeclScope(*I); ++I) {
1325 !(*I)->isTemplateParameter()) {
1331 if (!LeftStartingScope && !Initial->
isDeclScope(*I))
1332 LeftStartingScope =
true;
1336 if (LeftStartingScope && !((*I)->hasLinkage())) {
1343 SearchNamespaceScope =
false;
1348 if (!SearchNamespaceScope) {
1350 if (S->isClassScope())
1351 if (
auto *
Record = dyn_cast_if_present<CXXRecordDecl>(S->getEntity()))
1381 if (Method->isInstanceMethod() && Name.getAsIdentifierInfo())
1385 Name.getAsIdentifierInfo(),
1403 if (!VisitedUsingDirectives) {
1406 if (UCtx->isTransparentContext())
1409 UDirs.visit(UCtx, UCtx);
1414 Scope *InnermostFileScope = S;
1415 while (InnermostFileScope &&
1417 InnermostFileScope = InnermostFileScope->
getParent();
1418 UDirs.visitScopeChain(Initial, InnermostFileScope);
1422 VisitedUsingDirectives =
true;
1447 if (!S)
return false;
1458 if (!VisitedUsingDirectives) {
1459 UDirs.visitScopeChain(Initial, S);
1466 FindLocals.restore();
1472 for (; S; S = S->getParent()) {
1475 for (; I != IEnd && S->isDeclScope(*I); ++I) {
1486 if (Found && S->isTemplateParamScope()) {
1504 if (!(Found && S->isTemplateParamScope())) {
1506 "We should have been looking only at file context here already.");
1539 if (
auto *TD = dyn_cast<TemplateDecl>(ND))
1540 for (
auto *Param : *TD->getTemplateParameters())
1546 if (
FunctionDecl *FD = dyn_cast<FunctionDecl>(Entity)) {
1551 }
else if (
CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(Entity)) {
1554 }
else if (
EnumDecl *ED = dyn_cast<EnumDecl>(Entity)) {
1555 if (
auto *Pattern = ED->getTemplateInstantiationPattern())
1557 }
else if (
VarDecl *VD = dyn_cast<VarDecl>(Entity)) {
1565 if (Context->isFileContext())
1585bool Sema::isUsableModule(
const Module *M) {
1586 assert(M &&
"We shouldn't check nullness for module here");
1588 if (UsableModuleUnitsCache.count(M))
1596 if (M == TheGlobalModuleFragment || M == TheImplicitGlobalModuleFragment ||
1611 llvm::StringRef(
getLangOpts().CurrentModule).split(
':').first) {
1612 UsableModuleUnitsCache.insert(M);
1628 if (isUsableModule(Merged))
1633template <
typename ParmDecl>
1638 if (!D->hasDefaultArgument())
1642 while (D &&
Visited.insert(D).second) {
1643 auto &DefaultArg = D->getDefaultArgStorage();
1644 if (!DefaultArg.isInherited() && S.
isAcceptable(D, Kind))
1647 if (!DefaultArg.isInherited() && Modules) {
1648 auto *NonConstD =
const_cast<ParmDecl*
>(D);
1654 D = DefaultArg.getInheritedFrom();
1662 if (
auto *
P = dyn_cast<TemplateTypeParmDecl>(D))
1663 return ::hasAcceptableDefaultArgument(*
this,
P, Modules, Kind);
1665 if (
auto *
P = dyn_cast<NonTypeTemplateParmDecl>(D))
1666 return ::hasAcceptableDefaultArgument(*
this,
P, Modules, Kind);
1668 return ::hasAcceptableDefaultArgument(
1669 *
this, cast<TemplateTemplateParmDecl>(D), Modules, Kind);
1684template <
typename Filter>
1689 bool HasFilteredRedecls =
false;
1691 for (
auto *Redecl : D->
redecls()) {
1692 auto *R = cast<NamedDecl>(Redecl);
1699 HasFilteredRedecls =
true;
1702 Modules->push_back(R->getOwningModule());
1706 if (HasFilteredRedecls)
1719 if (
auto *RD = dyn_cast<CXXRecordDecl>(D))
1720 return RD->getTemplateSpecializationKind() ==
1722 if (
auto *FD = dyn_cast<FunctionDecl>(D))
1723 return FD->getTemplateSpecializationKind() ==
1725 if (
auto *VD = dyn_cast<VarDecl>(D))
1726 return VD->getTemplateSpecializationKind() ==
1728 llvm_unreachable(
"unknown explicit specialization kind");
1735 return ::hasAcceptableExplicitSpecialization(*
this, D, Modules,
1741 return ::hasAcceptableExplicitSpecialization(*
this, D, Modules,
1750 "not a member specialization");
1788bool LookupResult::isAcceptableSlow(
Sema &SemaRef,
NamedDecl *D,
1791 "should not call this: not in slow case");
1794 assert(DeclModule &&
"hidden decl has no owning module");
1804 auto IsEffectivelyFileContext = [](
const DeclContext *DC) {
1806 isa<ExportDecl>(DC);
1812 if (DC && !IsEffectivelyFileContext(DC)) {
1820 bool AcceptableWithinParent;
1822 bool SearchDefinitions =
true;
1823 if (
const auto *DCD = dyn_cast<Decl>(DC)) {
1824 if (
const auto *TD = DCD->getDescribedTemplate()) {
1827 SearchDefinitions = Index >= TPL->
size() || TPL->
getParam(Index) != D;
1830 if (SearchDefinitions)
1831 AcceptableWithinParent =
1834 AcceptableWithinParent =
1836 }
else if (isa<ParmVarDecl>(D) ||
1837 (isa<FunctionDecl>(DC) && !SemaRef.
getLangOpts().CPlusPlus))
1838 AcceptableWithinParent =
isAcceptable(SemaRef, cast<NamedDecl>(DC), Kind);
1842 AcceptableWithinParent =
false;
1845 AcceptableWithinParent =
true;
1849 }
while (!IsEffectivelyFileContext(DC));
1851 AcceptableWithinParent =
1863 return AcceptableWithinParent;
1870 "Additional Sema::AcceptableKind?");
1871 return isReachableSlow(SemaRef, D);
1877 if (ModulePrivate && isUsableModule(M))
1882 if (!ModulePrivate && VisibleModules.
isVisible(M))
1890 if (LookupModules.empty())
1894 if (LookupModules.count(M))
1908 return llvm::any_of(LookupModules, [&](
const Module *LookupM) {
1915bool LookupResult::isReachableSlow(
Sema &SemaRef,
NamedDecl *D) {
1916 assert(!
isVisible(SemaRef, D) &&
"Shouldn't call the slow case.\n");
1919 assert(DeclModule &&
"hidden decl has no owning module");
1989 "should not have hidden, non-externally-declarable result here");
2023 for (
auto *RD : D->
redecls()) {
2028 auto ND = cast<NamedDecl>(RD);
2032 if (ND->isInIdentifierNamespace(IDNS) &&
2042 assert(!
isVisible(D) &&
"not in slow case");
2044 *
this, D, Modules, [](
const NamedDecl *) {
return true; },
2052 *
this, D, Modules, [](
const NamedDecl *) {
return true; },
2057 if (
auto *ND = dyn_cast<NamespaceDecl>(D)) {
2065 if (
auto *Acceptable =
getSema().VisibleNamespaceCache.lookup(Key))
2119 if (
auto *FD = dyn_cast<FunctionDecl>(ND);
2120 FD && FD->isReservedGlobalPlacementOperator())
2149 if (
auto *TD = dyn_cast<TagDecl>(DC))
2184 bool ForceNoCPlusPlus) {
2186 if (!Name)
return false;
2196 (S->getEntity() && S->getEntity()->isTransparentContext()))
2201 FindLocalExternScope FindLocals(R);
2207 bool LeftStartingScope =
false;
2216 if (!LeftStartingScope && !S->isDeclScope(*I))
2217 LeftStartingScope =
true;
2221 if (LeftStartingScope && !((*I)->hasLinkage())) {
2227 !isa<ImplicitParamDecl>(*I))
2237 while (S && !S->isDeclScope(D))
2252 for (++LastI; LastI != IEnd; ++LastI) {
2255 if (!S->isDeclScope(*LastI))
2277 if (CppLookupName(R, S))
2323 assert(StartDC->
isFileContext() &&
"start context is not a file context");
2336 NamespaceDecl *ND = I->getNominatedNamespace()->getOriginalNamespace();
2338 Queue.push_back(ND);
2345 bool FoundTag =
false;
2346 bool FoundNonTag =
false;
2351 while (!Queue.empty()) {
2356 bool UseLocal = !R.
empty();
2386 Queue.push_back(Nom);
2391 if (FoundTag && FoundNonTag)
2423 bool InUnqualifiedLookup) {
2424 assert(LookupCtx &&
"Sema::LookupQualifiedName requires a lookup context");
2430 assert((!isa<TagDecl>(LookupCtx) ||
2432 cast<TagDecl>(LookupCtx)->isCompleteDefinition() ||
2433 cast<TagDecl>(LookupCtx)->isBeingDefined()) &&
2434 "Declaration context must already be complete!");
2436 struct QualifiedLookupInScope {
2444 ~QualifiedLookupInScope() {
2445 Context->setUseQualifiedLookup(oldVal);
2451 if (isa<CXXRecordDecl>(LookupCtx))
2474 CXXRecordDecl *LookupRec = dyn_cast<CXXRecordDecl>(LookupCtx);
2507 for (Path.Decls = BaseRecord->
lookup(Name).
begin();
2508 Path.Decls != Path.Decls.
end(); ++Path.Decls) {
2509 if ((*Path.Decls)->isInIdentifierNamespace(IDNS))
2516 Paths.setOrigin(LookupRec);
2529 int SubobjectNumber = 0;
2535 if ((*I)->isInIdentifierNamespace(IDNS) && (*I)->isCXXInstanceMember())
2547 using Result =
const void *;
2549 auto Next = [&](Iterator &It, Iterator End) ->
Result {
2563 if (TemplateNameLookup)
2572 return T.getCanonicalType().getAsOpaquePtr();
2582 Iterator AIt = A, BIt = B, AEnd, BEnd;
2584 Result AResult = Next(AIt, AEnd);
2585 Result BResult = Next(BIt, BEnd);
2586 if (!AResult && !BResult)
2588 if (!AResult || !BResult)
2590 if (AResult != BResult) {
2593 llvm::SmallDenseMap<Result, bool, 32> AResults;
2594 for (; AResult; AResult = Next(AIt, AEnd))
2595 AResults.insert({AResult,
false});
2597 for (; BResult; BResult = Next(BIt, BEnd)) {
2598 auto It = AResults.find(BResult);
2599 if (It == AResults.end())
2606 return AResults.size() == Found;
2612 Path != PathEnd; ++Path) {
2617 SubobjectAccess = std::min(SubobjectAccess, Path->Access);
2620 if (SubobjectType.isNull()) {
2627 if (SubobjectType !=
2635 if (HasOnlyStaticMembers(Path->Decls) &&
2636 HasSameDeclarations(Paths.begin()->Decls, Path->Decls))
2639 R.setAmbiguousBaseSubobjectTypes(Paths);
2653 if (HasOnlyStaticMembers(Path->Decls))
2658 R.setAmbiguousBaseSubobjects(Paths);
2669 if (
NamedDecl *ND = R.getAcceptableDecl(*I))
2721 bool AllowBuiltinCreation,
bool EnteringContext) {
2728 if (SS && SS->
isSet()) {
2752 return LookupName(R, S, AllowBuiltinCreation);
2769 for (
const auto &BaseSpec :
Class->bases()) {
2778 for (
auto I =
Result.begin(), E =
Result.end(); I != E; ++I) {
2784 Result.suppressDiagnostics();
2798 assert(
Result.isAmbiguous() &&
"Lookup result must be ambiguous");
2804 switch (
Result.getAmbiguityKind()) {
2807 QualType SubobjectType = Paths->front().back().Base->getType();
2808 Diag(NameLoc, diag::err_ambiguous_member_multiple_subobjects)
2813 while (isa<CXXMethodDecl>(*Found) &&
2814 cast<CXXMethodDecl>(*Found)->isStatic())
2817 Diag((*Found)->getLocation(), diag::note_ambiguous_member_found);
2822 Diag(NameLoc, diag::err_ambiguous_member_multiple_subobject_types)
2823 << Name << LookupRange;
2826 std::set<const NamedDecl *> DeclsPrinted;
2828 PathEnd = Paths->end();
2829 Path != PathEnd; ++Path) {
2833 if (DeclsPrinted.insert(D).second) {
2836 << TD->getUnderlyingType();
2848 Diag(NameLoc, diag::err_ambiguous_tag_hiding) << Name << LookupRange;
2853 if (
TagDecl *TD = dyn_cast<TagDecl>(D)) {
2854 TagDecls.insert(TD);
2855 Diag(TD->getLocation(), diag::note_hidden_tag);
2859 if (!isa<TagDecl>(D))
2865 if (TagDecls.count(F.
next()))
2873 Diag(NameLoc, diag::err_using_placeholder_variable) << Name << LookupRange;
2885 Diag(NameLoc, diag::err_ambiguous_reference) << Name << LookupRange;
2895 struct AssociatedLookup {
2899 : S(S), Namespaces(Namespaces), Classes(Classes),
2900 InstantiationLoc(InstantiationLoc) {
2905 return ClassesTransitive.insert(RD);
2973 DeclContext *Ctx = ClassTemplate->getDeclContext();
2974 if (
CXXRecordDecl *EnclosingClass = dyn_cast<CXXRecordDecl>(Ctx))
2975 Result.Classes.insert(EnclosingClass);
3005 if (
Class->getDeclName() ==
Result.S.VAListTagName)
3018 if (
CXXRecordDecl *EnclosingClass = dyn_cast<CXXRecordDecl>(Ctx))
3019 Result.Classes.insert(EnclosingClass);
3034 = dyn_cast<ClassTemplateSpecializationDecl>(
Class)) {
3035 DeclContext *Ctx = Spec->getSpecializedTemplate()->getDeclContext();
3036 if (
CXXRecordDecl *EnclosingClass = dyn_cast<CXXRecordDecl>(Ctx))
3037 Result.Classes.insert(EnclosingClass);
3042 for (
unsigned I = 0, N = TemplateArgs.
size(); I != N; ++I)
3059 Bases.push_back(
Class);
3060 while (!Bases.empty()) {
3062 Class = Bases.pop_back_val();
3065 for (
const auto &
Base :
Class->bases()) {
3076 if (
Result.addClassTransitive(BaseDecl)) {
3083 Bases.push_back(BaseDecl);
3111#define TYPE(Class, Base)
3112#define DEPENDENT_TYPE(Class, Base) case Type::Class:
3113#define NON_CANONICAL_TYPE(Class, Base) case Type::Class:
3114#define NON_CANONICAL_UNLESS_DEPENDENT_TYPE(Class, Base) case Type::Class:
3115#define ABSTRACT_TYPE(Class, Base)
3116#include "clang/AST/TypeNodes.inc"
3129 case Type::ConstantArray:
3130 case Type::IncompleteArray:
3131 case Type::VariableArray:
3132 T = cast<ArrayType>(
T)->getElementType().getTypePtr();
3145 case Type::Record: {
3147 cast<CXXRecordDecl>(cast<RecordType>(
T)->getDecl());
3160 if (
CXXRecordDecl *EnclosingClass = dyn_cast<CXXRecordDecl>(Ctx))
3161 Result.Classes.insert(EnclosingClass);
3172 case Type::FunctionProto: {
3175 Queue.push_back(Arg.getTypePtr());
3179 case Type::FunctionNoProto: {
3194 case Type::MemberPointer: {
3198 Queue.push_back(MemberPtr->
getClass());
3206 case Type::BlockPointer:
3212 case Type::LValueReference:
3213 case Type::RValueReference:
3219 case Type::ExtVector:
3220 case Type::ConstantMatrix:
3227 case Type::DeducedTemplateSpecialization:
3233 case Type::ObjCObject:
3234 case Type::ObjCInterface:
3235 case Type::ObjCObjectPointer:
3236 Result.Namespaces.insert(
Result.S.Context.getTranslationUnitDecl());
3242 T = cast<AtomicType>(
T)->getValueType().getTypePtr();
3245 T = cast<PipeType>(
T)->getElementType().getTypePtr();
3249 case Type::ArrayParameter:
3255 T = Queue.pop_back_val();
3270 AssociatedNamespaces.clear();
3271 AssociatedClasses.clear();
3273 AssociatedLookup
Result(*
this, InstantiationLoc,
3274 AssociatedNamespaces, AssociatedClasses);
3283 for (
unsigned ArgIdx = 0; ArgIdx != Args.size(); ++ArgIdx) {
3284 Expr *Arg = Args[ArgIdx];
3326 return cast_or_null<ObjCProtocolDecl>(D);
3341 assert(!Operators.
isAmbiguous() &&
"Operator lookup cannot be ambiguous");
3347 bool ConstArg,
bool VolatileArg,
bool RValueThis,
3348 bool ConstThis,
bool VolatileThis) {
3350 "doing special member lookup into record that isn't fully complete");
3352 if (RValueThis || ConstThis || VolatileThis)
3355 "constructors and destructors always have unqualified lvalue this");
3356 if (ConstArg || VolatileArg)
3359 "parameter-less special members can't have qualified arguments");
3364 llvm::FoldingSetNodeID ID;
3366 ID.AddInteger(llvm::to_underlying(
SM));
3367 ID.AddInteger(ConstArg);
3368 ID.AddInteger(VolatileArg);
3369 ID.AddInteger(RValueThis);
3370 ID.AddInteger(ConstThis);
3371 ID.AddInteger(VolatileThis);
3388 DeclareImplicitDestructor(RD);
3403 Expr *Arg =
nullptr;
3414 DeclareImplicitDefaultConstructor(RD);
3423 DeclareImplicitCopyConstructor(RD);
3428 DeclareImplicitMoveConstructor(RD);
3435 DeclareImplicitCopyAssignment(RD);
3440 DeclareImplicitMoveAssignment(RD);
3493 "lookup for a constructor or assignment operator was empty");
3494 Result->setMethod(
nullptr);
3503 for (
NamedDecl *CandDecl : Candidates) {
3504 if (CandDecl->isInvalidDecl())
3530 CtorInfo.FoundDecl,
nullptr,
3536 assert(isa<UsingDecl>(Cand.
getDecl()) &&
3537 "illegal Kind of operator = Decl");
3544 Result->setMethod(cast<CXXMethodDecl>(Best->Function));
3549 Result->setMethod(cast<CXXMethodDecl>(Best->Function));
3554 Result->setMethod(
nullptr);
3559 Result->setMethod(
nullptr);
3571 false,
false,
false,
false,
false);
3573 return cast_or_null<CXXConstructorDecl>(
Result.getMethod());
3580 "non-const, non-volatile qualifiers for copy ctor arg");
3585 return cast_or_null<CXXConstructorDecl>(
Result.getMethod());
3595 return cast_or_null<CXXConstructorDecl>(
Result.getMethod());
3603 if (Class->needsImplicitDefaultConstructor())
3604 DeclareImplicitDefaultConstructor(Class);
3605 if (Class->needsImplicitCopyConstructor())
3606 DeclareImplicitCopyConstructor(Class);
3607 if (getLangOpts().CPlusPlus11 && Class->needsImplicitMoveConstructor())
3608 DeclareImplicitMoveConstructor(Class);
3614 return Class->lookup(Name);
3619 unsigned Quals,
bool RValueThis,
3620 unsigned ThisQuals) {
3622 "non-const, non-volatile qualifiers for copy assignment arg");
3624 "non-const, non-volatile qualifiers for copy assignment this");
3630 return Result.getMethod();
3637 unsigned ThisQuals) {
3639 "non-const, non-volatile qualifiers for copy assignment this");
3645 return Result.getMethod();
3655 return cast_or_null<CXXDestructorDecl>(
3657 false,
false,
false)
3670 bool AllowTemplate,
bool AllowStringTemplatePack,
3674 "literal operator lookup can't be ambiguous");
3679 bool AllowCooked =
true;
3680 bool FoundRaw =
false;
3681 bool FoundTemplate =
false;
3682 bool FoundStringTemplatePack =
false;
3683 bool FoundCooked =
false;
3688 D = USD->getTargetDecl();
3697 bool IsTemplate =
false;
3698 bool IsStringTemplatePack =
false;
3699 bool IsCooked =
false;
3702 if (FD->getNumParams() == 1 &&
3703 FD->getParamDecl(0)->getType()->getAs<
PointerType>())
3705 else if (FD->getNumParams() == ArgTys.size()) {
3707 for (
unsigned ArgIdx = 0; ArgIdx != ArgTys.size(); ++ArgIdx) {
3708 QualType ParamTy = FD->getParamDecl(ArgIdx)->getType();
3718 if (Params->
size() == 1) {
3741 IsStringTemplatePack =
true;
3745 if (AllowTemplate && StringLit && IsTemplate) {
3746 FoundTemplate =
true;
3748 AllowCooked =
false;
3749 AllowStringTemplatePack =
false;
3750 if (FoundRaw || FoundCooked || FoundStringTemplatePack) {
3752 FoundRaw = FoundCooked = FoundStringTemplatePack =
false;
3754 }
else if (AllowCooked && IsCooked) {
3757 AllowTemplate = StringLit;
3758 AllowStringTemplatePack =
false;
3759 if (FoundRaw || FoundTemplate || FoundStringTemplatePack) {
3763 FoundRaw = FoundTemplate = FoundStringTemplatePack =
false;
3765 }
else if (AllowRaw && IsRaw) {
3767 }
else if (AllowTemplate && IsTemplate) {
3768 FoundTemplate =
true;
3769 }
else if (AllowStringTemplatePack && IsStringTemplatePack) {
3770 FoundStringTemplatePack =
true;
3780 if (StringLit && FoundTemplate)
3791 if (FoundRaw && FoundTemplate) {
3804 if (FoundStringTemplatePack)
3808 if (DiagnoseMissing) {
3811 << (ArgTys.size() == 2 ? ArgTys[1] :
QualType()) << AllowRaw
3812 << (AllowTemplate || AllowStringTemplatePack);
3824 if (Old ==
nullptr || Old == New) {
3835 Cursor = Cursor->getPreviousDecl();
3839 if (!Cursor)
return;
3842 if (Cursor == OldFD)
break;
3857 AssociatedNamespaces,
3871 for (
auto *
NS : AssociatedNamespaces) {
3891 auto *Underlying = D;
3892 if (
auto *USD = dyn_cast<UsingShadowDecl>(D))
3893 Underlying = USD->getTargetDecl();
3895 if (!isa<FunctionDecl>(Underlying) &&
3896 !isa<FunctionTemplateDecl>(Underlying))
3921 "bad export context");
3925 llvm::any_of(AssociatedClasses, [&](
auto *E) {
3929 if (E->getOwningModule() != FM)
3933 DeclContext *Ctx = E->getDeclContext();
3934 while (!Ctx->isFileContext() || Ctx->isInlineNamespace())
3935 Ctx = Ctx->getParent();
3953 if (AssociatedClasses.count(RD) &&
isReachable(D)) {
3962 Result.insert(Underlying);
3976class ShadowContextRAII;
3978class VisibleDeclsRecord {
3983 typedef llvm::TinyPtrVector<NamedDecl*> ShadowMapEntry;
3988 typedef llvm::DenseMap<DeclarationName, ShadowMapEntry> ShadowMap;
3991 std::list<ShadowMap> ShadowMaps;
3996 friend class ShadowContextRAII;
4002 return !VisitedContexts.insert(Ctx).second;
4006 return VisitedContexts.count(Ctx);
4018 ShadowMaps.back()[ND->
getDeclName()].push_back(ND);
4023class ShadowContextRAII {
4024 VisibleDeclsRecord &Visible;
4026 typedef VisibleDeclsRecord::ShadowMap ShadowMap;
4029 ShadowContextRAII(VisibleDeclsRecord &Visible) : Visible(Visible) {
4030 Visible.ShadowMaps.emplace_back();
4033 ~ShadowContextRAII() {
4034 Visible.ShadowMaps.pop_back();
4042 std::list<ShadowMap>::reverse_iterator
SM = ShadowMaps.rbegin();
4043 for (std::list<ShadowMap>::reverse_iterator SMEnd = ShadowMaps.rend();
4044 SM != SMEnd; ++
SM) {
4046 if (Pos ==
SM->end())
4049 for (
auto *D : Pos->second) {
4067 SM == ShadowMaps.rbegin())
4072 if (isa<UsingShadowDecl>(ND) && isa<UsingDecl>(D) &&
4073 cast<UsingShadowDecl>(ND)->getIntroducer() == D)
4085class LookupVisibleHelper {
4089 : Consumer(Consumer), IncludeDependentBases(IncludeDependentBases),
4090 LoadExternal(LoadExternal) {}
4093 bool IncludeGlobalScope) {
4097 UnqualUsingDirectiveSet UDirs(SemaRef);
4103 UDirs.visitScopeChain(Initial, S);
4109 Result.setAllowHidden(Consumer.includeHiddenDecls());
4110 if (!IncludeGlobalScope)
4112 ShadowContextRAII Shadow(
Visited);
4113 lookupInScope(Initial, Result, UDirs);
4119 Result.setAllowHidden(Consumer.includeHiddenDecls());
4120 if (!IncludeGlobalScope)
4123 ShadowContextRAII Shadow(
Visited);
4124 lookupInDeclContext(Ctx, Result,
true,
4130 bool QualifiedNameLookup,
bool InBaseClass) {
4138 Consumer.EnteredContext(Ctx);
4141 if (isa<TranslationUnitDecl>(Ctx) &&
4143 auto &S = Result.getSema();
4149 Idents.getExternalIdentifierLookup()) {
4150 std::unique_ptr<IdentifierIterator>
Iter(
External->getIdentifiers());
4151 for (StringRef Name =
Iter->Next(); !Name.empty();
4152 Name =
Iter->Next())
4157 for (
const auto &Ident : Idents) {
4162 if (
NamedDecl *ND = Result.getAcceptableDecl(*I)) {
4163 Consumer.FoundDecl(ND,
Visited.checkHidden(ND), Ctx, InBaseClass);
4174 Result.getSema().ForceDeclarationOfImplicitMembers(Class);
4178 bool Load = LoadExternal ||
4179 !(isa<TranslationUnitDecl>(Ctx) || isa<NamespaceDecl>(Ctx));
4190 DeclsToVisit.push_back(D);
4192 for (
auto *D : DeclsToVisit)
4193 if (
auto *ND = Result.getAcceptableDecl(D)) {
4194 Consumer.FoundDecl(ND,
Visited.checkHidden(ND), Ctx, InBaseClass);
4198 DeclsToVisit.clear();
4201 if (QualifiedNameLookup) {
4202 ShadowContextRAII Shadow(
Visited);
4204 if (!Result.getSema().isVisible(I))
4206 lookupInDeclContext(I->getNominatedNamespace(), Result,
4207 QualifiedNameLookup, InBaseClass);
4213 if (!
Record->hasDefinition())
4216 for (
const auto &B :
Record->bases()) {
4221 if (!IncludeDependentBases) {
4234 RD = TD->getTemplatedDecl();
4262 ShadowContextRAII Shadow(
Visited);
4263 lookupInDeclContext(RD, Result, QualifiedNameLookup,
4271 for (
auto *Cat : IFace->visible_categories()) {
4272 ShadowContextRAII Shadow(
Visited);
4273 lookupInDeclContext(Cat, Result, QualifiedNameLookup,
4278 for (
auto *I : IFace->all_referenced_protocols()) {
4279 ShadowContextRAII Shadow(
Visited);
4280 lookupInDeclContext(I, Result, QualifiedNameLookup,
4285 if (IFace->getSuperClass()) {
4286 ShadowContextRAII Shadow(
Visited);
4287 lookupInDeclContext(IFace->getSuperClass(), Result, QualifiedNameLookup,
4293 if (IFace->getImplementation()) {
4294 ShadowContextRAII Shadow(
Visited);
4295 lookupInDeclContext(IFace->getImplementation(), Result,
4296 QualifiedNameLookup, InBaseClass);
4299 for (
auto *I :
Protocol->protocols()) {
4300 ShadowContextRAII Shadow(
Visited);
4301 lookupInDeclContext(I, Result, QualifiedNameLookup,
4305 for (
auto *I :
Category->protocols()) {
4306 ShadowContextRAII Shadow(
Visited);
4307 lookupInDeclContext(I, Result, QualifiedNameLookup,
4312 if (
Category->getImplementation()) {
4313 ShadowContextRAII Shadow(
Visited);
4314 lookupInDeclContext(
Category->getImplementation(), Result,
4315 QualifiedNameLookup,
true);
4321 UnqualUsingDirectiveSet &UDirs) {
4324 assert(!IncludeDependentBases &&
"Unsupported flag for lookupInScope");
4329 if (!S->getEntity() ||
4330 (!S->getParent() && !
Visited.alreadyVisitedContext(S->getEntity())) ||
4331 (S->getEntity())->isFunctionOrMethod()) {
4332 FindLocalExternScope FindLocals(Result);
4336 for (
Decl *D : ScopeDecls) {
4337 if (
NamedDecl *ND = dyn_cast<NamedDecl>(D))
4338 if ((ND = Result.getAcceptableDecl(ND))) {
4339 Consumer.FoundDecl(ND,
Visited.checkHidden(ND),
nullptr,
false);
4355 if (Method->isInstanceMethod()) {
4357 LookupResult IvarResult(Result.getSema(), Result.getLookupName(),
4358 Result.getNameLoc(),
4361 lookupInDeclContext(IFace, IvarResult,
4376 lookupInDeclContext(Ctx, Result,
false,
4379 }
else if (!S->getParent()) {
4391 lookupInDeclContext(Entity, Result,
false,
4398 for (
const UnqualUsingEntry &UUE : UDirs.getNamespacesFor(Entity))
4399 lookupInDeclContext(
4400 const_cast<DeclContext *
>(UUE.getNominatedNamespace()), Result,
4406 ShadowContextRAII Shadow(
Visited);
4407 lookupInScope(S->getParent(), Result, UDirs);
4413 bool IncludeDependentBases;
4420 bool IncludeGlobalScope,
bool LoadExternal) {
4421 LookupVisibleHelper H(
Consumer,
false,
4423 H.lookupVisibleDecls(*
this, S, Kind, IncludeGlobalScope);
4428 bool IncludeGlobalScope,
4429 bool IncludeDependentBases,
bool LoadExternal) {
4430 LookupVisibleHelper H(
Consumer, IncludeDependentBases, LoadExternal);
4431 H.lookupVisibleDecls(*
this, Ctx, Kind, IncludeGlobalScope);
4446 Scope *S = CurScope;
4448 return cast<LabelDecl>(Res);
4453 RedeclarationKind::NotForRedeclaration);
4462 assert(S &&
"Not in a function?");
4465 return cast<LabelDecl>(Res);
4483 bool EnteringContext,
4484 bool isObjCIvarLookup,
4493 for (; DI != DE; ++DI)
4503 bool AnyVisibleDecls = !NewDecls.empty();
4505 for (; DI != DE; ++DI) {
4507 if (!AnyVisibleDecls) {
4509 AnyVisibleDecls =
true;
4512 NewDecls.push_back(*DI);
4513 }
else if (!AnyVisibleDecls && !(*DI)->isModulePrivate())
4514 NewDecls.push_back(*DI);
4517 if (NewDecls.empty())
4534 Identifiers.clear();
4564 Identifiers.push_back(II);
4591 addName(Name,
nullptr);
4597 addName(Keyword,
nullptr,
nullptr,
true);
4600void TypoCorrectionConsumer::addName(StringRef Name,
NamedDecl *ND,
4604 StringRef TypoStr = Typo->
getName();
4605 unsigned MinED =
abs((
int)Name.size() - (
int)TypoStr.size());
4606 if (MinED && TypoStr.size() / MinED < 3)
4611 unsigned UpperBound = (TypoStr.size() + 2) / 3;
4612 unsigned ED = TypoStr.edit_distance(Name,
true, UpperBound);
4613 if (ED > UpperBound)
return;
4616 if (isKeyword) TC.makeKeyword();
4617 TC.setCorrectionRange(
nullptr, Result.getLookupNameInfo());
4624 StringRef TypoStr = Typo->
getName();
4630 if (TypoStr.size() < 3 &&
4631 (Name != TypoStr || Correction.
getEditDistance(
true) > TypoStr.size()))
4644 if (!CList.empty() && !CList.back().isResolved())
4647 auto RI = llvm::find_if(CList, [NewND](
const TypoCorrection &TypoCorr) {
4650 if (RI != CList.end()) {
4654 auto IsDeprecated = [](
Decl *D) {
4665 std::pair<bool, std::string> NewKey = {
4669 std::pair<bool, std::string> PrevKey = {
4670 IsDeprecated(RI->getFoundDecl()),
4673 if (NewKey < PrevKey)
4678 if (CList.empty() || Correction.
isResolved())
4679 CList.push_back(Correction);
4682 CorrectionResults.erase(std::prev(CorrectionResults.end()));
4686 const llvm::MapVector<NamespaceDecl *, bool> &KnownNamespaces) {
4687 SearchNamespaces =
true;
4689 for (
auto KNPair : KnownNamespaces)
4690 Namespaces.addNameSpecifier(KNPair.first);
4692 bool SSIsTemplate =
false;
4694 (SS && SS->isValid()) ? SS->getScopeRep() :
nullptr) {
4696 SSIsTemplate =
T->
getTypeClass() == Type::TemplateSpecialization;
4702 for (
unsigned I = 0; I != Types.size(); ++I) {
4703 const auto *TI = Types[I];
4705 CD = CD->getCanonicalDecl();
4706 if (!CD->isDependentType() && !CD->isAnonymousStructOrUnion() &&
4707 !CD->isUnion() && CD->getIdentifier() &&
4708 (SSIsTemplate || !isa<ClassTemplateSpecializationDecl>(CD)) &&
4709 (CD->isBeingDefined() || CD->isCompleteDefinition()))
4710 Namespaces.addNameSpecifier(CD);
4716 if (++CurrentTCIndex < ValidatedCorrections.size())
4717 return ValidatedCorrections[CurrentTCIndex];
4719 CurrentTCIndex = ValidatedCorrections.size();
4720 while (!CorrectionResults.empty()) {
4721 auto DI = CorrectionResults.begin();
4722 if (DI->second.empty()) {
4723 CorrectionResults.erase(DI);
4727 auto RI = DI->second.begin();
4728 if (RI->second.empty()) {
4729 DI->second.erase(RI);
4730 performQualifiedLookups();
4736 ValidatedCorrections.push_back(TC);
4737 return ValidatedCorrections[CurrentTCIndex];
4740 return ValidatedCorrections[0];
4743bool TypoCorrectionConsumer::resolveCorrection(
TypoCorrection &Candidate) {
4750 CorrectionValidator->IsObjCIvarLookup,
4752 switch (Result.getResultKind()) {
4762 if (TempMemberContext) {
4765 TempMemberContext =
nullptr;
4768 if (SearchNamespaces)
4769 QualifiedResults.push_back(Candidate);
4779 for (
auto *TRD : Result)
4783 if (SearchNamespaces)
4784 QualifiedResults.push_back(Candidate);
4793void TypoCorrectionConsumer::performQualifiedLookups() {
4794 unsigned TypoLen = Typo->
getName().size();
4796 for (
const auto &NSI : Namespaces) {
4798 const Type *NSType = NSI.NameSpecifier->getAsType();
4806 if (NSDecl->getIdentifier() == QR.getCorrectionAsIdentifierInfo())
4811 TC.ClearCorrectionDecls();
4812 TC.setCorrectionSpecifier(NSI.NameSpecifier);
4813 TC.setQualifierDistance(NSI.EditDistance);
4814 TC.setCallbackDistance(0);
4819 unsigned TmpED = TC.getEditDistance(
true);
4820 if (QR.getCorrectionAsIdentifierInfo() != Typo && TmpED &&
4821 TypoLen / TmpED < 3)
4825 Result.setLookupName(QR.getCorrectionAsIdentifierInfo());
4831 switch (Result.getResultKind()) {
4834 if (SS && SS->isValid()) {
4835 std::string NewQualified = TC.getAsString(SemaRef.
getLangOpts());
4836 std::string OldQualified;
4837 llvm::raw_string_ostream OldOStream(OldQualified);
4839 OldOStream << Typo->
getName();
4843 if (OldOStream.str() == NewQualified)
4847 TRD != TRDEnd; ++TRD) {
4852 TC.addCorrectionDecl(*TRD);
4854 if (TC.isResolved()) {
4855 TC.setCorrectionRange(SS.get(), Result.getLookupNameInfo());
4868 QualifiedResults.clear();
4871TypoCorrectionConsumer::NamespaceSpecifierSet::NamespaceSpecifierSet(
4873 : Context(Context), CurContextChain(buildContextChain(CurContext)) {
4875 CurScopeSpec ? CurScopeSpec->
getScopeRep() :
nullptr) {
4876 llvm::raw_string_ostream SpecifierOStream(CurNameSpecifier);
4884 for (
DeclContext *
C : llvm::reverse(CurContextChain)) {
4885 if (
auto *ND = dyn_cast_or_null<NamespaceDecl>(
C))
4892 DistanceMap[1].push_back(SI);
4895auto TypoCorrectionConsumer::NamespaceSpecifierSet::buildContextChain(
4897 assert(Start &&
"Building a context chain from a null context");
4898 DeclContextList Chain;
4910TypoCorrectionConsumer::NamespaceSpecifierSet::buildNestedNameSpecifier(
4912 unsigned NumSpecifiers = 0;
4914 if (
auto *ND = dyn_cast_or_null<NamespaceDecl>(
C)) {
4917 }
else if (
auto *RD = dyn_cast_or_null<RecordDecl>(
C)) {
4923 return NumSpecifiers;
4926void TypoCorrectionConsumer::NamespaceSpecifierSet::addNameSpecifier(
4929 unsigned NumSpecifiers = 0;
4930 DeclContextList NamespaceDeclChain(buildContextChain(Ctx));
4931 DeclContextList FullNamespaceDeclChain(NamespaceDeclChain);
4934 for (
DeclContext *
C : llvm::reverse(CurContextChain)) {
4935 if (NamespaceDeclChain.empty() || NamespaceDeclChain.back() !=
C)
4937 NamespaceDeclChain.pop_back();
4941 NumSpecifiers = buildNestedNameSpecifier(NamespaceDeclChain, NNS);
4944 if (NamespaceDeclChain.empty()) {
4948 buildNestedNameSpecifier(FullNamespaceDeclChain, NNS);
4950 dyn_cast_or_null<NamedDecl>(NamespaceDeclChain.back())) {
4952 bool SameNameSpecifier =
false;
4953 if (llvm::is_contained(CurNameSpecifierIdentifiers, Name)) {
4954 std::string NewNameSpecifier;
4955 llvm::raw_string_ostream SpecifierOStream(NewNameSpecifier);
4959 SpecifierOStream.flush();
4960 SameNameSpecifier = NewNameSpecifier == CurNameSpecifier;
4962 if (SameNameSpecifier || llvm::is_contained(CurContextIdentifiers, Name)) {
4966 buildNestedNameSpecifier(FullNamespaceDeclChain, NNS);
4974 if (NNS && !CurNameSpecifierIdentifiers.empty()) {
4978 llvm::ComputeEditDistance(
llvm::ArrayRef(CurNameSpecifierIdentifiers),
4982 SpecifierInfo SI = {Ctx, NNS, NumSpecifiers};
4983 DistanceMap[NumSpecifiers].push_back(SI);
4992 bool EnteringContext,
4993 bool isObjCIvarLookup,
4999 if (MemberContext) {
5001 if (isObjCIvarLookup) {
5027 if (Method->isInstanceMethod() && Method->getClassInterface() &&
5032 = Method->getClassInterface()->lookupInstanceVariable(Name)) {
5044 bool AfterNestedNameSpecifier) {
5045 if (AfterNestedNameSpecifier) {
5058 static const char *
const CTypeSpecs[] = {
5059 "char",
"const",
"double",
"enum",
"float",
"int",
"long",
"short",
5060 "signed",
"struct",
"union",
"unsigned",
"void",
"volatile",
5061 "_Complex",
"_Imaginary",
5063 "extern",
"inline",
"static",
"typedef"
5066 for (
const auto *CTS : CTypeSpecs)
5093 static const char *
const CastableTypeSpecs[] = {
5094 "char",
"double",
"float",
"int",
"long",
"short",
5095 "signed",
"unsigned",
"void"
5097 for (
auto *kw : CastableTypeSpecs)
5116 static const char *
const CXXExprs[] = {
5117 "delete",
"new",
"operator",
"throw",
"typeid"
5119 for (
const auto *CE : CXXExprs)
5122 if (isa<CXXMethodDecl>(SemaRef.
CurContext) &&
5123 cast<CXXMethodDecl>(SemaRef.
CurContext)->isInstance())
5142 static const char *
const CStmts[] = {
5143 "do",
"else",
"for",
"goto",
"if",
"return",
"switch",
"while" };
5144 for (
const auto *CS : CStmts)
5152 if (S && S->getBreakParent())
5155 if (S && S->getContinueParent())
5169 if (S && S->isClassScope()) {
5189std::unique_ptr<TypoCorrectionConsumer> Sema::makeTypoCorrectionConsumer(
5227 locs->second.count(TypoName.
getLoc()))
5257 std::unique_ptr<CorrectionCandidateCallback> ClonedCCC = CCC.
clone();
5258 auto Consumer = std::make_unique<TypoCorrectionConsumer>(
5259 *
this, TypoName, LookupKind, S, SS, std::move(ClonedCCC), MemberContext,
5263 bool IsUnqualifiedLookup =
false;
5265 if (MemberContext) {
5270 for (
auto *I : OPT->
quals())
5273 }
else if (SS && SS->
isSet()) {
5280 IsUnqualifiedLookup =
true;
5285 bool SearchNamespaces
5287 (IsUnqualifiedLookup || (SS && SS->
isSet()));
5289 if (IsUnqualifiedLookup || SearchNamespaces) {
5300 std::unique_ptr<IdentifierIterator>
Iter(
External->getIdentifiers());
5302 StringRef Name =
Iter->Next();
5312 *
Consumer->getCorrectionValidator(),
5317 if (SearchNamespaces) {
5321 LoadedExternalKnownNamespaces =
true;
5323 for (
auto *N : ExternalKnownNamespaces)
5324 KnownNamespaces[N] =
true;
5327 Consumer->addNamespaces(KnownNamespaces);
5370 bool EnteringContext,
5372 bool RecordFailure) {
5378 MemberContext, EnteringContext, OPT))
5389 auto Consumer = makeTypoCorrectionConsumer(TypoName, LookupKind, S, SS, CCC,
5390 MemberContext, EnteringContext,
5398 return FailedCorrection(Typo, TypoName.
getLoc(), RecordFailure);
5402 unsigned ED =
Consumer->getBestEditDistance(
true);
5403 unsigned TypoLen = Typo->getName().size();
5404 if (ED > 0 && TypoLen / ED < 3)
5405 return FailedCorrection(Typo, TypoName.
getLoc(), RecordFailure);
5410 return FailedCorrection(Typo, TypoName.
getLoc(), RecordFailure);
5414 if (TypoLen >= 3 && ED > 0 && TypoLen / ED < 3) {
5418 return FailedCorrection(Typo, TypoName.
getLoc(), RecordFailure);
5422 if (!SecondBestTC ||
5428 if (ED == 0 &&
Result.isKeyword())
5429 return FailedCorrection(Typo, TypoName.
getLoc(), RecordFailure);
5435 }
else if (SecondBestTC && ObjCMessageReceiver) {
5441 BestTC = SecondBestTC;
5442 else if ((*
Consumer)[
"super"].front().isKeyword())
5443 BestTC = (*Consumer)[
"super"].front();
5449 return FailedCorrection(Typo, TypoName.
getLoc(), RecordFailure);
5458 return FailedCorrection(Typo, TypoName.
getLoc(), RecordFailure && !SecondBestTC);
5505 auto Consumer = makeTypoCorrectionConsumer(TypoName, LookupKind, S, SS, CCC,
5506 MemberContext, EnteringContext,
5513 TypoName, LookupKind, S, SS, *
Consumer->getCorrectionValidator(),
5514 MemberContext, EnteringContext, OPT);
5516 Consumer->addCorrection(ExternalTypo);
5524 unsigned ED =
Consumer->getBestEditDistance(
true);
5526 if (!ExternalTypo && ED > 0 && Typo->getName().size() / ED < 3)
5529 return createDelayedTypo(std::move(
Consumer), std::move(TDG), std::move(TRC),
5537 CorrectionDecls.clear();
5539 CorrectionDecls.push_back(CDecl);
5541 if (!CorrectionName)
5546 if (CorrectionNameSpec) {
5547 std::string tmpBuffer;
5548 llvm::raw_string_ostream PrefixOStream(tmpBuffer);
5550 PrefixOStream << CorrectionName;
5551 return PrefixOStream.str();
5566 bool HasNonType =
false;
5567 bool HasStaticMethod =
false;
5568 bool HasNonStaticMethod =
false;
5569 for (
Decl *D : candidate) {
5571 D = FTD->getTemplatedDecl();
5573 if (Method->isStatic())
5574 HasStaticMethod =
true;
5576 HasNonStaticMethod =
true;
5578 if (!isa<TypeDecl>(D))
5590 bool HasExplicitTemplateArgs,
5592 : NumArgs(NumArgs), HasExplicitTemplateArgs(HasExplicitTemplateArgs),
5593 CurContext(SemaRef.CurContext), MemberFn(ME) {
5596 !HasExplicitTemplateArgs && NumArgs == 1;
5605 for (
auto *
C : candidate) {
5609 FD = FTD->getTemplatedDecl();
5610 if (!HasExplicitTemplateArgs && !FD) {
5611 if (!(FD = dyn_cast<FunctionDecl>(ND)) && isa<ValueDecl>(ND)) {
5615 QualType ValType = cast<ValueDecl>(ND)->getType();
5621 if (FPT->getNumParams() == NumArgs)
5628 : isa<TypeDecl>(ND)) &&
5631 return NumArgs <= 1 || HasExplicitTemplateArgs || isa<CXXRecordDecl>(ND);
5643 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FD)) {
5644 if (MemberFn || !MD->isStatic()) {
5647 ? dyn_cast_if_present<CXXMethodDecl>(MemberFn->
getMemberDecl())
5648 : dyn_cast_if_present<CXXMethodDecl>(CurContext);
5650 CurMD ? CurMD->
getParent()->getCanonicalDecl() :
nullptr;
5663 bool ErrorRecovery) {
5671 if (
const auto *VD = dyn_cast<VarDecl>(D))
5672 return VD->getDefinition();
5673 if (
const auto *FD = dyn_cast<FunctionDecl>(D))
5674 return FD->getDefinition();
5675 if (
const auto *TD = dyn_cast<TagDecl>(D))
5676 return TD->getDefinition();
5677 if (
const auto *ID = dyn_cast<ObjCInterfaceDecl>(D))
5678 return ID->getDefinition();
5679 if (
const auto *PD = dyn_cast<ObjCProtocolDecl>(D))
5680 return PD->getDefinition();
5681 if (
const auto *TD = dyn_cast<TemplateDecl>(D))
5682 if (
const NamedDecl *TTD = TD->getTemplatedDecl())
5696 assert(Owner &&
"definition of hidden declaration is not in a module");
5699 OwningModules.push_back(Owner);
5701 OwningModules.insert(OwningModules.end(), Merged.begin(), Merged.end());
5710 llvm::StringRef IncludingFile) {
5711 bool IsAngled =
false;
5713 E, IncludingFile, &IsAngled);
5714 return (IsAngled ?
'<' :
'"') + Path + (IsAngled ?
'>' :
'"');
5721 assert(!Modules.empty());
5725 if (isa<NamespaceDecl>(
Decl))
5728 auto NotePrevious = [&] {
5732 Diag(DeclLoc, diag::note_unreachable_entity) << (
int)MIK;
5737 llvm::SmallDenseSet<Module*, 8> UniqueModuleSet;
5738 for (
auto *M : Modules) {
5741 if (UniqueModuleSet.insert(M).second)
5742 UniqueModules.push_back(M);
5746 std::string HeaderName;
5757 if (!HeaderName.empty() || UniqueModules.empty()) {
5760 Diag(UseLoc, diag::err_module_unimported_use_header)
5761 << (
int)MIK <<
Decl << !HeaderName.empty() << HeaderName;
5769 Modules = UniqueModules;
5771 auto GetModuleNameForDiagnostic = [
this](
const Module *M) -> std::string {
5780 bool IsInTheSameModule =
5787 if (IsInTheSameModule)
5793 if (Modules.size() > 1) {
5794 std::string ModuleList;
5796 for (
const auto *M : Modules) {
5797 ModuleList +=
"\n ";
5798 if (++N == 5 && N != Modules.size()) {
5799 ModuleList +=
"[...]";
5802 ModuleList += GetModuleNameForDiagnostic(M);
5805 Diag(UseLoc, diag::err_module_unimported_use_multiple)
5806 << (
int)MIK <<
Decl << ModuleList;
5809 Diag(UseLoc, diag::err_module_unimported_use)
5810 << (
int)MIK <<
Decl << GetModuleNameForDiagnostic(Modules[0]);
5835 bool ErrorRecovery) {
5844 assert(
Decl &&
"import required but no declaration to import");
5852 << CorrectedQuotedStr << (ErrorRecovery ? FixTypo :
FixItHint());
5857 Diag(ChosenDecl->getLocation(), PrevNote)
5858 << CorrectedQuotedStr << (ErrorRecovery ?
FixItHint() : FixTypo);
5865TypoExpr *Sema::createDelayedTypo(std::unique_ptr<TypoCorrectionConsumer> TCC,
5866 TypoDiagnosticGenerator TDG,
5867 TypoRecoveryCallback TRC,
5869 assert(TCC &&
"createDelayedTypo requires a valid TypoCorrectionConsumer");
5871 auto &State = DelayedTypos[TE];
5872 State.Consumer = std::move(TCC);
5873 State.DiagHandler = std::move(TDG);
5874 State.RecoveryHandler = std::move(TRC);
5881 auto Entry = DelayedTypos.find(TE);
5882 assert(Entry != DelayedTypos.end() &&
5883 "Failed to get the state for a TypoExpr!");
5884 return Entry->second;
5888 DelayedTypos.erase(TE);
5894 RedeclarationKind::NotForRedeclaration);
5910 if (cast<Decl>(
CurContext)->getOwningModuleForLinkage(
true))
5911 return RedeclarationKind::ForVisibleRedeclaration;
5912 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.
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>::".
CXXRecordDecl * getAsRecordDecl() const
Retrieve the record declaration stored in this nested name specifier.
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
ObjCProtocolDecl * LookupProtocol(IdentifierInfo *II, SourceLocation IdLoc, RedeclarationKind Redecl=RedeclarationKind::NotForRedeclaration)
Find the protocol with the given name, if any.
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 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,...
bool LookupParsedName(LookupResult &R, Scope *S, CXXScopeSpec *SS, 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...
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.
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.
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...
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 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.