36 return !Bases.count(
Base->getCanonicalDecl());
38 return BaseIsNotInSet(
Record) &&
Record->forallBases(BaseIsNotInSet);
95 assert(!R.
empty() && (*R.
begin())->isCXXClassMember());
99 bool couldInstantiateToStatic =
false;
102 if (
auto *MD = dyn_cast<CXXMethodDecl>(DC)) {
103 if (MD->isImplicitObjectMemberFunction()) {
104 isStaticOrExplicitContext =
false;
108 couldInstantiateToStatic = MD->getDependentSpecializationInfo();
113 if (couldInstantiateToStatic)
120 bool hasNonInstance =
false;
121 bool isField =
false;
125 D = D->getUnderlyingDecl();
127 if (D->isCXXInstanceMember()) {
128 isField |= isa<FieldDecl>(D) || isa<MSPropertyDecl>(D) ||
129 isa<IndirectFieldDecl>(D);
134 hasNonInstance =
true;
142 if (couldInstantiateToStatic)
155 assert(!AbstractInstanceResult);
157 case Sema::ExpressionEvaluationContext::Unevaluated:
158 case Sema::ExpressionEvaluationContext::UnevaluatedList:
163 case Sema::ExpressionEvaluationContext::UnevaluatedAbstract:
167 case Sema::ExpressionEvaluationContext::DiscardedStatement:
168 case Sema::ExpressionEvaluationContext::ConstantEvaluated:
169 case Sema::ExpressionEvaluationContext::ImmediateFunctionContext:
170 case Sema::ExpressionEvaluationContext::PotentiallyEvaluated:
171 case Sema::ExpressionEvaluationContext::PotentiallyEvaluatedIfUsed:
177 if (isStaticOrExplicitContext) {
181 return AbstractInstanceResult ? AbstractInstanceResult
186 if (
auto *MD = dyn_cast<CXXMethodDecl>(DC))
187 contextClass = MD->
getParent()->getCanonicalDecl();
188 else if (
auto *RD = dyn_cast<CXXRecordDecl>(DC))
191 return AbstractInstanceResult ? AbstractInstanceResult
215 AbstractInstanceResult ? AbstractInstanceResult :
234 CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(FunctionLevelDC);
238 bool InStaticMethod = Method && Method->
isStatic();
239 bool InExplicitObjectMethod =
241 bool IsField = isa<FieldDecl>(Rep) || isa<IndirectFieldDecl>(Rep);
243 std::string Replacement;
244 if (InExplicitObjectMethod) {
248 Replacement.append(
".");
251 if (IsField && InStaticMethod)
253 SemaRef.
Diag(Loc, diag::err_invalid_member_use_in_method)
254 << Range << nameInfo.
getName() << 0;
255 else if (IsField && InExplicitObjectMethod) {
256 auto Diag = SemaRef.
Diag(Loc, diag::err_invalid_member_use_in_method)
257 << Range << nameInfo.
getName() << 1;
258 if (!Replacement.empty())
260 }
else if (ContextClass && RepClass && SS.
isEmpty() &&
261 !InExplicitObjectMethod && !InStaticMethod &&
262 !RepClass->
Equals(ContextClass) &&
266 SemaRef.
Diag(Loc, diag::err_nested_non_static_member_use)
267 << IsField << RepClass << nameInfo.
getName() << ContextClass << Range;
269 SemaRef.
Diag(Loc, diag::err_invalid_non_static_member_use)
270 << nameInfo.
getName() << Range;
271 else if (!InExplicitObjectMethod)
272 SemaRef.
Diag(Loc, diag::err_member_call_without_object)
275 if (
const auto *Tpl = dyn_cast<FunctionTemplateDecl>(Rep))
276 Rep = Tpl->getTemplatedDecl();
277 const auto *Callee = cast<CXXMethodDecl>(Rep);
278 auto Diag = SemaRef.
Diag(Loc, diag::err_member_call_without_object)
279 << Range << Callee->isExplicitObjectMemberFunction();
280 if (!Replacement.empty())
287 bool IsAddressOfOperand) {
292 else if (!IsAddressOfOperand)
301 return isa<FieldDecl, IndirectFieldDecl, MSPropertyDecl>(R.
getFoundDecl());
314 SS, TemplateKWLoc, R, TemplateArgs,
317 Diag(R.
getNameLoc(), diag::warn_cxx98_compat_non_static_member_use)
324 if (TemplateArgs || TemplateKWLoc.
isValid())
334 TemplateArgs, R.
begin(), R.
end(),
true);
343 llvm_unreachable(
"unexpected instance member access kind");
365 return (len >= 1 && len <= 4) || len == 8 || len == 16;
389 bool HalvingSwizzle =
false;
393 bool HexSwizzle = (*compStr ==
's' || *compStr ==
'S') && compStr[1];
395 bool HasRepeated =
false;
396 bool HasIndex[16] = {};
402 if (!strcmp(compStr,
"hi") || !strcmp(compStr,
"lo") ||
403 !strcmp(compStr,
"even") || !strcmp(compStr,
"odd")) {
404 HalvingSwizzle =
true;
405 }
else if (!HexSwizzle &&
407 bool HasRGBA =
IsRGBA(*compStr);
410 if (HasRGBA !=
IsRGBA(*compStr))
412 if (HasIndex[Idx]) HasRepeated =
true;
413 HasIndex[Idx] =
true;
418 if (HasRGBA || (*compStr &&
IsRGBA(*compStr))) {
421 const char *DiagBegin = HasRGBA ? CompName->
getNameStart() : compStr;
422 S.
Diag(OpLoc, diag::ext_opencl_ext_vector_type_rgba_selector)
423 << StringRef(DiagBegin, 1) <<
SourceRange(CompLoc);
427 if (HexSwizzle) compStr++;
429 if (HasIndex[Idx]) HasRepeated =
true;
430 HasIndex[Idx] =
true;
435 if (!HalvingSwizzle && *compStr) {
438 S.
Diag(OpLoc, diag::err_ext_vector_component_name_illegal)
445 if (!HalvingSwizzle) {
453 S.
Diag(OpLoc, diag::err_ext_vector_component_exceeds_length)
463 unsigned SwizzleLength = CompName->
getLength();
469 S.
Diag(OpLoc, diag::err_opencl_ext_vector_component_invalid_length)
480 unsigned CompSize = HalvingSwizzle ? (vecType->
getNumElements() + 1) / 2
494 for (Sema::ExtVectorDeclsType::iterator
498 if ((*I)->getUnderlyingType() == VT)
516 for (
const auto *I : PDecl->
protocols()) {
529 Decl *GDecl =
nullptr;
530 for (
const auto *I : QIdTy->
quals()) {
544 for (
const auto *I : QIdTy->
quals()) {
575 assert(BaseExpr &&
"cannot happen with implicit member accesses");
576 Diag(OpLoc, diag::err_typecheck_member_reference_struct_union)
584 (TemplateArgs && llvm::any_of(TemplateArgs->
arguments(),
586 return Arg.getArgument().isDependent();
592 Context, BaseExpr, BaseType, IsArrow, OpLoc,
594 NameInfo, TemplateArgs);
611 SemaRef.
Diag(nameInfo.
getLoc(), diag::err_qualified_member_of_unrelated)
612 << SS.
getRange() << rep << BaseType;
643 if (!BaseExpr && !(*I)->isCXXInstanceMember())
670 explicit RecordMemberExprValidatorCCC(
const RecordType *RTy)
671 :
Record(RTy->getDecl()) {
674 WantTypeSpecifiers =
false;
675 WantExpressionKeywords =
false;
676 WantCXXNamedCasts =
false;
677 WantFunctionLikeCasts =
false;
678 WantRemainingKeywords =
false;
681 bool ValidateCandidate(
const TypoCorrection &candidate)
override {
685 if (!ND || !(isa<ValueDecl>(ND) || isa<FunctionTemplateDecl>(ND)))
689 if (
Record->containsDecl(ND))
692 if (
const auto *RD = dyn_cast<CXXRecordDecl>(
Record)) {
694 for (
const auto &BS : RD->bases()) {
695 if (
const auto *BSTy = BS.getType()->getAs<
RecordType>()) {
696 if (BSTy->getDecl()->containsDecl(ND))
705 std::unique_ptr<CorrectionCandidateCallback> clone()
override {
706 return std::make_unique<RecordMemberExprValidatorCCC>(*
this);
726 diag::err_typecheck_incomplete_tag,
730 if (HasTemplateArgs || TemplateKWLoc.
isValid()) {
751 assert(DC &&
"Cannot handle non-computable dependent contexts in lookup");
753 if (!isa<TypeDecl>(DC)) {
777 RecordMemberExprValidatorCCC CCC(RTy);
782 assert(!TC.isKeyword() &&
783 "Got a keyword as a correction for a member!");
784 bool DroppedSpecifier =
785 TC.WillReplaceSpecifier() &&
786 Typo.getAsString() == TC.getAsString(SemaRef.getLangOpts());
787 SemaRef.diagnoseTypo(TC, SemaRef.PDiag(diag::err_no_member_suggest)
788 << Typo << DC << DroppedSpecifier
791 SemaRef.Diag(TypoLoc, diag::err_no_member) << Typo << DC << BaseRange;
795 LookupResult R(Q.SemaRef, Q.NameInfo, Q.LookupKind, Q.Redecl);
797 R.suppressDiagnostics();
798 R.setLookupName(TC.getCorrection());
803 BaseExpr, BaseExpr->getType(), OpLoc, IsArrow, SS,
SourceLocation(),
804 nullptr, R,
nullptr,
nullptr);
814 Decl *ObjCImpDecl,
bool HasTemplateArgs,
832 SS, TemplateKWLoc, FirstQualifierInScope,
833 NameInfo, TemplateArgs);
844 SS, TemplateArgs !=
nullptr, TemplateKWLoc, TE))
855 TemplateArgs !=
nullptr, TemplateKWLoc);
868 BaseType =
Base->getType();
872 OpLoc, IsArrow, SS, TemplateKWLoc,
873 FirstQualifierInScope, R, TemplateArgs, S,
882 Expr *baseObjectExpr,
897 assert(!baseObjectExpr &&
"anonymous struct/union is static data member?");
905 baseObjectExpr = result.
get();
908 assert((baseVariable || baseObjectExpr) &&
909 "referencing anonymous struct/union without a base variable or "
914 Expr *result = baseObjectExpr;
931 SS, field, foundDecl, memberNameInfo)
941 FieldDecl *field = cast<FieldDecl>(*FI++);
950 (FI == FEnd ? SS : EmptySS), field,
951 fakeFoundDecl, memberNameInfo)
980 FoundDecl, HadMultipleCandidates, MemberNameInfo, Ty,
981 VK, OK, TemplateArgs);
990 assert((!IsArrow ||
Base->isPRValue()) &&
991 "-> base must be a pointer prvalue");
994 Member, FoundDecl, MemberNameInfo, TemplateArgs, Ty,
1018 for (; S != S->getFnParent(); S = S->getParent()) {
1019 if (S->isFnTryCatchScope())
1034 bool SuppressQualifierCheck,
1045 if (!IsArrow && BaseExpr && BaseExpr->
isPRValue()) {
1049 BaseExpr = Converted.
get();
1063 if (S && BaseExpr && FD &&
1064 (isa<CXXDestructorDecl>(FD) || isa<CXXConstructorDecl>(FD)) &&
1067 Diag(MemberLoc, diag::warn_cdtor_function_try_handler_mem_expr)
1068 << isa<CXXDestructorDecl>(FD);
1078 if (!IsArrow && BaseExpr) {
1081 bool MayBePseudoDestructor =
false;
1083 OpLoc, tok::arrow, ObjectType,
1084 MayBePseudoDestructor);
1088 ExtraArgs->
S, RetryExpr.
get(), OpLoc, tok::arrow, TempSS,
1095 Diag(OpLoc, diag::err_no_member_overloaded_arrow)
1114 if ((SS.
isSet() || !BaseExpr ||
1115 (isa<CXXThisExpr>(BaseExpr) &&
1116 cast<CXXThisExpr>(BaseExpr)->isImplicit())) &&
1117 !SuppressQualifierCheck &&
1130 BaseExpr, BaseExprType,
1133 TemplateKWLoc, MemberNameInfo,
1157 if (TemplateArgs || TemplateKWLoc.
isValid())
1161 FoundDecl, TemplateArgs);
1173 if (
FieldDecl *FD = dyn_cast<FieldDecl>(MemberDecl))
1185 FoundDecl, BaseExpr,
1188 if (
VarDecl *Var = dyn_cast<VarDecl>(MemberDecl)) {
1189 return BuildMemberExpr(BaseExpr, IsArrow, OpLoc, &SS, TemplateKWLoc, Var,
1191 MemberNameInfo, Var->getType().getNonReferenceType(),
1195 if (
CXXMethodDecl *MemberFn = dyn_cast<CXXMethodDecl>(MemberDecl)) {
1198 if (MemberFn->isInstance()) {
1203 type = MemberFn->getType();
1207 MemberFn, FoundDecl,
false,
1210 assert(!isa<FunctionDecl>(MemberDecl) &&
"member function not C++ method?");
1219 if (
VarTemplateDecl *VarTempl = dyn_cast<VarTemplateDecl>(MemberDecl)) {
1220 if (!TemplateArgs) {
1226 MemberNameInfo.
getLoc(), *TemplateArgs);
1233 BaseExpr, BaseExpr->
getType(), IsArrow, OpLoc, SS, TemplateKWLoc,
1234 FirstQualifierInScope, MemberNameInfo, TemplateArgs);
1240 return BuildMemberExpr(BaseExpr, IsArrow, OpLoc, &SS, TemplateKWLoc, Var,
1247 if (isa<TypeDecl>(MemberDecl))
1248 Diag(MemberLoc, diag::err_typecheck_member_reference_type)
1249 << MemberName << BaseType <<
int(IsArrow);
1251 Diag(MemberLoc, diag::err_typecheck_member_reference_unknown)
1252 << MemberName << BaseType <<
int(IsArrow);
1269 if (!opty)
return false;
1297 return PT->getPointeeType()->isRecordType();
1304 if (IsArrow && !
Base->getType()->isFunctionType())
1323 Decl *ObjCImpDecl,
bool HasTemplateArgs,
1325 assert(BaseExpr.
get() &&
"no base expression");
1357 S.
Diag(OpLoc, diag::err_typecheck_member_reference_suggestion)
1365 S.
Diag(MemberLoc, diag::err_typecheck_member_reference_arrow)
1378 S.
PDiag(diag::warn_atomic_member_access));
1379 BaseType = ATy->getValueType().getUnqualifiedType();
1382 CK_AtomicToNonAtomic, BaseExpr.
get(),
nullptr,
1390 HasTemplateArgs, TemplateKWLoc, TE))
1418 (OTy->isObjCId() || OTy->isObjCClass()))
1423 if (OTy->isObjCId() &&
Member->isStr(
"isa"))
1428 ObjCImpDecl, HasTemplateArgs, TemplateKWLoc);
1433 diag::err_typecheck_incomplete_tag,
1450 S.
PDiag(diag::err_typecheck_member_reference_ivar_suggest)
1454 assert(!ClassDeclared);
1457 if (
auto *
Category = dyn_cast<ObjCCategoryDecl>(D))
1460 if (
auto *Implementation = dyn_cast<ObjCImplementationDecl>(D))
1461 ClassDeclared = Implementation->getClassInterface();
1462 else if (
auto *
Interface = dyn_cast<ObjCInterfaceDecl>(D))
1465 assert(ClassDeclared &&
"cannot query interface");
1470 S.
Diag(MemberLoc, diag::err_property_found_suggest)
1476 S.
Diag(MemberLoc, diag::err_typecheck_member_reference_ivar)
1483 assert(ClassDeclared);
1498 ClassOfMethodDecl = MD->getClassInterface();
1507 dyn_cast<ObjCImplementationDecl>(ObjCImpDecl))
1508 ClassOfMethodDecl = IMPD->getClassInterface();
1510 dyn_cast<ObjCCategoryImplDecl>(ObjCImpDecl))
1511 ClassOfMethodDecl = CatImplClass->getClassInterface();
1517 S.
Diag(MemberLoc, diag::err_private_ivar_access)
1521 S.
Diag(MemberLoc, diag::err_protected_ivar_access)
1529 if (UO->getOpcode() == UO_Deref)
1532 if (
DeclRefExpr *DE = dyn_cast<DeclRefExpr>(BaseExp))
1534 S.
Diag(DE->getLocation(), diag::err_arc_weak_ivar_access);
1546 S.
Diag(MemberLoc, diag::warn_direct_ivar_access) << IV->
getDeclName();
1555 !S.
Diags.
isIgnored(diag::warn_arc_repeated_use_of_weak, MemberLoc))
1608 SMD = dyn_cast<ObjCMethodDecl>(SDecl);
1619 ObjCImpDecl, HasTemplateArgs, TemplateKWLoc);
1621 return ExprError(S.
Diag(MemberLoc, diag::err_property_not_found)
1622 << MemberName << BaseType);
1632 ObjCImpDecl, HasTemplateArgs, TemplateKWLoc);
1666 if (Getter || Setter) {
1674 ObjCImpDecl, HasTemplateArgs, TemplateKWLoc);
1676 return ExprError(S.
Diag(MemberLoc, diag::err_property_not_found)
1677 << MemberName << BaseType);
1690 S.
Diag(R.
getNameLoc(), diag::err_ext_vector_component_name_illegal)
1720 ObjCImpDecl, HasTemplateArgs, TemplateKWLoc);
1734 if (!IsArrow && Ptr->getPointeeType()->isRecordType() &&
1736 S.
Diag(OpLoc, diag::err_typecheck_member_reference_suggestion)
1746 ObjCImpDecl, HasTemplateArgs, TemplateKWLoc);
1753 BaseExpr, S.
PDiag(diag::err_member_reference_needs_call),
1760 ObjCImpDecl, HasTemplateArgs, TemplateKWLoc);
1770 HasTemplateArgs, TemplateKWLoc);
1773 S.
Diag(OpLoc, diag::err_typecheck_member_reference_struct_union)
1795 Decl *ObjCImpDecl) {
1802 Diag(
Id.getSourceRange().getBegin(),
1803 diag::ext_ms_explicit_constructor_call);
1811 NameInfo, TemplateArgs);
1814 bool IsArrow = (OpKind == tok::arrow);
1817 return ExprError(
Diag(OpLoc, diag::err_hlsl_operator_unsupported) << 2);
1827 if (
Base->getType()->isDependentType() || Name.isDependentName() ||
1830 TemplateKWLoc, FirstQualifierInScope,
1831 NameInfo, TemplateArgs);
1836 Base,
Base->getType(), OpLoc, IsArrow, SS, TemplateKWLoc,
1837 FirstQualifierInScope, NameInfo, TemplateArgs, S, &ExtraArgs);
1840 CheckMemberAccessOfNoDeref(cast<MemberExpr>(Res.
get()));
1845void Sema::CheckMemberAccessOfNoDeref(
const MemberExpr *E) {
1865 CheckAddressOfNoDeref(E->
getBase());
1868 if (
const auto *Ptr = dyn_cast<PointerType>(
1870 if (Ptr->getPointeeType()->hasAttr(attr::NoDeref))
1897 QualType MemberType = Field->getType();
1919 Qualifiers Combined = BaseQuals + MemberQuals;
1920 if (Combined != MemberQuals)
1927 if (BaseType->
hasAttr(attr::NoDeref))
1932 auto *CurMethod = dyn_cast<CXXMethodDecl>(
CurContext);
1933 if (!(CurMethod && CurMethod->isDefaulted()))
1938 if (
Base.isInvalid())
1945 isa<CXXThisExpr>(
Base.get()->IgnoreParenImpCasts())) {
1946 if (
auto *PrivateCopy =
OpenMP().isOpenMPCapturedDecl(Field)) {
1948 MemberNameInfo.
getLoc());
1954 false, MemberNameInfo,
1955 MemberType, VK, OK);
1967 bool IsKnownInstance,
const Scope *S) {
1975 assert(!ThisTy.
isNull() &&
"didn't correctly pre-flight capture of 'this'");
1977 Expr *baseExpr =
nullptr;
1978 if (IsKnownInstance) {
1989 nullptr, R, TemplateArgs, S);
This file provides some common utility functions for processing Lambda related AST Constructs.
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.
static DiagnosticBuilder Diag(DiagnosticsEngine *Diags, const LangOptions &Features, FullSourceLoc TokLoc, const char *TokBegin, const char *TokRangeBegin, const char *TokRangeEnd, unsigned DiagID)
Produce a diagnostic highlighting some portion of a literal.
llvm::MachO::Record Record
Defines the clang::Preprocessor interface.
RedeclarationKind
Specifies whether (or how) name lookup is being performed for a redeclaration (vs.
static bool ShouldTryAgainWithRedefinitionType(Sema &S, ExprResult &base)
Given that normal member access failed on the given expression, and given that the expression's type ...
static bool isPointerToRecordType(QualType T)
static Decl * FindGetterSetterNameDeclFromProtocolList(const ObjCProtocolDecl *PDecl, IdentifierInfo *Member, const Selector &Sel, ASTContext &Context)
@ IMA_Mixed_Unrelated
The reference may be to an instance member, but it is invalid if so, because the context is from an u...
@ IMA_Mixed
The reference may be an implicit instance member access.
@ IMA_Error_Unrelated
All possible referrents are instance members of an unrelated class.
@ IMA_Unresolved
The reference may be to an unresolved using declaration.
@ IMA_Abstract
The reference is a contextually-permitted abstract member reference.
@ IMA_Mixed_StaticOrExplicitContext
The reference may be to an instance member, but it might be invalid if so, because the context is not...
@ IMA_Instance
The reference is definitely an implicit instance member access.
@ IMA_Error_StaticOrExplicitContext
All possible referrents are instance members and the current context is not an instance method.
@ IMA_Unresolved_StaticOrExplicitContext
The reference may be to an unresolved using declaration and the context is not an instance method.
@ IMA_Dependent
Whether the context is static is dependent on the enclosing template (i.e.
@ IMA_Field_Uneval_Context
@ IMA_Static
The reference is definitely not an instance member access.
static bool isProvablyNotDerivedFrom(Sema &SemaRef, CXXRecordDecl *Record, const BaseSet &Bases)
Determines if the given class is provably not derived from all of the prospective base classes.
static void diagnoseInstanceReference(Sema &SemaRef, const CXXScopeSpec &SS, NamedDecl *Rep, const DeclarationNameInfo &nameInfo)
Diagnose a reference to a field with no object available.
static bool isRecordType(QualType T)
static bool LookupMemberExprInRecord(Sema &SemaRef, LookupResult &R, Expr *BaseExpr, const RecordType *RTy, SourceLocation OpLoc, bool IsArrow, CXXScopeSpec &SS, bool HasTemplateArgs, SourceLocation TemplateKWLoc, TypoExpr *&TE)
static QualType CheckExtVectorComponent(Sema &S, QualType baseType, ExprValueKind &VK, SourceLocation OpLoc, const IdentifierInfo *CompName, SourceLocation CompLoc)
Check an ext-vector component access expression.
llvm::SmallPtrSet< const CXXRecordDecl *, 4 > BaseSet
static Decl * FindGetterSetterNameDecl(const ObjCObjectPointerType *QIdTy, IdentifierInfo *Member, const Selector &Sel, ASTContext &Context)
static void DiagnoseQualifiedMemberReference(Sema &SemaRef, Expr *BaseExpr, QualType BaseType, const CXXScopeSpec &SS, NamedDecl *rep, const DeclarationNameInfo &nameInfo)
We know that the given qualified member reference points only to declarations which do not belong to ...
static bool IsValidOpenCLComponentSwizzleLength(unsigned len)
static ExprResult BuildMSPropertyRefExpr(Sema &S, Expr *BaseExpr, bool IsArrow, const CXXScopeSpec &SS, MSPropertyDecl *PD, const DeclarationNameInfo &NameInfo)
static bool IsRGBA(char c)
Determine whether input char is from rgba component set.
static IMAKind ClassifyImplicitMemberAccess(Sema &SemaRef, const LookupResult &R)
The given lookup names class member(s) and is not being used for an address-of-member expression.
static ExprResult LookupMemberExpr(Sema &S, LookupResult &R, ExprResult &BaseExpr, bool &IsArrow, SourceLocation OpLoc, CXXScopeSpec &SS, Decl *ObjCImpDecl, bool HasTemplateArgs, SourceLocation TemplateKWLoc)
Look up the given member of the given non-type-dependent expression.
static bool IsInFnTryBlockHandler(const Scope *S)
Determine if the given scope is within a function-try-block handler.
This file declares semantic analysis for OpenMP constructs and clauses.
__device__ __2f16 float c
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
QualType getAttributedType(attr::Kind attrKind, QualType modifiedType, QualType equivalentType) const
QualType getObjCClassType() const
Represents the Objective-C Class type.
CanQualType getCanonicalType(QualType T) const
Return the canonical (structural) type corresponding to the specified potentially non-canonical type ...
QualType getObjCSelRedefinitionType() const
Retrieve the type that 'SEL' has been defined to, which may be different from the built-in 'SEL' if '...
QualType getPointerType(QualType T) const
Return the uniqued reference to the type for a pointer to the specified type.
CanQualType BoundMemberTy
CanQualType PseudoObjectTy
QualType getQualifiedType(SplitQualType split) const
Un-split a SplitQualType.
bool hasSameUnqualifiedType(QualType T1, QualType T2) const
Determine whether the given types are equivalent after cvr-qualifiers have been removed.
QualType getObjCClassRedefinitionType() const
Retrieve the type that Class has been defined to, which may be different from the built-in Class if C...
QualType getObjCIdRedefinitionType() const
Retrieve the type that id has been defined to, which may be different from the built-in id if id has ...
QualType getExtVectorType(QualType VectorType, unsigned NumElts) const
Return the unique reference to an extended vector type of the specified element type and size.
QualType getTypedefType(const TypedefNameDecl *Decl, QualType Underlying=QualType()) const
Return the unique reference to the type for the specified typedef-name decl.
static CXXDependentScopeMemberExpr * Create(const ASTContext &Ctx, Expr *Base, QualType BaseType, bool IsArrow, SourceLocation OperatorLoc, NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc, NamedDecl *FirstQualifierFoundInScope, DeclarationNameInfo MemberNameInfo, const TemplateArgumentListInfo *TemplateArgs)
Represents a static or instance method of a struct/union/class.
bool isExplicitObjectMemberFunction() const
[C++2b][dcl.fct]/p7 An explicit object member function is a non-static member function with an explic...
const CXXRecordDecl * getParent() const
Return the parent of this method declaration, which is the class in which this method is defined.
Represents a C++ struct/union/class.
bool isProvablyNotDerivedFrom(const CXXRecordDecl *Base) const
Determine whether this class is provably not derived from the type Base.
CXXRecordDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
Represents a C++ nested-name-specifier or a global scope specifier.
SourceRange getRange() const
bool isSet() const
Deprecated.
NestedNameSpecifierLoc getWithLocInContext(ASTContext &Context) const
Retrieve a nested-name-specifier with location information, copied into the given AST context.
NestedNameSpecifier * getScopeRep() const
Retrieve the representation of the nested-name-specifier.
bool isInvalid() const
An error occurred during parsing of the scope specifier.
bool isEmpty() const
No scope specifier.
Qualifiers getQualifiers() const
Retrieve all qualifiers.
Base class for callback objects used by Sema::CorrectTypo to check the validity of a potential typo c...
A POD class for pairing a NamedDecl* with an access specifier.
static DeclAccessPair make(NamedDecl *D, AccessSpecifier AS)
DeclContext - This is used only as base class of specific decl types that can act as declaration cont...
DeclContext * getParent()
getParent - Returns the containing DeclContext.
bool Equals(const DeclContext *DC) const
Determine whether this declaration context is equivalent to the declaration context DC.
bool isDependentContext() const
Determines whether this context is dependent on a template parameter.
bool Encloses(const DeclContext *DC) const
Determine whether this declaration context encloses the declaration context DC.
DeclContext * getNonTransparentContext()
Simple template class for restricting typo correction candidates to ones having a single Decl* of the...
A reference to a declared variable, function, enum, etc.
Decl - This represents one declaration (or definition), e.g.
bool isInvalidDecl() const
SourceLocation getLocation() const
DeclContext * getDeclContext()
AccessSpecifier getAccess() const
The name of a declaration.
IdentifierInfo * getAsIdentifierInfo() const
Retrieve the IdentifierInfo * stored in this declaration name, or null if this declaration name isn't...
bool isDependentName() const
Determines whether the name itself is dependent, e.g., because it involves a C++ type that is itself ...
std::string getAsString() const
Retrieve the human-readable string for this name.
NameKind getNameKind() const
Determine what kind of name this is.
bool isEmpty() const
Evaluates true when this declaration name is empty.
bool isIgnored(unsigned DiagID, SourceLocation Loc) const
Determine whether the diagnostic is known to be ignored.
An instance of this object exists for each enum constant that is defined.
This represents one expression.
Expr * IgnoreParenCasts() LLVM_READONLY
Skip past any parentheses and casts which might surround this expression until reaching a fixed point...
ExprValueKind getValueKind() const
getValueKind - The value kind that this expression produces.
Expr * IgnoreParenImpCasts() LLVM_READONLY
Skip past any parentheses and implicit casts which might surround this expression until reaching a fi...
ExprObjectKind getObjectKind() const
getObjectKind - The object kind that this expression produces.
Expr * IgnoreImpCasts() LLVM_READONLY
Skip past any implicit casts which might surround this expression until reaching a fixed point.
ExtVectorElementExpr - This represents access to specific elements of a vector, and may occur on the ...
ExtVectorType - Extended vector type.
bool isAccessorWithinNumElements(char c, bool isNumericAccessor) const
static int getNumericAccessorIdx(char c)
static int getPointAccessorIdx(char c)
Represents difference between two FPOptions values.
Represents a member of a struct/union/class.
static FixItHint CreateReplacement(CharSourceRange RemoveRange, StringRef Code)
Create a code modification hint that replaces the given source range with the given code string.
static FixItHint CreateRemoval(CharSourceRange RemoveRange)
Create a code modification hint that removes the given source range.
static FixItHint CreateInsertion(SourceLocation InsertionLoc, StringRef Code, bool BeforePreviousInsertions=false)
Create a code modification hint that inserts the given code string at a specific location.
const ParmVarDecl * getParamDecl(unsigned i) const
Represents a prototype with parameter type info, e.g.
One of these records is kept for each identifier that is lexed.
unsigned getLength() const
Efficiently return the length of this identifier info.
const char * getNameStart() const
Return the beginning of the actual null-terminated string for this identifier.
static ImplicitCastExpr * Create(const ASTContext &Context, QualType T, CastKind Kind, Expr *Operand, const CXXCastPath *BasePath, ExprValueKind Cat, FPOptionsOverride FPO)
Represents a field injected from an anonymous union/struct into the parent scope.
chain_iterator chain_end() const
chain_iterator chain_begin() const
VarDecl * getVarDecl() const
ArrayRef< NamedDecl * >::const_iterator chain_iterator
unsigned getOpenCLCompatibleVersion() const
Return the OpenCL version that kernel language is compatible with.
iterator begin(Source *source, bool LocalOnly=false)
Represents the results of name lookup.
RedeclarationKind redeclarationKind() const
bool isUnresolvableResult() const
void setBaseObjectType(QualType T)
Sets the base object type for this lookup.
bool empty() const
Return true if no decls were found.
bool isOverloadedResult() const
Determines if the results are overloaded.
SourceLocation getNameLoc() const
Gets the location of the identifier.
NamedDecl * getFoundDecl() const
Fetch the unique decl found by this lookup.
bool isSingleResult() const
Determines if this names a single result which is not an unresolved value using decl.
CXXRecordDecl * getNamingClass() const
Returns the 'naming class' for this lookup, i.e.
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.
NamedDecl * getRepresentativeDecl() const
Fetches a representative decl. Useful for lazy diagnostics.
void suppressDiagnostics()
Suppress the diagnostics that would normally fire because of this lookup.
DeclarationName getLookupName() const
Gets the name to look up.
const DeclarationNameInfo & getLookupNameInfo() const
Gets the name info to look up.
An instance of this class represents the declaration of a property member.
A member reference to an MSPropertyDecl.
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
void setHadMultipleCandidates(bool V=true)
Sets the flag telling whether this expression refers to a method that was resolved from an overloaded...
static MemberExpr * Create(const ASTContext &C, Expr *Base, bool IsArrow, SourceLocation OperatorLoc, NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc, ValueDecl *MemberDecl, DeclAccessPair FoundDecl, DeclarationNameInfo MemberNameInfo, const TemplateArgumentListInfo *TemplateArgs, QualType T, ExprValueKind VK, ExprObjectKind OK, NonOdrUseReason NOUR)
This represents a decl that may have a name.
NamedDecl * getUnderlyingDecl()
Looks through UsingDecls and ObjCCompatibleAliasDecls for the underlying named decl.
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
bool isCXXInstanceMember() const
Determine whether the given declaration is an instance member of a C++ class.
bool isCXXClassMember() const
Determine whether this declaration is a C++ class member.
A C++ nested-name-specifier augmented with source location information.
ObjCCategoryImplDecl - An object of this class encapsulates a category @implementation declaration.
ObjCPropertyDecl * FindPropertyDeclaration(const IdentifierInfo *PropertyId, ObjCPropertyQueryKind QueryKind) const
FindPropertyDeclaration - Finds declaration of the property given its name in 'PropertyId' and return...
ObjCMethodDecl * getInstanceMethod(Selector Sel, bool AllowHidden=false) const
ObjCImplementationDecl - Represents a class definition - this is where method definitions are specifi...
Represents an ObjC class declaration.
ObjCMethodDecl * lookupClassMethod(Selector Sel) const
Lookup a class method for a given selector.
ObjCIvarDecl * lookupInstanceVariable(IdentifierInfo *IVarName, ObjCInterfaceDecl *&ClassDeclared)
ObjCMethodDecl * lookupPrivateMethod(const Selector &Sel, bool Instance=true) const
Lookup a method in the classes implementation hierarchy.
bool isSuperClassOf(const ObjCInterfaceDecl *I) const
isSuperClassOf - Return true if this class is the specified class or is a super class of the specifie...
ObjCIsaExpr - Represent X->isa and X.isa when X is an ObjC 'id' type.
ObjCIvarDecl - Represents an ObjC instance variable.
AccessControl getAccessControl() const
QualType getUsageType(QualType objectType) const
Retrieve the type of this instance variable when viewed as a member of a specific object type.
ObjCIvarRefExpr - A reference to an ObjC instance variable.
ObjCMethodDecl - Represents an instance or class method declaration.
ObjCInterfaceDecl * getClassInterface()
Represents a pointer to an Objective C object.
const ObjCObjectType * getObjectType() const
Gets the type pointed to by this ObjC pointer.
Represents a class type in Objective C.
ObjCInterfaceDecl * getInterface() const
Gets the interface declaration for this object type, if the base type really is an interface.
Represents one property declaration in an Objective-C interface.
ObjCPropertyRefExpr - A dot-syntax expression to access an ObjC property.
Represents an Objective-C protocol declaration.
protocol_range protocols() const
PointerType - C99 6.7.5.1 - Pointer Declarators.
QualType getPointeeType() const
IdentifierTable & getIdentifierTable()
SelectorTable & getSelectorTable()
A (possibly-)qualified type.
QualType getDesugaredType(const ASTContext &Context) const
Return the specified type with any "sugar" removed from the type.
bool isNull() const
Return true if this QualType doesn't point to a type yet.
Qualifiers getQualifiers() const
Retrieve the set of qualifiers applied to this type.
Qualifiers::ObjCLifetime getObjCLifetime() const
Returns lifetime attribute of this type.
QualType getNonReferenceType() const
If Type is a reference type (e.g., const int&), returns the type that the reference refers to ("const...
The collection of all-type qualifiers we support.
@ OCL_Weak
Reading or writing from this object requires a barrier call.
bool hasAddressSpace() const
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
Base for LValueReferenceType and RValueReferenceType.
Scope - A scope is a transient data structure that is used while parsing the program.
@ TryScope
This is the scope of a C++ try statement.
static Selector constructSetterSelector(IdentifierTable &Idents, SelectorTable &SelTable, const IdentifierInfo *Name)
Return the default setter selector for the given identifier.
Selector getNullarySelector(const IdentifierInfo *ID)
Smart pointer class that efficiently represents Objective-C method names.
SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID, bool DeferHint=false)
Emit a diagnostic.
ExprResult getOpenMPCapturedExpr(VarDecl *Capture, ExprValueKind VK, ExprObjectKind OK, SourceLocation Loc)
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.
Sema - This implements semantic analysis and AST building for C.
QualType getCurrentThisType()
Try to retrieve the type of the 'this' pointer.
Scope * getCurScope() const
Retrieve the parser's current scope.
ExprResult BuildMemberReferenceExpr(Expr *Base, QualType BaseType, SourceLocation OpLoc, bool IsArrow, CXXScopeSpec &SS, SourceLocation TemplateKWLoc, NamedDecl *FirstQualifierInScope, const DeclarationNameInfo &NameInfo, const TemplateArgumentListInfo *TemplateArgs, const Scope *S, ActOnMemberAccessExtraArgs *ExtraArgs=nullptr)
NamedDecl * FindFirstQualifierInScope(Scope *S, NestedNameSpecifier *NNS)
If the given nested-name-specifier begins with a bare identifier (e.g., Base::), perform name lookup ...
LookupNameKind
Describes the kind of name lookup to perform.
@ LookupMemberName
Member name lookup, which finds the names of class/struct/union members.
void DecomposeUnqualifiedId(const UnqualifiedId &Id, TemplateArgumentListInfo &Buffer, DeclarationNameInfo &NameInfo, const TemplateArgumentListInfo *&TemplateArgs)
Decomposes the given name into a DeclarationNameInfo, its location, and possibly a list of template a...
bool RequireCompleteDeclContext(CXXScopeSpec &SS, DeclContext *DC)
Require that the context specified by SS be complete.
ExprResult ActOnStartCXXMemberReference(Scope *S, Expr *Base, SourceLocation OpLoc, tok::TokenKind OpKind, ParsedType &ObjectType, bool &MayBePseudoDestructor)
ExtVectorDeclsType ExtVectorDecls
ExtVectorDecls - This is a list all the extended vector types.
FunctionDecl * getCurFunctionDecl(bool AllowLambda=false) const
Returns a pointer to the innermost enclosing function, or nullptr if the current context is not insid...
ExprResult PerformMemberExprBaseConversion(Expr *Base, bool IsArrow)
Perform conversions on the LHS of a member access expression.
ExprResult MaybeConvertParenListExprToParenExpr(Scope *S, Expr *ME)
This is not an AltiVec-style cast or or C++ direct-initialization, so turn the ParenListExpr into a s...
bool tryToRecoverWithCall(ExprResult &E, const PartialDiagnostic &PD, bool ForceComplain=false, bool(*IsPlausibleResult)(QualType)=nullptr)
Try to recover by turning the given expression into a call.
ExprResult DefaultFunctionArrayLvalueConversion(Expr *E, bool Diagnose=true)
ExprResult BuildTemplateIdExpr(const CXXScopeSpec &SS, SourceLocation TemplateKWLoc, LookupResult &R, bool RequiresADL, const TemplateArgumentListInfo *TemplateArgs)
ExprResult ImpCastExprToType(Expr *E, QualType Type, CastKind CK, ExprValueKind VK=VK_PRValue, const CXXCastPath *BasePath=nullptr, CheckedConversionKind CCK=CheckedConversionKind::Implicit)
ImpCastExprToType - If Expr is not of type 'Type', insert an implicit cast.
ObjCMethodDecl * getCurMethodDecl()
getCurMethodDecl - If inside of a method body, this returns a pointer to the method decl for the meth...
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...
const FunctionProtoType * ResolveExceptionSpec(SourceLocation Loc, const FunctionProtoType *FPT)
NonOdrUseReason getNonOdrUseReasonInCurrentContext(ValueDecl *D)
If D cannot be odr-used in the current expression evaluation context, return a reason explaining why.
bool isPotentialImplicitMemberAccess(const CXXScopeSpec &SS, LookupResult &R, bool IsAddressOfOperand)
Check whether an expression might be an implicit class member access.
ExprResult TemporaryMaterializationConversion(Expr *E)
If E is a prvalue denoting an unmaterialized temporary, materialize it as an xvalue.
NamedDeclSetType UnusedPrivateFields
Set containing all declared private fields that are not used.
sema::FunctionScopeInfo * getCurFunction() const
Expr * BuildCXXThisExpr(SourceLocation Loc, QualType Type, bool IsImplicit)
Build a CXXThisExpr and mark it referenced in the current context.
std::optional< sema::TemplateDeductionInfo * > isSFINAEContext() const
Determines whether we are currently in a context where template argument substitution failures are no...
ExprResult ActOnMemberAccessExpr(Scope *S, Expr *Base, SourceLocation OpLoc, tok::TokenKind OpKind, CXXScopeSpec &SS, SourceLocation TemplateKWLoc, UnqualifiedId &Member, Decl *ObjCImpDecl)
The main callback when the parser finds something like expression .
ExprResult BuildImplicitMemberExpr(const CXXScopeSpec &SS, SourceLocation TemplateKWLoc, LookupResult &R, const TemplateArgumentListInfo *TemplateArgs, bool IsDefiniteInstance, const Scope *S)
Builds an implicit member access expression.
ExprResult DefaultLvalueConversion(Expr *E)
ExprResult BuildDeclarationNameExpr(const CXXScopeSpec &SS, LookupResult &R, bool NeedsADL, bool AcceptInvalidDecl=false)
bool IvarBacksCurrentMethodAccessor(ObjCInterfaceDecl *IFace, ObjCMethodDecl *Method, ObjCIvarDecl *IV)
IvarBacksCurrentMethodAccessor - This routine returns 'true' if 'IV' is an ivar synthesized for 'Meth...
DeclContext * CurContext
CurContext - This is the current declaration context of parsing.
bool isUnevaluatedContext() const
Determines whether we are currently in a context that is not evaluated as per C++ [expr] p5.
DeclContext * getFunctionLevelDeclContext(bool AllowLambda=false) const
If AllowLambda is true, treat lambda as function.
ExprResult CheckPlaceholderExpr(Expr *E)
Check for operands with placeholder types and complain if found.
QualType CXXThisTypeOverride
When non-NULL, the C++ 'this' expression is allowed despite the current context not being a non-stati...
ExprResult BuildFieldReferenceExpr(Expr *BaseExpr, bool IsArrow, SourceLocation OpLoc, const CXXScopeSpec &SS, FieldDecl *Field, DeclAccessPair FoundDecl, const DeclarationNameInfo &MemberNameInfo)
ExprResult ActOnDependentMemberExpr(Expr *Base, QualType BaseType, bool IsArrow, SourceLocation OpLoc, const CXXScopeSpec &SS, SourceLocation TemplateKWLoc, NamedDecl *FirstQualifierInScope, const DeclarationNameInfo &NameInfo, const TemplateArgumentListInfo *TemplateArgs)
DeclResult CheckVarTemplateId(VarTemplateDecl *Template, SourceLocation TemplateLoc, SourceLocation TemplateNameLoc, const TemplateArgumentListInfo &TemplateArgs)
Get the specialization of the given variable template corresponding to the specified argument list,...
bool isThisOutsideMemberFunctionBody(QualType BaseType)
Determine whether the given type is the type of *this that is used outside of the body of a member fu...
ExprResult BuildPossibleImplicitMemberExpr(const CXXScopeSpec &SS, SourceLocation TemplateKWLoc, LookupResult &R, const TemplateArgumentListInfo *TemplateArgs, const Scope *S)
Builds an expression which might be an implicit member expression.
DeclContext * computeDeclContext(QualType T)
Compute the DeclContext that is associated with the given type.
bool DiagRuntimeBehavior(SourceLocation Loc, const Stmt *Statement, const PartialDiagnostic &PD)
Conditionally issue a diagnostic based on the current evaluation context.
ExprResult BuildAnonymousStructUnionMemberReference(const CXXScopeSpec &SS, SourceLocation nameLoc, IndirectFieldDecl *indirectField, DeclAccessPair FoundDecl=DeclAccessPair::make(nullptr, AS_none), Expr *baseObjectExpr=nullptr, SourceLocation opLoc=SourceLocation())
ExternalSemaSource * getExternalSource() const
bool DiagnoseUseOfDecl(NamedDecl *D, ArrayRef< SourceLocation > Locs, const ObjCInterfaceDecl *UnknownObjCClass=nullptr, bool ObjCPropertyAccess=false, bool AvoidPartialAvailabilityChecks=false, ObjCInterfaceDecl *ClassReciever=nullptr, bool SkipTrailingRequiresClause=false)
Determine whether the use of this declaration is valid, and emit any corresponding diagnostics.
void diagnoseTypo(const TypoCorrection &Correction, const PartialDiagnostic &TypoDiag, bool ErrorRecovery=true)
bool RequireCompleteType(SourceLocation Loc, QualType T, CompleteTypeKind Kind, TypeDiagnoser &Diagnoser)
Ensure that the type T is a complete type.
PartialDiagnostic PDiag(unsigned DiagID=0)
Build a partial diagnostic.
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.
bool LookupTemplateName(LookupResult &R, Scope *S, CXXScopeSpec &SS, QualType ObjectType, bool EnteringContext, bool &MemberOfUnknownSpecialization, RequiredTemplateKind RequiredTemplate=SourceLocation(), AssumedTemplateKind *ATK=nullptr, bool AllowTypoCorrection=true)
bool isDependentScopeSpecifier(const CXXScopeSpec &SS)
MemberExpr * BuildMemberExpr(Expr *Base, bool IsArrow, SourceLocation OpLoc, const CXXScopeSpec *SS, SourceLocation TemplateKWLoc, ValueDecl *Member, DeclAccessPair FoundDecl, bool HadMultipleCandidates, const DeclarationNameInfo &MemberNameInfo, QualType Ty, ExprValueKind VK, ExprObjectKind OK, const TemplateArgumentListInfo *TemplateArgs=nullptr)
DiagnosticsEngine & Diags
ExprResult DefaultFunctionArrayConversion(Expr *E, bool Diagnose=true)
DefaultFunctionArrayConversion (C99 6.3.2.1p3, C99 6.3.2.1p4).
void diagnoseMissingTemplateArguments(TemplateName Name, SourceLocation Loc)
void MarkMemberReferenced(MemberExpr *E)
Perform reference-marking and odr-use handling for a MemberExpr.
ExprResult HandleExprPropertyRefExpr(const ObjCObjectPointerType *OPT, Expr *BaseExpr, SourceLocation OpLoc, DeclarationName MemberName, SourceLocation MemberLoc, SourceLocation SuperLoc, QualType SuperType, bool Super)
HandleExprPropertyRefExpr - Handle foo.bar where foo is a pointer to an objective C interface.
ExprResult PerformObjectMemberConversion(Expr *From, NestedNameSpecifier *Qualifier, NamedDecl *FoundDecl, NamedDecl *Member)
Cast a base object to a member's actual type.
bool CheckQualifiedMemberReference(Expr *BaseExpr, QualType BaseType, const CXXScopeSpec &SS, const LookupResult &R)
Encodes a location in the source.
bool isValid() const
Return true if this is a valid SourceLocation object.
A trivial tuple used to represent a source range.
SourceLocation getEnd() const
SourceLocation getBegin() const
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
A convenient class for passing around template argument information.
llvm::ArrayRef< TemplateArgumentLoc > arguments() const
Location wrapper for a TemplateArgument.
Represents a C++ template name within the type system.
bool hasAttr(attr::Kind AK) const
Determine whether this type had the specified attribute applied to it (looking through top-level type...
bool isPointerType() const
bool isObjCSelType() const
const T * castAs() const
Member-template castAs<specific type>.
bool isScalarType() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool isExtVectorType() const
bool isExtVectorBoolType() const
bool isSpecificBuiltinType(unsigned K) const
Test for a particular builtin type.
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
bool isFunctionType() const
const T * getAs() const
Member-template getAs<specific type>'.
bool isRecordType() const
Simple class containing the result of Sema::CorrectTypo.
NamedDecl * getCorrectionDecl() const
Gets the pointer to the declaration of the typo correction.
TypoExpr - Internal placeholder for expressions where typo correction still needs to be performed and...
UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...
Represents a C++ unqualified-id that has been parsed.
static UnresolvedLookupExpr * Create(const ASTContext &Context, CXXRecordDecl *NamingClass, NestedNameSpecifierLoc QualifierLoc, const DeclarationNameInfo &NameInfo, bool RequiresADL, UnresolvedSetIterator Begin, UnresolvedSetIterator End, bool KnownDependent)
Represents a C++ member access expression for which lookup produced a set of overloaded functions.
static UnresolvedMemberExpr * Create(const ASTContext &Context, bool HasUnresolvedUsing, Expr *Base, QualType BaseType, bool IsArrow, SourceLocation OperatorLoc, NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc, const DeclarationNameInfo &MemberNameInfo, const TemplateArgumentListInfo *TemplateArgs, UnresolvedSetIterator Begin, UnresolvedSetIterator End)
The iterator over UnresolvedSets.
const DeclAccessPair & getPair() const
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Represents a variable declaration or definition.
void setTemplateSpecializationKind(TemplateSpecializationKind TSK, SourceLocation PointOfInstantiation=SourceLocation())
For a static data member that was instantiated from a static data member of a class template,...
TemplateSpecializationKind getTemplateSpecializationKind() const
If this variable is an instantiation of a variable template or a static data member of a class templa...
Declaration of a variable template.
unsigned getNumElements() const
QualType getElementType() const
void recordUseOfWeak(const ExprT *E, bool IsRead=true)
Record that a weak object was accessed.
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
TokenKind
Provides a simple uniform namespace for tokens from all C languages.
The JSON file list parser is used to communicate input to InstallAPI.
bool isUnresolvedExceptionSpec(ExceptionSpecificationType ESpecType)
ExprObjectKind
A further classification of the kind of object referenced by an l-value or x-value.
@ OK_ObjCProperty
An Objective-C property is a logical field of an Objective-C object which is read and written via Obj...
@ OK_Ordinary
An ordinary object is located at an address in memory.
@ OK_BitField
A bitfield object is a bitfield on a C or C++ record.
@ IK_ConstructorName
A constructor name.
ObjCMethodFamily
A family of Objective-C methods.
@ Result
The result type of a method or function.
ActionResult< Expr * > ExprResult
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
bool declaresSameEntity(const Decl *D1, const Decl *D2)
Determine whether two declarations declare the same entity.
@ TSK_ImplicitInstantiation
This template specialization was implicitly instantiated from a template.
@ Interface
The "__interface" keyword introduces the elaborated-type-specifier.
@ Enum
The "enum" keyword introduces the elaborated-type-specifier.
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.
SourceRange getSourceRange() const LLVM_READONLY
getSourceRange - The range of the declaration name.