clang
15.0.0git
|
#include "clang/Sema/Overload.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExprObjC.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaInternal.h"
Go to the source code of this file.
Typedefs | |
typedef llvm::SmallPtrSet< const CXXRecordDecl *, 4 > | BaseSet |
Functions | |
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. More... | |
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. More... | |
static void | diagnoseInstanceReference (Sema &SemaRef, const CXXScopeSpec &SS, NamedDecl *Rep, const DeclarationNameInfo &nameInfo) |
Diagnose a reference to a field with no object available. More... | |
static bool | IsRGBA (char c) |
Determine whether input char is from rgba component set. More... | |
static bool | IsValidOpenCLComponentSwizzleLength (unsigned len) |
static QualType | CheckExtVectorComponent (Sema &S, QualType baseType, ExprValueKind &VK, SourceLocation OpLoc, const IdentifierInfo *CompName, SourceLocation CompLoc) |
Check an ext-vector component access expression. More... | |
static Decl * | FindGetterSetterNameDeclFromProtocolList (const ObjCProtocolDecl *PDecl, IdentifierInfo *Member, const Selector &Sel, ASTContext &Context) |
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 the static type of the base expression. More... | |
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 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. More... | |
static ExprResult | BuildMSPropertyRefExpr (Sema &S, Expr *BaseExpr, bool IsArrow, const CXXScopeSpec &SS, MSPropertyDecl *PD, const DeclarationNameInfo &NameInfo) |
static bool | IsInFnTryBlockHandler (const Scope *S) |
Determine if the given scope is within a function-try-block handler. More... | |
static bool | ShouldTryAgainWithRedefinitionType (Sema &S, ExprResult &base) |
Given that normal member access failed on the given expression, and given that the expression's type involves builtin-id or builtin-Class, decide whether substituting in the redefinition types would be profitable. More... | |
static bool | isRecordType (QualType T) |
static bool | isPointerToRecordType (QualType T) |
typedef llvm::SmallPtrSet<const CXXRecordDecl*, 4> BaseSet |
Definition at line 28 of file SemaExprMember.cpp.
enum IMAKind |
Definition at line 40 of file SemaExprMember.cpp.
|
static |
Definition at line 883 of file SemaExprMember.cpp.
|
static |
Check an ext-vector component access expression.
VK should be set in advance to the value kind of the base expression.
Definition at line 298 of file SemaExprMember.cpp.
|
static |
The given lookup names class member(s) and is not being used for an address-of-member expression.
Classify the type of access according to whether it's possible that this reference names an instance member. This is best-effort in dependent contexts; it is okay to conservatively answer "yes", in which case some errors will simply not be caught until template-instantiation.
Definition at line 88 of file SemaExprMember.cpp.
References clang::LookupResult::begin(), clang::Sema::ConstantEvaluated, clang::Sema::CXXThisTypeOverride, clang::Sema::DiscardedStatement, clang::LookupResult::empty(), clang::Sema::ExprEvalContexts, clang::CXXRecordDecl::getCanonicalDecl(), clang::Sema::getFunctionLevelDeclContext(), clang::Sema::getLangOpts(), clang::DeclContext::getParent(), IMA_Abstract, IMA_Error_StaticContext, IMA_Error_Unrelated, IMA_Field_Uneval_Context, IMA_Instance, IMA_Mixed, IMA_Mixed_StaticContext, IMA_Mixed_Unrelated, IMA_Static, IMA_Unresolved, IMA_Unresolved_StaticContext, clang::Sema::ImmediateFunctionContext, clang::QualType::isNull(), isProvablyNotDerivedFrom(), clang::LookupResult::isUnresolvableResult(), clang::Sema::PotentiallyEvaluated, clang::Sema::PotentiallyEvaluatedIfUsed, clang::Sema::Unevaluated, clang::Sema::UnevaluatedAbstract, and clang::Sema::UnevaluatedList.
|
static |
Diagnose a reference to a field with no object available.
Definition at line 197 of file SemaExprMember.cpp.
References clang::Sema::Diag(), clang::DeclContext::Encloses(), clang::DeclContext::Equals(), clang::SourceRange::getBegin(), clang::Decl::getDeclContext(), clang::Sema::getFunctionLevelDeclContext(), clang::DeclarationNameInfo::getLoc(), clang::DeclarationNameInfo::getName(), clang::CXXMethodDecl::getParent(), clang::CXXScopeSpec::getRange(), clang::NamedDecl::getUnderlyingDecl(), clang::CXXScopeSpec::isEmpty(), clang::CXXScopeSpec::isSet(), and clang::CXXMethodDecl::isStatic().
Referenced by DiagnoseQualifiedMemberReference().
|
static |
We know that the given qualified member reference points only to declarations which do not belong to the static type of the base expression.
Diagnose the problem.
Definition at line 525 of file SemaExprMember.cpp.
References clang::Sema::Diag(), diagnoseInstanceReference(), clang::DeclarationNameInfo::getLoc(), and clang::CXXScopeSpec::getRange().
Referenced by clang::Sema::CheckQualifiedMemberReference().
|
static |
Definition at line 449 of file SemaExprMember.cpp.
References FindGetterSetterNameDeclFromProtocolList(), clang::Member, clang::OBJC_PR_query_instance, and clang::ObjCObjectPointerType::quals().
|
static |
Definition at line 430 of file SemaExprMember.cpp.
References clang::ObjCContainerDecl::FindPropertyDeclaration(), clang::ObjCContainerDecl::getInstanceMethod(), clang::Member, clang::OBJC_PR_query_instance, and clang::ObjCProtocolDecl::protocols().
Referenced by FindGetterSetterNameDecl().
Determine if the given scope is within a function-try-block handler.
Definition at line 938 of file SemaExprMember.cpp.
Definition at line 1219 of file SemaExprMember.cpp.
References clang::Type::getAs().
|
static |
Determines if the given class is provably not derived from all of the prospective base classes.
Definition at line 32 of file SemaExprMember.cpp.
Referenced by clang::Sema::CheckUsingDeclQualifier(), clang::Sema::CheckUsingShadowDecl(), and ClassifyImplicitMemberAccess().
Definition at line 1216 of file SemaExprMember.cpp.
References clang::Type::isRecordType().
Referenced by clang::Sema::CreateOverloadedBinOp(), clang::Expr::EvaluateAsInitializer(), clang::QualType::getNonLValueExprType(), and clang::InitListExpr::isTransparent().
|
static |
Determine whether input char is from rgba component set.
Definition at line 273 of file SemaExprMember.cpp.
References c.
Definition at line 288 of file SemaExprMember.cpp.
|
static |
Look up the given member of the given non-type-dependent expression.
This can return in one of two ways:
The ObjCImpDecl bit is a gross hack that will need to be properly fixed for ObjC++.
Definition at line 1244 of file SemaExprMember.cpp.
|
static |
Definition at line 640 of file SemaExprMember.cpp.
References clang::Sema::computeDeclContext(), clang::Sema::Diag(), clang::LookupResult::empty(), clang::RecordType::getDecl(), clang::SourceRange::getEnd(), clang::LookupResult::getNameLoc(), clang::CXXScopeSpec::getRange(), clang::Stmt::getSourceRange(), clang::CXXScopeSpec::isSet(), clang::Sema::isThisOutsideMemberFunctionBody(), clang::SourceLocation::isValid(), clang::Sema::LookupQualifiedName(), clang::Sema::LookupTemplateName(), clang::Sema::RequireCompleteDeclContext(), and clang::Sema::RequireCompleteType().
|
static |
Given that normal member access failed on the given expression, and given that the expression's type involves builtin-id or builtin-Class, decide whether substituting in the redefinition types would be profitable.
The redefinition type is whatever this translation unit tried to typedef to id/Class; we store it to the side and then re-use it in places like this.
Definition at line 1190 of file SemaExprMember.cpp.