clang 19.0.0git
|
#include "clang/AST/ASTConsumer.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/ASTMutationListener.h"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/CharUnits.h"
#include "clang/AST/ComparisonCategories.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/EvaluatedExprVisitor.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/RecordLayout.h"
#include "clang/AST/RecursiveASTVisitor.h"
#include "clang/AST/StmtVisitor.h"
#include "clang/AST/TypeLoc.h"
#include "clang/AST/TypeOrdering.h"
#include "clang/Basic/AttributeCommonInfo.h"
#include "clang/Basic/PartialDiagnostic.h"
#include "clang/Basic/Specifiers.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Lex/LiteralSupport.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/CXXFieldCollector.h"
#include "clang/Sema/DeclSpec.h"
#include "clang/Sema/EnterExpressionEvaluationContext.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/Ownership.h"
#include "clang/Sema/ParsedTemplate.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaCUDA.h"
#include "clang/Sema/SemaInternal.h"
#include "clang/Sema/SemaOpenMP.h"
#include "clang/Sema/Template.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/STLForwardCompat.h"
#include "llvm/ADT/ScopeExit.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/ConvertUTF.h"
#include "llvm/Support/SaveAndRestore.h"
#include <map>
#include <optional>
#include <set>
#include "clang/AST/TypeLocNodes.def"
#include "clang/Basic/OperatorKinds.def"
Go to the source code of this file.
Classes | |
class | clang::Sema::InheritedConstructorInfo |
Macros | |
#define | ABSTRACT_TYPELOC(CLASS, PARENT) |
#define | TYPELOC(CLASS, PARENT) case TypeLoc::CLASS: Check(TL.castAs<CLASS##TypeLoc>(), Sel); break; |
#define | CheckPolymorphic(Type) |
#define | OVERLOADED_OPERATOR(Name, Spelling, Token, Unary, Binary, MemberOnly) , { Unary, Binary, MemberOnly } |
Typedefs | |
typedef llvm::SmallPtrSet< QualType, 4 > | IndirectBaseSet |
Use small set to collect indirect bases. | |
Enumerations | |
enum | ImplicitInitializerKind { IIK_Default , IIK_Copy , IIK_Move , IIK_Inherit } |
ImplicitInitializerKind - How an implicit base or member initializer should initialize its base or member. More... | |
enum | TrivialSubobjectKind { TSK_BaseClass , TSK_Field , TSK_CompleteObject } |
The kind of subobject we are checking for triviality. More... | |
Functions | |
static bool | functionDeclHasDefaultArgument (const FunctionDecl *FD) |
static bool | checkSimpleDecomposition (Sema &S, ArrayRef< BindingDecl * > Bindings, ValueDecl *Src, QualType DecompType, const llvm::APSInt &NumElems, QualType ElemType, llvm::function_ref< ExprResult(SourceLocation, Expr *, unsigned)> GetInit) |
static bool | checkArrayLikeDecomposition (Sema &S, ArrayRef< BindingDecl * > Bindings, ValueDecl *Src, QualType DecompType, const llvm::APSInt &NumElems, QualType ElemType) |
static bool | checkArrayDecomposition (Sema &S, ArrayRef< BindingDecl * > Bindings, ValueDecl *Src, QualType DecompType, const ConstantArrayType *CAT) |
static bool | checkVectorDecomposition (Sema &S, ArrayRef< BindingDecl * > Bindings, ValueDecl *Src, QualType DecompType, const VectorType *VT) |
static bool | checkComplexDecomposition (Sema &S, ArrayRef< BindingDecl * > Bindings, ValueDecl *Src, QualType DecompType, const ComplexType *CT) |
static std::string | printTemplateArgs (const PrintingPolicy &PrintingPolicy, TemplateArgumentListInfo &Args, const TemplateParameterList *Params) |
static bool | lookupStdTypeTraitMember (Sema &S, LookupResult &TraitMemberLookup, SourceLocation Loc, StringRef Trait, TemplateArgumentListInfo &Args, unsigned DiagID) |
static TemplateArgumentLoc | getTrivialIntegralTemplateArgument (Sema &S, SourceLocation Loc, QualType T, uint64_t I) |
static TemplateArgumentLoc | getTrivialTypeTemplateArgument (Sema &S, SourceLocation Loc, QualType T) |
static IsTupleLike | isTupleLike (Sema &S, SourceLocation Loc, QualType T, llvm::APSInt &Size) |
static QualType | getTupleLikeElementType (Sema &S, SourceLocation Loc, unsigned I, QualType T) |
static bool | checkTupleLikeDecomposition (Sema &S, ArrayRef< BindingDecl * > Bindings, VarDecl *Src, QualType DecompType, const llvm::APSInt &TupleSize) |
static DeclAccessPair | findDecomposableBaseClass (Sema &S, SourceLocation Loc, const CXXRecordDecl *RD, CXXCastPath &BasePath) |
Find the base class to decompose in a built-in decomposition of a class type. | |
static bool | checkMemberDecomposition (Sema &S, ArrayRef< BindingDecl * > Bindings, ValueDecl *Src, QualType DecompType, const CXXRecordDecl *OrigRD) |
template<typename... Ts> | |
static bool | CheckLiteralType (Sema &SemaRef, Sema::CheckConstexprKind Kind, SourceLocation Loc, QualType T, unsigned DiagID, Ts &&...DiagArgs) |
Check that the given type is a literal type. | |
static bool | CheckConstexprDestructorSubobjects (Sema &SemaRef, const CXXDestructorDecl *DD, Sema::CheckConstexprKind Kind) |
Determine whether a destructor cannot be constexpr due to. | |
static bool | CheckConstexprParameterTypes (Sema &SemaRef, const FunctionDecl *FD, Sema::CheckConstexprKind Kind) |
Check whether a function's parameter types are all literal types. | |
static bool | CheckConstexprReturnType (Sema &SemaRef, const FunctionDecl *FD, Sema::CheckConstexprKind Kind) |
Check whether a function's return type is a literal type. | |
static unsigned | getRecordDiagFromTagKind (TagTypeKind Tag) |
Get diagnostic select index for tag kind for record diagnostic message. | |
static bool | CheckConstexprFunctionBody (Sema &SemaRef, const FunctionDecl *Dcl, Stmt *Body, Sema::CheckConstexprKind Kind) |
Check the body for the given constexpr function declaration only contains the permitted types of statement. | |
static bool | CheckConstexprDeclStmt (Sema &SemaRef, const FunctionDecl *Dcl, DeclStmt *DS, SourceLocation &Cxx1yLoc, Sema::CheckConstexprKind Kind) |
Check the given declaration statement is legal within a constexpr function body. | |
static bool | CheckConstexprCtorInitializer (Sema &SemaRef, const FunctionDecl *Dcl, FieldDecl *Field, llvm::SmallSet< Decl *, 16 > &Inits, bool &Diagnosed, Sema::CheckConstexprKind Kind) |
Check that the given field is initialized within a constexpr constructor. | |
static bool | CheckConstexprFunctionStmt (Sema &SemaRef, const FunctionDecl *Dcl, Stmt *S, SmallVectorImpl< SourceLocation > &ReturnStmts, SourceLocation &Cxx1yLoc, SourceLocation &Cxx2aLoc, SourceLocation &Cxx2bLoc, Sema::CheckConstexprKind Kind) |
Check the provided statement is allowed in a constexpr function definition. | |
static bool | findCircularInheritance (const CXXRecordDecl *Class, const CXXRecordDecl *Current) |
Determine whether the given class is a base class of the given class, including looking at dependent bases. | |
static void | NoteIndirectBases (ASTContext &Context, IndirectBaseSet &Set, const QualType &Type) |
Recursively add the bases of Type. Don't add Type itself. | |
static void | BuildBasePathArray (const CXXBasePath &Path, CXXCastPath &BasePathArray) |
static bool | InitializationHasSideEffects (const FieldDecl &FD) |
static bool | FindBaseInitializer (Sema &SemaRef, CXXRecordDecl *ClassDecl, QualType BaseType, const CXXBaseSpecifier *&DirectBaseSpec, const CXXBaseSpecifier *&VirtualBaseSpec) |
Find the direct and/or virtual base specifiers that correspond to the given base type, for use in base initialization within a constructor. | |
static Expr * | CastForMoving (Sema &SemaRef, Expr *E) |
static bool | BuildImplicitBaseInitializer (Sema &SemaRef, CXXConstructorDecl *Constructor, ImplicitInitializerKind ImplicitInitKind, CXXBaseSpecifier *BaseSpec, bool IsInheritedVirtualBase, CXXCtorInitializer *&CXXBaseInit) |
static bool | RefersToRValueRef (Expr *MemRef) |
static bool | BuildImplicitMemberInitializer (Sema &SemaRef, CXXConstructorDecl *Constructor, ImplicitInitializerKind ImplicitInitKind, FieldDecl *Field, IndirectFieldDecl *Indirect, CXXCtorInitializer *&CXXMemberInit) |
static bool | isIncompleteOrZeroLengthArrayType (ASTContext &Context, QualType T) |
Determine whether the given type is an incomplete or zero-lenfgth array type. | |
static bool | CollectFieldInitializer (Sema &SemaRef, BaseAndFieldInfo &Info, FieldDecl *Field, IndirectFieldDecl *Indirect=nullptr) |
static void | PopulateKeysForFields (FieldDecl *Field, SmallVectorImpl< const void * > &IdealInits) |
static const void * | GetKeyForBase (ASTContext &Context, QualType BaseType) |
static const void * | GetKeyForMember (ASTContext &Context, CXXCtorInitializer *Member) |
static void | AddInitializerToDiag (const Sema::SemaDiagnosticBuilder &Diag, const CXXCtorInitializer *Previous, const CXXCtorInitializer *Current) |
static void | DiagnoseBaseOrMemInitializerOrder (Sema &SemaRef, const CXXConstructorDecl *Constructor, ArrayRef< CXXCtorInitializer * > Inits) |
static void | CheckAbstractClassUsage (AbstractUsageInfo &Info, FunctionDecl *FD) |
Check for invalid uses of an abstract type in a function declaration. | |
static void | CheckAbstractClassUsage (AbstractUsageInfo &Info, VarDecl *VD) |
Check for invalid uses of an abstract type in a variable0 declaration. | |
static void | CheckAbstractClassUsage (AbstractUsageInfo &Info, CXXRecordDecl *RD) |
Check for invalid uses of an abstract type within a class definition. | |
static void | ReferenceDllExportedMembers (Sema &S, CXXRecordDecl *Class) |
static void | checkForMultipleExportedDefaultConstructors (Sema &S, CXXRecordDecl *Class) |
static void | checkCUDADeviceBuiltinSurfaceClassTemplate (Sema &S, CXXRecordDecl *Class) |
static void | checkCUDADeviceBuiltinTextureClassTemplate (Sema &S, CXXRecordDecl *Class) |
static void | DefineDefaultedFunction (Sema &S, FunctionDecl *FD, SourceLocation DefaultLoc) |
static bool | canPassInRegisters (Sema &S, CXXRecordDecl *D, TargetInfo::CallingConvKind CCK) |
Determine whether a type is permitted to be passed or returned in registers, per C++ [class.temporary]p3. | |
static bool | ReportOverrides (Sema &S, unsigned DiagID, const CXXMethodDecl *MD, llvm::function_ref< bool(const CXXMethodDecl *)> Report) |
Report an error regarding overriding, along with any relevant overridden methods. | |
static Sema::SpecialMemberOverloadResult | lookupCallFromSpecialMember (Sema &S, CXXRecordDecl *Class, CXXSpecialMemberKind CSM, unsigned FieldQuals, bool ConstRHS) |
Look up the special member function that would be called by a special member function for a subobject of class type. | |
static bool | specialMemberIsConstexpr (Sema &S, CXXRecordDecl *ClassDecl, CXXSpecialMemberKind CSM, unsigned Quals, bool ConstRHS, CXXConstructorDecl *InheritedCtor=nullptr, Sema::InheritedConstructorInfo *Inherited=nullptr) |
Is the special member function which would be selected to perform the specified operation on the specified class type a constexpr constructor? | |
static bool | defaultedSpecialMemberIsConstexpr (Sema &S, CXXRecordDecl *ClassDecl, CXXSpecialMemberKind CSM, bool ConstArg, CXXConstructorDecl *InheritedCtor=nullptr, Sema::InheritedConstructorInfo *Inherited=nullptr) |
Determine whether the specified special member function would be constexpr if it were implicitly defined. | |
static Sema::ImplicitExceptionSpecification | ComputeDefaultedSpecialMemberExceptionSpec (Sema &S, SourceLocation Loc, CXXMethodDecl *MD, CXXSpecialMemberKind CSM, Sema::InheritedConstructorInfo *ICI) |
static Sema::ImplicitExceptionSpecification | ComputeDefaultedComparisonExceptionSpec (Sema &S, SourceLocation Loc, FunctionDecl *FD, Sema::DefaultedComparisonKind DCK) |
static Sema::ImplicitExceptionSpecification | computeImplicitExceptionSpec (Sema &S, SourceLocation Loc, FunctionDecl *FD) |
static FunctionProtoType::ExtProtoInfo | getImplicitMethodEPI (Sema &S, CXXMethodDecl *MD) |
static void | lookupOperatorsForDefaultedComparison (Sema &Self, Scope *S, UnresolvedSetImpl &Operators, OverloadedOperatorKind Op) |
Perform the unqualified lookups that might be needed to form a defaulted comparison function for the given operator. | |
static bool | findTrivialSpecialMember (Sema &S, CXXRecordDecl *RD, CXXSpecialMemberKind CSM, unsigned Quals, bool ConstRHS, Sema::TrivialABIHandling TAH, CXXMethodDecl **Selected) |
Perform lookup for a special member of the specified kind, and determine whether it is trivial. | |
static CXXConstructorDecl * | findUserDeclaredCtor (CXXRecordDecl *RD) |
static bool | checkTrivialSubobjectCall (Sema &S, SourceLocation SubobjLoc, QualType SubType, bool ConstRHS, CXXSpecialMemberKind CSM, TrivialSubobjectKind Kind, Sema::TrivialABIHandling TAH, bool Diagnose) |
Check whether the special member selected for a given type would be trivial. | |
static bool | checkTrivialClassMembers (Sema &S, CXXRecordDecl *RD, CXXSpecialMemberKind CSM, bool ConstArg, Sema::TrivialABIHandling TAH, bool Diagnose) |
Check whether the members of a class type allow a special member to be trivial. | |
static void | AddMostOverridenMethods (const CXXMethodDecl *MD, llvm::SmallPtrSetImpl< const CXXMethodDecl * > &Methods) |
Add the most overridden methods from MD to Methods. | |
static void | findImplicitlyDeclaredEqualityComparisons (ASTContext &Ctx, CXXRecordDecl *RD, llvm::SmallVectorImpl< FunctionDecl * > &Spaceships) |
Find the equality comparison functions that should be implicitly declared in a given class definition, per C++2a [class.compare.default]p3. | |
static void | checkMethodTypeQualifiers (Sema &S, Declarator &D, unsigned DiagID) |
static void | extendLeft (SourceRange &R, SourceRange Before) |
static void | extendRight (SourceRange &R, SourceRange After) |
static void | DiagnoseNamespaceInlineMismatch (Sema &S, SourceLocation KeywordLoc, SourceLocation Loc, IdentifierInfo *II, bool *IsInline, NamespaceDecl *PrevNS) |
Diagnose a mismatch in 'inline' qualifiers when a namespace is reopened. | |
static NamespaceDecl * | getNamespaceDecl (NamedDecl *D) |
getNamespaceDecl - Returns the namespace a decl represents. | |
static ClassTemplateDecl * | LookupStdInitializerList (Sema &S, SourceLocation Loc) |
static bool | IsUsingDirectiveInToplevelContext (DeclContext *CurContext) |
Determine whether a using statement is in a context where it will be apply in all contexts. | |
static void | DiagnoseInvisibleNamespace (const TypoCorrection &Corrected, Sema &S) |
static bool | TryNamespaceTypoCorrection (Sema &S, LookupResult &R, Scope *Sc, CXXScopeSpec &SS, SourceLocation IdentLoc, IdentifierInfo *Ident) |
static bool | IsEquivalentForUsingDecl (ASTContext &Context, NamedDecl *D1, NamedDecl *D2) |
Determine whether a using declaration considers the given declarations as "equivalent", e.g., if they are redeclarations of the same entity or are both typedefs of the same type. | |
static bool | isVirtualDirectBase (CXXRecordDecl *Derived, CXXRecordDecl *Base) |
Determine whether a direct base class is a virtual base class. | |
static CXXBaseSpecifier * | findDirectBaseWithType (CXXRecordDecl *Derived, QualType DesiredBase, bool &AnyDependentBases) |
Find the base specifier for a base class with the given type. | |
static StmtResult | buildMemcpyForAssignmentOp (Sema &S, SourceLocation Loc, QualType T, const ExprBuilder &ToB, const ExprBuilder &FromB) |
When generating a defaulted copy or move assignment operator, if a field should be copied with __builtin_memcpy rather than via explicit assignments, do so. | |
static StmtResult | buildSingleCopyAssignRecursively (Sema &S, SourceLocation Loc, QualType T, const ExprBuilder &To, const ExprBuilder &From, bool CopyingBaseSubobject, bool Copying, unsigned Depth=0) |
Builds a statement that copies/moves the given entity from From to To . | |
static StmtResult | buildSingleCopyAssign (Sema &S, SourceLocation Loc, QualType T, const ExprBuilder &To, const ExprBuilder &From, bool CopyingBaseSubobject, bool Copying) |
static void | diagnoseDeprecatedCopyOperation (Sema &S, CXXMethodDecl *CopyOp) |
Diagnose an implicit copy operation for a class which is odr-used, but which is deprecated because the class has a user-declared copy constructor, copy assignment operator, or destructor. | |
static void | checkMoveAssignmentForRepeatedMove (Sema &S, CXXRecordDecl *Class, SourceLocation CurrentLocation) |
Check if we're implicitly defining a move assignment operator for a class with virtual bases. | |
static bool | hasOneRealArgument (MultiExprArg Args) |
Determine whether the given list arguments contains exactly one "real" (non-default) argument. | |
static bool | CheckOperatorNewDeleteDeclarationScope (Sema &SemaRef, const FunctionDecl *FnDecl) |
static CanQualType | RemoveAddressSpaceFromPtr (Sema &SemaRef, const PointerType *PtrTy) |
static bool | CheckOperatorNewDeleteTypes (Sema &SemaRef, const FunctionDecl *FnDecl, CanQualType ExpectedResultType, CanQualType ExpectedFirstParamType, unsigned DependentParamTypeDiag, unsigned InvalidParamTypeDiag) |
static bool | CheckOperatorNewDeclaration (Sema &SemaRef, const FunctionDecl *FnDecl) |
static bool | CheckOperatorDeleteDeclaration (Sema &SemaRef, FunctionDecl *FnDecl) |
static bool | checkLiteralOperatorTemplateParameterList (Sema &SemaRef, FunctionTemplateDecl *TpDecl) |
static void | WriteCharTypePrefix (BuiltinType::Kind BTK, llvm::raw_ostream &OS) |
static void | WriteCharValueForDiagnostic (uint32_t Value, const BuiltinType *BTy, unsigned TyWidth, SmallVectorImpl< char > &Str) |
Convert character's value, interpreted as a code unit, to a string. | |
static bool | ConvertAPValueToString (const APValue &V, QualType T, SmallVectorImpl< char > &Str, ASTContext &Context) |
Convert \V to a string we can present to the user in a diagnostic \T is the type of the expression that has been evaluated into \V. | |
static bool | UsefulToPrintExpr (const Expr *E) |
Some Expression types are not useful to print notes about, e.g. | |
static void | SearchForReturnInStmt (Sema &Self, Stmt *S) |
static bool | isNonlocalVariable (const Decl *D) |
Determine whether the given declaration is a global variable or static data member. | |
static void | DelegatingCycleHelper (CXXConstructorDecl *Ctor, llvm::SmallPtrSet< CXXConstructorDecl *, 4 > &Valid, llvm::SmallPtrSet< CXXConstructorDecl *, 4 > &Invalid, llvm::SmallPtrSet< CXXConstructorDecl *, 4 > &Current, Sema &S) |
#define ABSTRACT_TYPELOC | ( | CLASS, | |
PARENT | |||
) |
#define CheckPolymorphic | ( | Type | ) |
Definition at line 6174 of file SemaDeclCXX.cpp.
#define OVERLOADED_OPERATOR | ( | Name, | |
Spelling, | |||
Token, | |||
Unary, | |||
Binary, | |||
MemberOnly | |||
) | , { Unary, Binary, MemberOnly } |
#define TYPELOC | ( | CLASS, | |
PARENT | |||
) | case TypeLoc::CLASS: Check(TL.castAs<CLASS##TypeLoc>(), Sel); break; |
typedef llvm::SmallPtrSet<QualType, 4> IndirectBaseSet |
Use small set to collect indirect bases.
As this is only used locally, there's no need to abstract the small size parameter.
Definition at line 2901 of file SemaDeclCXX.cpp.
ImplicitInitializerKind - How an implicit base or member initializer should initialize its base or member.
Enumerator | |
---|---|
IIK_Default | |
IIK_Copy | |
IIK_Move | |
IIK_Inherit |
Definition at line 4944 of file SemaDeclCXX.cpp.
enum TrivialSubobjectKind |
The kind of subobject we are checking for triviality.
The values of this enumeration are used in diagnostics.
Enumerator | |
---|---|
TSK_BaseClass | The subobject is a base class. |
TSK_Field | The subobject is a non-static data member. |
TSK_CompleteObject | The object is actually the complete object. |
Definition at line 10071 of file SemaDeclCXX.cpp.
|
static |
Definition at line 5589 of file SemaDeclCXX.cpp.
References clang::SemaBase::Diag(), and Previous.
Referenced by DiagnoseBaseOrMemInitializerOrder().
|
static |
Add the most overridden methods from MD to Methods.
Definition at line 10421 of file SemaDeclCXX.cpp.
References AddMostOverridenMethods(), clang::CXXMethodDecl::getCanonicalDecl(), clang::CXXMethodDecl::overridden_methods(), and clang::CXXMethodDecl::size_overridden_methods().
Referenced by AddMostOverridenMethods(), and clang::Sema::FindHiddenVirtualMethods().
|
static |
Definition at line 3091 of file SemaDeclCXX.cpp.
Referenced by clang::Sema::CheckMemberPointerConversion().
|
static |
Definition at line 4952 of file SemaDeclCXX.cpp.
References CastForMoving(), clang::Sema::Context, clang::DeclRefExpr::Create(), clang::InitializationKind::CreateDefault(), clang::InitializationKind::CreateDirect(), clang::ActionResult< PtrTy, Compress >::get(), clang::ActionResult< PtrTy, Compress >::getAs(), clang::QualType::getNonReferenceType(), clang::ASTContext::getQualifiedType(), clang::QualType::getQualifiers(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::ValueDecl::getType(), clang::CXXBaseSpecifier::getType(), clang::QualType::getUnqualifiedType(), IIK_Copy, IIK_Default, IIK_Inherit, IIK_Move, clang::Sema::ImpCastExprToType(), clang::InitializedEntity::InitializeBase(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::CXXBaseSpecifier::isVirtual(), clang::Sema::MarkDeclRefReferenced(), clang::Sema::MaybeCreateExprWithCleanups(), clang::InitializationSequence::Perform(), clang::SemaBase::SemaRef, clang::VK_LValue, and clang::VK_XValue.
Referenced by clang::Sema::SetCtorInitializers().
|
static |
Definition at line 5035 of file SemaDeclCXX.cpp.
References clang::LookupResult::addDecl(), clang::AS_public, clang::Sema::BuildMemberReferenceExpr(), CastForMoving(), clang::Sema::Context, clang::DeclRefExpr::Create(), clang::InitializationKind::CreateDefault(), clang::InitializationKind::CreateDirect(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::ActionResult< PtrTy, Compress >::getAs(), clang::ASTContext::getBaseElementType(), clang::QualType::getNonReferenceType(), clang::ASTContext::getTagDeclType(), clang::ValueDecl::getType(), clang::QualType::hasNonTrivialObjCLifetime(), IIK_Copy, IIK_Default, IIK_Inherit, IIK_Move, clang::InitializedEntity::InitializeMember(), clang::QualType::isConstQualified(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isRecordType(), clang::Type::isReferenceType(), clang::Sema::LookupMemberName, clang::Sema::MarkDeclRefReferenced(), clang::Sema::MaybeCreateExprWithCleanups(), clang::InitializationSequence::Perform(), RefersToRValueRef(), clang::LookupResult::resolveKind(), clang::SemaBase::SemaRef, and clang::VK_LValue.
Referenced by CollectFieldInitializer().
|
static |
When generating a defaulted copy or move assignment operator, if a field should be copied with __builtin_memcpy rather than via explicit assignments, do so.
This optimization only applies for arrays of scalars, and for arrays of class type where the selected copy/move-assignment operator is trivial.
Definition at line 14658 of file SemaDeclCXX.cpp.
References clang::Sema::BuildCallExpr(), clang::Sema::BuildDeclRefExpr(), clang::ASTContext::BuiltinFnTy, clang::Call, clang::Type::castAs(), clang::Sema::Context, clang::IntegerLiteral::Create(), clang::UnaryOperator::Create(), clang::Sema::CurFPFeatureOverrides(), clang::ActionResult< PtrTy, Compress >::get(), clang::IdentifierTable::get(), clang::LookupResult::getAsSingle(), clang::Type::getBaseElementTypeUnsafe(), clang::ASTContext::getPointerType(), clang::CharUnits::getQuantity(), clang::ASTContext::getSizeType(), clang::Expr::getType(), clang::ASTContext::getTypeSize(), clang::ASTContext::getTypeSizeInChars(), clang::ASTContext::Idents, clang::Type::isRecordType(), clang::ActionResult< PtrTy, Compress >::isUsable(), clang::Sema::LookupName(), clang::Sema::LookupOrdinaryName, clang::OK_Ordinary, clang::StmtError(), clang::T, clang::Sema::TUScope, and clang::VK_PRValue.
Referenced by buildSingleCopyAssign().
|
static |
Definition at line 14930 of file SemaDeclCXX.cpp.
References buildMemcpyForAssignmentOp(), buildSingleCopyAssignRecursively(), clang::Sema::Context, clang::Type::isArrayType(), clang::Result, and clang::T.
Referenced by clang::Sema::DefineImplicitCopyAssignment(), and clang::Sema::DefineImplicitMoveAssignment().
|
static |
Builds a statement that copies/moves the given entity from From
to To
.
This routine is used to copy/move the members of a class with an implicitly-declared copy/move assignment operator. When the entities being copied are arrays, this routine builds for loops to copy them.
S | The Sema object used for type-checking. |
Loc | The location where the implicit copy/move is being generated. |
T | The type of the expressions being copied/moved. Both expressions must have this type. |
To | The expression we are copying/moving to. |
From | The expression we are copying/moving from. |
CopyingBaseSubobject | Whether we're copying/moving a base subobject. Otherwise, it's a non-static member subobject. |
Copying | Whether we're copying or moving. |
Depth | Internal parameter recording the depth of the recursion. |
Definition at line 14738 of file SemaDeclCXX.cpp.
References clang::Sema::ActOnCondition(), clang::Sema::ActOnExprStmt(), clang::Sema::ActOnForStmt(), clang::AS_protected, clang::AS_public, clang::LookupResult::begin(), clang::Sema::Boolean, clang::ASTContext::BoolTy, clang::Sema::BuildCallToMemberFunction(), clang::Sema::BuildMemberReferenceExpr(), buildSingleCopyAssignRecursively(), clang::Call, clang::Sema::Context, clang::Copy, clang::VarDecl::Create(), clang::IntegerLiteral::Create(), clang::UnaryOperator::Create(), clang::BinaryOperator::Create(), clang::NestedNameSpecifier::Create(), clang::Sema::CreateBuiltinBinOp(), clang::Sema::CurContext, clang::Sema::CurFPFeatureOverrides(), clang::ASTContext::DeclarationNames, clang::LookupResult::Filter::done(), clang::LookupResult::end(), clang::LookupResult::Filter::erase(), clang::IdentifierTable::get(), clang::ActionResult< PtrTy, Compress >::getAs(), clang::Type::getAs(), clang::ASTContext::getAsConstantArrayType(), clang::ASTContext::getCanonicalType(), clang::DeclarationNameTable::getCXXOperatorName(), clang::ArrayType::getElementType(), clang::Sema::getLangOpts(), clang::CXXMemberCallExpr::getMethodDecl(), clang::ConstantArrayType::getSize(), clang::ASTContext::getSizeType(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::ASTContext::getTypeSize(), clang::LookupResult::Filter::hasNext(), clang::ASTContext::Idents, clang::CXXMethodDecl::isCopyAssignmentOperator(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::CXXMethodDecl::isMoveAssignmentOperator(), clang::FunctionDecl::isTrivial(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), clang::LookupResult::makeFilter(), clang::Sema::MakeFullDiscardedValueExpr(), clang::CXXScopeSpec::MakeTrivial(), clang::LookupResult::Filter::next(), clang::OK_Ordinary, clang::Sema::OS, clang::SC_None, clang::VarDecl::setInit(), clang::StmtError(), clang::T, clang::VK_LValue, and clang::VK_PRValue.
Referenced by buildSingleCopyAssign(), and buildSingleCopyAssignRecursively().
|
static |
Determine whether a type is permitted to be passed or returned in registers, per C++ [class.temporary]p3.
Definition at line 6877 of file SemaDeclCXX.cpp.
References clang::TargetInfo::CCK_ClangABI4OrPS4, clang::TargetInfo::CCK_MicrosoftWin64, clang::Sema::Context, clang::CXXRecordDecl::ctors(), clang::CXXRecordDecl::defaultedCopyConstructorIsDeleted(), clang::CXXRecordDecl::defaultedDestructorIsDeleted(), clang::CXXRecordDecl::defaultedMoveConstructorIsDeleted(), clang::Sema::getASTContext(), clang::CXXRecordDecl::getDestructor(), clang::Sema::getLangOpts(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTriple(), clang::TypeDecl::getTypeForDecl(), clang::ASTContext::getTypeSize(), clang::CXXRecordDecl::hasNonTrivialCopyConstructorForCall(), clang::CXXRecordDecl::hasNonTrivialDestructorForCall(), clang::CXXRecordDecl::hasTrivialCopyConstructor(), clang::CXXRecordDecl::hasTrivialCopyConstructorForCall(), clang::CXXRecordDecl::hasTrivialDestructorForCall(), clang::CXXRecordDecl::hasTrivialMoveConstructorForCall(), clang::TagDecl::isDependentType(), clang::Decl::isInvalidDecl(), clang::CXXRecordDecl::methods(), clang::CXXRecordDecl::needsImplicitCopyConstructor(), clang::CXXRecordDecl::needsImplicitDestructor(), and clang::CXXRecordDecl::needsImplicitMoveConstructor().
Referenced by clang::Sema::CheckCompletedCXXClass(), and clang::TextNodeDumper::VisitCXXRecordDecl().
Definition at line 4929 of file SemaDeclCXX.cpp.
References clang::Sema::BuildCXXNamedCast(), clang::Sema::BuildReferenceType(), clang::Sema::Context, clang::ActionResult< PtrTy, Compress >::get(), clang::Stmt::getBeginLoc(), clang::Stmt::getSourceRange(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::Expr::getType(), and clang::SemaBase::SemaRef.
Referenced by BuildImplicitBaseInitializer(), and BuildImplicitMemberInitializer().
|
static |
Check for invalid uses of an abstract type within a class definition.
Definition at line 6254 of file SemaDeclCXX.cpp.
References clang::Sema::AbstractFieldType, CheckAbstractClassUsage(), clang::DeclContext::decls(), clang::TypeSourceInfo::getTypeLoc(), and clang::DeclaratorDecl::getTypeSourceInfo().
|
static |
Check for invalid uses of an abstract type in a function declaration.
Definition at line 6227 of file SemaDeclCXX.cpp.
References clang::Sema::AbstractNone, clang::FunctionDecl::doesThisDeclarationHaveABody(), clang::TypeSourceInfo::getTypeLoc(), and clang::DeclaratorDecl::getTypeSourceInfo().
Referenced by CheckAbstractClassUsage(), and clang::Sema::CheckCompletedCXXClass().
|
static |
Check for invalid uses of an abstract type in a variable0 declaration.
Definition at line 6242 of file SemaDeclCXX.cpp.
References clang::Sema::AbstractVariableType, clang::TypeSourceInfo::getTypeLoc(), clang::DeclaratorDecl::getTypeSourceInfo(), and clang::VarDecl::isThisDeclarationADefinition().
|
static |
Definition at line 1016 of file SemaDeclCXX.cpp.
References checkArrayLikeDecomposition(), clang::ArrayType::getElementType(), and clang::ConstantArrayType::getSize().
Referenced by clang::Sema::CheckCompleteDecompositionDeclaration().
|
static |
Definition at line 1001 of file SemaDeclCXX.cpp.
References clang::Sema::ActOnIntegerConstant(), checkSimpleDecomposition(), clang::Sema::CreateBuiltinArraySubscriptExpr(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), and clang::ActionResult< PtrTy, Compress >::isInvalid().
Referenced by checkArrayDecomposition(), and checkVectorDecomposition().
|
static |
Definition at line 1033 of file SemaDeclCXX.cpp.
References checkSimpleDecomposition(), clang::Sema::Context, clang::ComplexType::getElementType(), clang::ASTContext::getQualifiedType(), and clang::QualType::getQualifiers().
Referenced by clang::Sema::CheckCompleteDecompositionDeclaration().
|
static |
Check that the given field is initialized within a constexpr constructor.
Dcl | The constexpr constructor being checked. |
Field | The field being checked. This may be a member of an anonymous struct or union nested within the class being checked. |
Inits | All declarations, including anonymous struct/union members and indirect members, for which any initialization was provided. |
Diagnosed | Whether we've emitted the error message yet. Used to attach multiple notes for different members to the same error. |
Kind | Whether we're diagnosing a constructor as written or determining whether the formal requirements are satisfied. |
false
if we're checking for validity and the constructor does not satisfy the requirements on a constexpr constructor. Definition at line 2058 of file SemaDeclCXX.cpp.
References CheckConstexprCtorInitializer(), clang::Sema::CheckValid, clang::SemaBase::Diag(), clang::Sema::Diagnose, clang::RecordDecl::fields(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::TagDecl::isUnion(), and clang::SemaBase::SemaRef.
Referenced by CheckConstexprCtorInitializer(), and CheckConstexprFunctionBody().
|
static |
Check the given declaration statement is legal within a constexpr function body.
C++11 [dcl.constexpr]p3,p4, and C++1y [dcl.constexpr]p3.
Definition at line 1905 of file SemaDeclCXX.cpp.
References CheckLiteralType(), clang::DeclStmt::decls(), clang::SemaBase::Diag(), clang::Sema::Diagnose, clang::TypeLoc::getBeginLoc(), clang::DeclStmt::getBeginLoc(), clang::Sema::getLangOpts(), clang::TypeLoc::getSourceRange(), clang::TypeLoc::getType(), clang::FunctionDecl::isConsteval(), clang::SourceLocation::isValid(), clang::Sema::LangOpts, clang::SemaBase::SemaRef, and clang::VarDecl::TLS_Dynamic.
Referenced by CheckConstexprFunctionStmt().
|
static |
Determine whether a destructor cannot be constexpr due to.
Definition at line 1720 of file SemaDeclCXX.cpp.
References clang::CXXRecordDecl::bases(), clang::SemaBase::Diag(), clang::Sema::Diagnose, clang::RecordDecl::fields(), clang::Type::getAsCXXRecordDecl(), clang::Type::getBaseElementTypeUnsafe(), clang::FunctionDecl::getConstexprKind(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::CXXMethodDecl::getParent(), clang::CXXRecordDecl::hasConstexprDestructor(), clang::SemaBase::SemaRef, and clang::T.
Referenced by clang::Sema::CheckConstexprFunctionDefinition().
|
static |
Check the body for the given constexpr function declaration only contains the permitted types of statement.
C++11 [dcl.constexpr]p3,p4.
Definition at line 2276 of file SemaDeclCXX.cpp.
References CheckConstexprCtorInitializer(), CheckConstexprFunctionStmt(), clang::Sema::CheckValid, clang::Stmt::children(), clang::SemaBase::Diag(), clang::Sema::Diagnose, clang::Sema::Diags, clang::RecordDecl::field_begin(), clang::RecordDecl::field_end(), clang::RecordDecl::fields(), clang::Stmt::getBeginLoc(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::FunctionDecl::getNameInfo(), clang::CXXRecordDecl::getNumBases(), clang::CXXRecordDecl::getNumVBases(), clang::FunctionDecl::getReturnType(), clang::DeclarationNameInfo::getSourceRange(), clang::CXXRecordDecl::hasVariantMembers(), clang::FunctionDecl::isConsteval(), clang::Type::isDependentType(), clang::Expr::isPotentialConstantExpr(), clang::TagDecl::isUnion(), clang::SourceLocation::isValid(), clang::Type::isVoidType(), and clang::SemaBase::SemaRef.
Referenced by clang::Sema::CheckConstexprFunctionDefinition().
|
static |
Check the provided statement is allowed in a constexpr function definition.
Definition at line 2114 of file SemaDeclCXX.cpp.
References clang::CompoundStmt::body(), CheckConstexprDeclStmt(), CheckConstexprFunctionStmt(), clang::SemaBase::Diag(), clang::Sema::Diagnose, clang::Sema::getLangOpts(), clang::If, clang::FunctionDecl::isConsteval(), clang::SourceLocation::isInvalid(), clang::SourceLocation::isValid(), and clang::SemaBase::SemaRef.
Referenced by CheckConstexprFunctionBody(), and CheckConstexprFunctionStmt().
|
static |
Check whether a function's parameter types are all literal types.
If so, return true. If not, produce a suitable diagnostic and return false.
Definition at line 1753 of file SemaDeclCXX.cpp.
References clang::Type::castAs(), CheckLiteralType(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::FunctionDecl::getParamDecl(), clang::ParmVarDecl::getSourceRange(), clang::ValueDecl::getType(), clang::FunctionDecl::isConsteval(), and clang::SemaBase::SemaRef.
Referenced by clang::Sema::CheckConstexprFunctionDefinition(), and clang::Sema::CheckExplicitlyDefaultedComparison().
|
static |
Check whether a function's return type is a literal type.
If so, return true. If not, produce a suitable diagnostic and return false.
Definition at line 1777 of file SemaDeclCXX.cpp.
References CheckLiteralType(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::FunctionDecl::getReturnType(), clang::FunctionDecl::isConsteval(), and clang::SemaBase::SemaRef.
Referenced by clang::Sema::CheckConstexprFunctionDefinition(), and clang::Sema::CheckExplicitlyDefaultedComparison().
|
static |
Definition at line 6422 of file SemaDeclCXX.cpp.
References clang::Class, clang::SemaBase::Diag(), clang::Decl::getLocation(), clang::TemplateParameterList::getParam(), clang::TemplateDecl::getTemplateParameters(), and clang::TemplateParameterList::size().
Referenced by clang::Sema::CheckCompletedCXXClass().
|
static |
Definition at line 6476 of file SemaDeclCXX.cpp.
References clang::Class, clang::SemaBase::Diag(), clang::Decl::getLocation(), clang::TemplateParameterList::getParam(), clang::TemplateDecl::getTemplateParameters(), and clang::TemplateParameterList::size().
Referenced by clang::Sema::CheckCompletedCXXClass().
|
static |
Definition at line 6384 of file SemaDeclCXX.cpp.
References clang::Sema::CheckCXXDefaultArgExpr(), clang::Class, clang::Sema::Context, clang::SemaBase::Diag(), clang::Sema::DiscardCleanupsInEvaluationContext(), clang::TargetInfo::getCXXABI(), clang::Attr::getLocation(), clang::Decl::getLocation(), clang::ASTContext::getTargetInfo(), clang::TargetCXXABI::isMicrosoft(), and clang::Member.
Referenced by clang::Sema::ActOnFinishCXXMemberDecls().
|
static |
Definition at line 16660 of file SemaDeclCXX.cpp.
References clang::ASTContext::CharTy, clang::Sema::Context, clang::SemaBase::Diag(), clang::Type::getAs(), clang::SourceRange::getBegin(), clang::TemplateTypeParmDecl::getDepth(), clang::TemplateTypeParmType::getDepth(), clang::TemplateTypeParmDecl::getIndex(), clang::TemplateTypeParmType::getIndex(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::TemplateParameterList::getParam(), clang::TemplateParameterList::getSourceRange(), clang::TemplateDecl::getTemplateParameters(), clang::ValueDecl::getType(), clang::ASTContext::hasSameType(), clang::Sema::inTemplateInstantiation(), clang::Type::isRecordType(), clang::Decl::isTemplateParameterPack(), clang::SemaBase::SemaRef, and clang::TemplateParameterList::size().
Referenced by clang::Sema::CheckLiteralOperatorDeclaration().
|
static |
Check that the given type is a literal type.
Issue a diagnostic if not, if Kind is Diagnose.
true
if a problem has been found (and optionally diagnosed). Definition at line 1701 of file SemaDeclCXX.cpp.
References clang::Sema::CheckValid, clang::Sema::Context, clang::Sema::Diagnose, clang::Type::isDependentType(), clang::Type::isLiteralType(), clang::Sema::RequireLiteralType(), clang::SemaBase::SemaRef, and clang::T.
|
static |
Definition at line 1440 of file SemaDeclCXX.cpp.
References clang::Sema::BuildDeclRefExpr(), clang::Sema::BuildFieldReferenceExpr(), clang::Sema::BuildQualifiedType(), clang::Sema::CheckStructuredBindingMemberAccess(), clang::Sema::Context, clang::SemaBase::Diag(), clang::RecordDecl::fields(), findDecomposableBaseClass(), clang::ActionResult< PtrTy, Compress >::get(), clang::DeclAccessPair::getAccess(), clang::DeclAccessPair::getDecl(), clang::Decl::getLocation(), clang::ASTContext::getQualifiedType(), clang::QualType::getQualifiers(), clang::ASTContext::getRecordType(), clang::Sema::ImpCastExprToType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::CXXRecordDecl::isLambda(), clang::Type::isUnionType(), clang::DeclAccessPair::make(), clang::CXXRecordDecl::MergeAccess(), clang::Qualifiers::removeConst(), clang::Sema::RequireCompleteType(), and clang::VK_LValue.
Referenced by clang::Sema::CheckCompleteDecompositionDeclaration().
|
static |
Definition at line 10875 of file SemaDeclCXX.cpp.
References clang::SemaBase::Diag(), clang::DeclSpec::forEachQualifier(), clang::Declarator::getFunctionTypeInfo(), clang::DeclaratorChunk::FunctionTypeInfo::hasMethodTypeQualifiers(), clang::Declarator::isInvalidType(), clang::DeclaratorChunk::FunctionTypeInfo::MethodQualifiers, and clang::Declarator::setInvalidType().
Referenced by clang::Sema::CheckConstructorDeclarator(), and clang::Sema::CheckDestructorDeclarator().
|
static |
Check if we're implicitly defining a move assignment operator for a class with virtual bases.
Such a move assignment might move-assign the virtual base multiple times.
Definition at line 15390 of file SemaDeclCXX.cpp.
References clang::Class, clang::SemaBase::Diag(), clang::Type::getAsCXXRecordDecl(), clang::CXXBaseSpecifier::getBeginLoc(), clang::CXXRecordDecl::getCanonicalDecl(), clang::Sema::SpecialMemberOverloadResult::getMethod(), clang::CXXBaseSpecifier::getSourceRange(), clang::CXXBaseSpecifier::getType(), clang::FunctionDecl::isDefaulted(), clang::CXXMethodDecl::isMoveAssignmentOperator(), clang::FunctionDecl::isTrivial(), clang::CXXBaseSpecifier::isVirtual(), clang::Sema::LookupSpecialMember(), and clang::MoveAssignment.
Referenced by clang::Sema::DefineImplicitMoveAssignment().
|
static |
Definition at line 16446 of file SemaDeclCXX.cpp.
References CheckOperatorNewDeleteDeclarationScope(), CheckOperatorNewDeleteTypes(), clang::Sema::Context, clang::SemaBase::Diag(), clang::ASTContext::getCanonicalType(), clang::Decl::getLocation(), clang::CXXMethodDecl::getParent(), clang::ASTContext::getPointerType(), clang::ASTContext::getRecordType(), clang::DeclContext::isDependentContext(), clang::FunctionDecl::isDestroyingOperatorDelete(), clang::Sema::isUsualDeallocationFunction(), clang::SemaBase::SemaRef, clang::ASTContext::VoidPtrTy, and clang::ASTContext::VoidTy.
Referenced by clang::Sema::CheckOverloadedOperatorDeclaration().
|
static |
Definition at line 16415 of file SemaDeclCXX.cpp.
References CheckOperatorNewDeleteDeclarationScope(), CheckOperatorNewDeleteTypes(), clang::Sema::Context, clang::SemaBase::Diag(), clang::ASTContext::getCanonicalType(), clang::NamedDecl::getDeclName(), clang::ParmVarDecl::getDefaultArgRange(), clang::Decl::getLocation(), clang::FunctionDecl::getParamDecl(), clang::ASTContext::getSizeType(), clang::ParmVarDecl::hasDefaultArg(), clang::SemaBase::SemaRef, and clang::ASTContext::VoidPtrTy.
Referenced by clang::Sema::CheckOverloadedOperatorDeclaration().
|
inlinestatic |
Definition at line 16315 of file SemaDeclCXX.cpp.
References clang::SemaBase::Diag(), clang::Decl::getDeclContext(), clang::NamedDecl::getDeclName(), clang::Decl::getLocation(), clang::DeclContext::getRedeclContext(), clang::FunctionDecl::getStorageClass(), clang::SC_Static, and clang::SemaBase::SemaRef.
Referenced by CheckOperatorDeleteDeclaration(), and CheckOperatorNewDeclaration().
|
inlinestatic |
Definition at line 16344 of file SemaDeclCXX.cpp.
References clang::Type::castAs(), clang::Sema::Context, clang::SemaBase::Diag(), clang::CanQual< T >::getAs(), clang::Type::getAs(), clang::ASTContext::getCanonicalType(), clang::NamedDecl::getDeclName(), clang::FunctionDecl::getDescribedFunctionTemplate(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::FunctionDecl::getNumParams(), clang::FunctionDecl::getParamDecl(), clang::ValueDecl::getType(), clang::CanQual< T >::getUnqualifiedType(), clang::Type::isDependentType(), RemoveAddressSpaceFromPtr(), and clang::SemaBase::SemaRef.
Referenced by CheckOperatorDeleteDeclaration(), and CheckOperatorNewDeclaration().
|
static |
Definition at line 974 of file SemaDeclCXX.cpp.
References clang::Sema::BuildDeclRefExpr(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Decl::getLocation(), clang::ActionResult< PtrTy, Compress >::isInvalid(), toString(), UINT_MAX, and clang::VK_LValue.
Referenced by checkArrayLikeDecomposition(), and checkComplexDecomposition().
|
static |
Check whether the members of a class type allow a special member to be trivial.
Definition at line 10134 of file SemaDeclCXX.cpp.
References checkTrivialClassMembers(), checkTrivialSubobjectCall(), clang::Sema::Context, clang::DefaultConstructor, clang::SemaBase::Diag(), clang::Sema::Diagnose, clang::RecordDecl::fields(), clang::Type::getAsCXXRecordDecl(), clang::ASTContext::getBaseElementType(), clang::QualType::getObjCLifetime(), clang::QualType::hasNonTrivialObjCLifetime(), and TSK_Field.
Referenced by checkTrivialClassMembers(), and clang::Sema::SpecialMemberIsTrivial().
|
static |
Check whether the special member selected for a given type would be trivial.
Definition at line 10081 of file SemaDeclCXX.cpp.
References clang::QualType::addConst(), clang::DefaultConstructor, clang::SemaBase::Diag(), clang::Sema::Diagnose, findTrivialSpecialMember(), findUserDeclaredCtor(), clang::Type::getAsCXXRecordDecl(), clang::QualType::getCVRQualifiers(), clang::Decl::getLocation(), clang::QualType::getUnqualifiedType(), clang::FunctionDecl::isUserProvided(), clang::Sema::SpecialMemberIsTrivial(), clang::Sema::TAH_IgnoreTrivialABI, and TSK_CompleteObject.
Referenced by checkTrivialClassMembers(), clang::Sema::DiagnoseNontrivial(), and clang::Sema::SpecialMemberIsTrivial().
|
static |
Definition at line 1229 of file SemaDeclCXX.cpp.
References clang::Sema::ActOnFinishFullExpr(), clang::TemplateArgumentListInfo::addArgument(), clang::Sema::BuildCallExpr(), clang::Sema::BuildDeclarationNameExpr(), clang::Sema::BuildDeclRefExpr(), clang::Sema::BuildMemberReferenceExpr(), clang::Sema::BuildReferenceType(), clang::Sema::CheckCompleteVariableDeclaration(), clang::Sema::Context, clang::VarDecl::Create(), clang::UnresolvedLookupExpr::Create(), clang::ImplicitCastExpr::Create(), clang::InitializationKind::CreateCopy(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Type::getAsCXXRecordDecl(), clang::Decl::getDeclContext(), clang::Preprocessor::getIdentifierInfo(), clang::Decl::getLexicalDeclContext(), clang::Decl::getLocation(), clang::TemplateParameterList::getParam(), clang::ASTContext::getSizeType(), clang::VarDecl::getStorageClass(), getTrivialIntegralTemplateArgument(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::VarDecl::getTSCSpec(), getTupleLikeElementType(), clang::ValueDecl::getType(), clang::Expr::getType(), clang::Init, clang::InitializedEntity::InitializeBinding(), clang::LookupResult::isAmbiguous(), clang::Sema::isCompleteType(), clang::VarDecl::isInlineSpecified(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Expr::isLValue(), clang::Type::isLValueReferenceType(), clang::QualType::isNull(), clang::Sema::LookupMemberName, clang::Sema::LookupQualifiedName(), clang::Sema::PP, clang::Seq, clang::TemplateParameterList::size(), clang::T, toString(), UINT_MAX, clang::VK_LValue, and clang::VK_XValue.
Referenced by clang::Sema::CheckCompleteDecompositionDeclaration().
|
static |
Definition at line 1024 of file SemaDeclCXX.cpp.
References checkArrayLikeDecomposition(), clang::Sema::Context, clang::VectorType::getElementType(), clang::VectorType::getNumElements(), clang::ASTContext::getQualifiedType(), and clang::QualType::getQualifiers().
Referenced by clang::Sema::CheckCompleteDecompositionDeclaration().
|
static |
Definition at line 5299 of file SemaDeclCXX.cpp.
References clang::Sema::BuildCXXDefaultInitExpr(), BuildImplicitMemberInitializer(), clang::Sema::checkInitializerLifetime(), clang::Sema::Context, clang::ActionResult< PtrTy, Compress >::get(), clang::Init, clang::InitializedEntity::InitializeMember(), isIncompleteOrZeroLengthArrayType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), and clang::SemaBase::SemaRef.
Referenced by clang::Sema::SetCtorInitializers().
|
static |
Definition at line 9230 of file SemaDeclCXX.cpp.
References clang::Sema::ImplicitExceptionSpecification::CalledStmt(), clang::Sema::Context, clang::ActionResult< PtrTy, Compress >::get(), clang::FunctionDecl::getBody(), clang::Decl::getEndLoc(), clang::DeclContext::getLexicalParent(), clang::Decl::getLocation(), clang::FunctionDecl::hasBody(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Decl::isInvalidDecl(), clang::SourceLocation::isValid(), clang::Sema::Scope, and clang::Sema::Unevaluated.
Referenced by computeImplicitExceptionSpec().
|
static |
Definition at line 13900 of file SemaDeclCXX.cpp.
References clang::Sema::Context, clang::Decl::getLocation(), clang::CXXMethodDecl::getParent(), clang::ASTContext::getRecordType(), clang::Decl::isInvalidDecl(), and clang::Sema::RequireCompleteType().
Referenced by computeImplicitExceptionSpec().
|
static |
Definition at line 7639 of file SemaDeclCXX.cpp.
References ComputeDefaultedComparisonExceptionSpec(), ComputeDefaultedSpecialMemberExceptionSpec(), clang::DefaultConstructor, and clang::Sema::getDefaultedFunctionKind().
Referenced by clang::Sema::EvaluateImplicitExceptionSpec().
|
static |
Convert \V to a string we can present to the user in a diagnostic \T is the type of the expression that has been evaluated into \V.
Definition at line 17238 of file SemaDeclCXX.cpp.
References clang::APValue::ComplexFloat, clang::APValue::ComplexInt, clang::Sema::Context, clang::APValue::Float, clang::Type::getAs(), clang::ASTContext::getIntWidth(), clang::APValue::Int, clang::Type::isBooleanType(), clang::APValue::LValue, clang::Sema::OS, clang::T, V, WriteCharTypePrefix(), and WriteCharValueForDiagnostic().
Referenced by clang::Sema::DiagnoseStaticAssertDetails().
|
static |
Determine whether the specified special member function would be constexpr if it were implicitly defined.
Definition at line 7496 of file SemaDeclCXX.cpp.
References clang::CXXRecordDecl::bases(), clang::Sema::Context, clang::CopyAssignment, clang::CopyConstructor, clang::DefaultConstructor, clang::CXXRecordDecl::defaultedDefaultConstructorIsConstexpr(), clang::CXXRecordDecl::defaultedDestructorIsConstexpr(), clang::Destructor, clang::RecordDecl::fields(), clang::Type::getAs(), clang::ASTContext::getBaseElementType(), clang::QualType::getCVRQualifiers(), clang::RecordType::getDecl(), clang::Sema::getLangOpts(), clang::CXXRecordDecl::getNumVBases(), clang::CXXRecordDecl::hasInClassInitializer(), clang::CXXRecordDecl::hasVariantMembers(), clang::Invalid, clang::CXXRecordDecl::isLiteral(), clang::TagDecl::isUnion(), clang::MoveAssignment, clang::MoveConstructor, and specialMemberIsConstexpr().
Referenced by clang::Sema::CheckExplicitlyDefaultedSpecialMember(), clang::Sema::DeclareImplicitCopyAssignment(), clang::Sema::DeclareImplicitCopyConstructor(), clang::Sema::DeclareImplicitDefaultConstructor(), clang::Sema::DeclareImplicitDestructor(), clang::Sema::DeclareImplicitMoveAssignment(), clang::Sema::DeclareImplicitMoveConstructor(), and clang::Sema::findInheritingConstructor().
|
static |
Definition at line 6844 of file SemaDeclCXX.cpp.
References clang::Sema::DefaultedFunctionKind::asComparison(), clang::Sema::DefaultedFunctionKind::asSpecialMember(), clang::CopyAssignment, clang::CopyConstructor, clang::DefaultConstructor, clang::Sema::DefineDefaultedComparison(), clang::Sema::DefineImplicitCopyAssignment(), clang::Sema::DefineImplicitCopyConstructor(), clang::Sema::DefineImplicitDefaultConstructor(), clang::Sema::DefineImplicitDestructor(), clang::Sema::DefineImplicitMoveAssignment(), clang::Sema::DefineImplicitMoveConstructor(), clang::Destructor, clang::Sema::getDefaultedFunctionKind(), clang::Invalid, clang::Sema::DefaultedFunctionKind::isComparison(), clang::MoveAssignment, and clang::MoveConstructor.
Referenced by clang::Sema::ActOnFinishCXXNonNestedClass(), clang::Sema::CheckCompletedCXXClass(), and clang::Sema::SetDeclDefaulted().
|
static |
Definition at line 18907 of file SemaDeclCXX.cpp.
References clang::C, DelegatingCycleHelper(), clang::SemaBase::Diag(), clang::CXXConstructorDecl::getCanonicalDecl(), clang::CXXConstructorDecl::getTargetConstructor(), clang::FunctionDecl::hasBody(), clang::CXXConstructorDecl::init_begin(), clang::Invalid, clang::Decl::isInvalidDecl(), and clang::Target.
Referenced by clang::Sema::CheckDelegatingCtorCycles(), and DelegatingCycleHelper().
|
static |
Definition at line 5603 of file SemaDeclCXX.cpp.
References AddInitializerToDiag(), clang::CXXRecordDecl::bases(), clang::Sema::Context, clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), clang::Sema::Diags, clang::RecordDecl::fields(), GetKeyForBase(), GetKeyForMember(), clang::Sema::getLangOpts(), clang::CXXCtorInitializer::getSourceLocation(), clang::Sema::getSourceManager(), clang::CXXCtorInitializer::getSourceRange(), clang::Lexer::getSourceText(), clang::CharSourceRange::getTokenRange(), clang::Init, clang::DiagnosticsEngine::isIgnored(), PopulateKeysForFields(), clang::SemaBase::SemaRef, and clang::CXXRecordDecl::vbases().
Referenced by clang::Sema::ActOnMemInitializers().
|
static |
Diagnose an implicit copy operation for a class which is odr-used, but which is deprecated because the class has a user-declared copy constructor, copy assignment operator, or destructor.
Definition at line 15038 of file SemaDeclCXX.cpp.
References clang::CXXRecordDecl::ctors(), clang::SemaBase::Diag(), clang::CXXRecordDecl::getDestructor(), clang::Decl::getLocation(), clang::CXXMethodDecl::getParent(), clang::CXXRecordDecl::hasUserDeclaredCopyAssignment(), clang::CXXRecordDecl::hasUserDeclaredCopyConstructor(), clang::CXXRecordDecl::hasUserDeclaredDestructor(), clang::Decl::isImplicit(), clang::FunctionDecl::isUserProvided(), and clang::CXXRecordDecl::methods().
Referenced by clang::Sema::DefineImplicitCopyAssignment(), and clang::Sema::DefineImplicitCopyConstructor().
|
static |
Definition at line 12199 of file SemaDeclCXX.cpp.
References clang::Sema::Declaration, clang::SemaBase::Diag(), clang::SourceRange::getBegin(), clang::TypoCorrection::getCorrectionRange(), clang::TypoCorrection::getFoundDecl(), clang::Module::getTopLevelModuleName(), int, and clang::Module::isExplicitGlobalModule().
Referenced by TryNamespaceTypoCorrection().
|
static |
Diagnose a mismatch in 'inline' qualifiers when a namespace is reopened.
Definition at line 11651 of file SemaDeclCXX.cpp.
References clang::FixItHint::CreateInsertion(), clang::SemaBase::Diag(), clang::Redeclarable< decl_type >::getFirstDecl(), clang::Decl::getLocation(), and clang::NamespaceDecl::isInline().
Referenced by clang::Sema::ActOnStartNamespaceDef().
|
static |
Definition at line 11153 of file SemaDeclCXX.cpp.
References clang::SourceRange::getBegin(), clang::SourceRange::getEnd(), clang::SourceLocation::isInvalid(), clang::SourceRange::isInvalid(), clang::SourceRange::setBegin(), and clang::SourceRange::setEnd().
Referenced by clang::Sema::CheckConversionDeclarator().
|
static |
Definition at line 11161 of file SemaDeclCXX.cpp.
References clang::SourceRange::getBegin(), clang::SourceLocation::isInvalid(), clang::SourceRange::setBegin(), and clang::SourceRange::setEnd().
Referenced by clang::Sema::CheckConversionDeclarator().
|
static |
Find the direct and/or virtual base specifiers that correspond to the given base type, for use in base initialization within a constructor.
Definition at line 4292 of file SemaDeclCXX.cpp.
References clang::CXXRecordDecl::bases(), clang::Sema::Context, clang::Decl::getLocation(), clang::ASTContext::getTypeDeclType(), clang::ASTContext::hasSameUnqualifiedType(), clang::Sema::IsDerivedFrom(), clang::CXXBaseSpecifier::isVirtual(), and clang::SemaBase::SemaRef.
Referenced by clang::Sema::BuildBaseInitializer(), and clang::Sema::BuildMemInitializer().
|
static |
Determine whether the given class is a base class of the given class, including looking at dependent bases.
Definition at line 2660 of file SemaDeclCXX.cpp.
References clang::Class.
Referenced by clang::Sema::CheckBaseSpecifier().
|
static |
Find the base class to decompose in a built-in decomposition of a class type.
This base class search is, unfortunately, not quite like any other that we perform anywhere else in C++.
Definition at line 1369 of file SemaDeclCXX.cpp.
References clang::CXXBasePath::Access, clang::AS_public, clang::Sema::BuildBasePathArray(), clang::Sema::CheckBaseClassAccess(), clang::Sema::Context, clang::SemaBase::Diag(), clang::Sema::getAmbiguousPathsDisplayString(), clang::Type::getAsCXXRecordDecl(), clang::ASTContext::getCanonicalType(), clang::ASTContext::getRecordType(), clang::CXXRecordDecl::hasDirectFields(), clang::ASTContext::hasSameType(), clang::CXXRecordDecl::lookupInBases(), clang::DeclAccessPair::make(), P, and Specifier.
Referenced by checkMemberDecomposition().
|
static |
Find the base specifier for a base class with the given type.
Definition at line 12777 of file SemaDeclCXX.cpp.
References clang::CXXRecordDecl::bases(), clang::Type::getCanonicalTypeUnqualified(), and clang::CanQual< T >::getUnqualifiedType().
Referenced by clang::Sema::CheckInheritingConstructorUsingDecl().
|
static |
Find the equality comparison functions that should be implicitly declared in a given class definition, per C++2a [class.compare.default]p3.
Definition at line 10591 of file SemaDeclCXX.cpp.
References clang::ASTContext::DeclarationNames, clang::DeclContextLookupResult::empty(), clang::CXXRecordDecl::friends(), clang::DeclarationNameTable::getCXXOperatorName(), clang::FunctionDecl::getOverloadedOperator(), clang::FunctionDecl::isExplicitlyDefaulted(), and clang::DeclContext::lookup().
Referenced by clang::Sema::AddImplicitlyDeclaredMembersToClass().
|
static |
Perform lookup for a special member of the specified kind, and determine whether it is trivial.
If the triviality can be determined without the lookup, skip it. This is intended for use when determining whether a special member of a containing object is trivial, and thus does not ever perform overload resolution for default constructors.
If Selected
is not NULL
, *Selected
will be filled in with the member that was most likely to be intended to be trivial, if any.
If ForCall
is true, look at CXXRecord::HasTrivialSpecialMembersForCall to determine whether the special member is trivial.
Definition at line 9925 of file SemaDeclCXX.cpp.
References clang::Sema::SpecialMemberOverloadResult::Ambiguous, clang::Qualifiers::Const, clang::CopyAssignment, clang::CopyConstructor, clang::CXXRecordDecl::ctors(), clang::Sema::DeclareImplicitDefaultConstructor(), clang::Sema::DeclareImplicitDestructor(), clang::DefaultConstructor, clang::Destructor, clang::CXXRecordDecl::getDestructor(), clang::Sema::SpecialMemberOverloadResult::getKind(), clang::Sema::SpecialMemberOverloadResult::getMethod(), clang::CXXRecordDecl::hasTrivialCopyAssignment(), clang::CXXRecordDecl::hasTrivialCopyConstructor(), clang::CXXRecordDecl::hasTrivialCopyConstructorForCall(), clang::CXXRecordDecl::hasTrivialDefaultConstructor(), clang::CXXRecordDecl::hasTrivialDestructor(), clang::CXXRecordDecl::hasTrivialDestructorForCall(), clang::Invalid, clang::FunctionDecl::isTrivial(), clang::FunctionDecl::isTrivialForCall(), clang::FunctionDecl::isUserProvided(), lookupCallFromSpecialMember(), clang::MoveAssignment, clang::MoveConstructor, clang::CXXRecordDecl::needsImplicitDefaultConstructor(), clang::CXXRecordDecl::needsImplicitDestructor(), clang::Sema::SpecialMemberOverloadResult::NoMemberOrDeleted, and clang::Sema::TAH_ConsiderTrivialABI.
Referenced by checkTrivialSubobjectCall().
|
static |
Definition at line 10053 of file SemaDeclCXX.cpp.
References clang::CXXRecordDecl::ctors(), clang::DeclContext::decls_begin(), and clang::DeclContext::decls_end().
Referenced by checkTrivialSubobjectCall().
|
static |
Definition at line 462 of file SemaDeclCXX.cpp.
References P, and clang::FunctionDecl::parameters().
Referenced by clang::Sema::ActOnFriendFunctionDecl(), and clang::Sema::MergeCXXFunctionDecl().
|
static |
Definition at line 7658 of file SemaDeclCXX.cpp.
References clang::Sema::Context, clang::EST_Unevaluated, clang::FunctionProtoType::ExtProtoInfo::ExceptionSpec, clang::FunctionProtoType::ExtProtoInfo::ExtInfo, clang::ASTContext::getDefaultCallingConvention(), clang::FunctionProtoType::ExceptionSpecInfo::SourceDecl, clang::FunctionProtoType::ExceptionSpecInfo::Type, and clang::FunctionType::ExtInfo::withCallingConv().
|
static |
Definition at line 5577 of file SemaDeclCXX.cpp.
References clang::Sema::Context, clang::ASTContext::getCanonicalType(), and clang::CanQual< T >::getTypePtr().
Referenced by DiagnoseBaseOrMemInitializerOrder(), and GetKeyForMember().
|
static |
Definition at line 5581 of file SemaDeclCXX.cpp.
References clang::Sema::Context, GetKeyForBase(), and clang::Member.
Referenced by clang::Sema::ActOnMemInitializers(), and DiagnoseBaseOrMemInitializerOrder().
|
inlinestatic |
getNamespaceDecl - Returns the namespace a decl represents.
If the decl is a namespace alias, returns the namespace it points to.
Definition at line 11844 of file SemaDeclCXX.cpp.
Referenced by clang::Sema::ActOnNamespaceAliasDef().
|
static |
Get diagnostic select index for tag kind for record diagnostic message.
WARNING: Indexes apply to particular diagnostics only!
Definition at line 1793 of file SemaDeclCXX.cpp.
References clang::Class, clang::Interface, and clang::Struct.
Referenced by clang::Sema::AttachBaseSpecifiers(), and clang::Sema::CheckConstexprFunctionDefinition().
|
static |
Definition at line 1124 of file SemaDeclCXX.cpp.
References clang::Sema::Context, clang::Sema::getTrivialTemplateArgumentLoc(), clang::ASTContext::MakeIntValue(), and clang::T.
Referenced by checkTupleLikeDecomposition(), and getTupleLikeElementType().
|
static |
Definition at line 1131 of file SemaDeclCXX.cpp.
References clang::Sema::getTrivialTemplateArgumentLoc(), and clang::T.
Referenced by getTupleLikeElementType(), and isTupleLike().
|
static |
Definition at line 1184 of file SemaDeclCXX.cpp.
References clang::TemplateArgumentListInfo::addArgument(), clang::Sema::Context, clang::SemaBase::Diag(), clang::LookupResult::empty(), clang::LookupResult::getAsSingle(), clang::Preprocessor::getIdentifierInfo(), clang::Decl::getLocation(), clang::ASTContext::getPrintingPolicy(), clang::LookupResult::getRepresentativeDecl(), clang::ASTContext::getSizeType(), getTrivialIntegralTemplateArgument(), getTrivialTypeTemplateArgument(), clang::ASTContext::getTypeDeclType(), clang::Sema::LookupOrdinaryName, lookupStdTypeTraitMember(), clang::Sema::PP, printTemplateArgs(), clang::LookupResult::suppressDiagnostics(), and clang::T.
Referenced by checkTupleLikeDecomposition().
|
static |
Determine whether the given list arguments contains exactly one "real" (non-default) argument.
Definition at line 16105 of file SemaDeclCXX.cpp.
Referenced by clang::Sema::BuildCXXConstructExpr().
Definition at line 3388 of file SemaDeclCXX.cpp.
References clang::Type::getAsCXXRecordDecl(), clang::Type::getBaseElementTypeUnsafe(), clang::ValueDecl::getType(), and clang::T.
Referenced by clang::Sema::ActOnCXXMemberDeclarator().
|
static |
Determine whether a using declaration considers the given declarations as "equivalent", e.g., if they are redeclarations of the same entity or are both typedefs of the same type.
Definition at line 12481 of file SemaDeclCXX.cpp.
References clang::Sema::Context, clang::Decl::getCanonicalDecl(), and clang::ASTContext::hasSameType().
Referenced by clang::Sema::CheckUsingShadowDecl().
|
static |
Determine whether the given type is an incomplete or zero-lenfgth array type.
Definition at line 5285 of file SemaDeclCXX.cpp.
References clang::Sema::Context, clang::ASTContext::getAsConstantArrayType(), clang::Type::isIncompleteArrayType(), and clang::T.
Referenced by CollectFieldInitializer(), and clang::Sema::MarkBaseAndMemberDestructorsReferenced().
Determine whether the given declaration is a global variable or static data member.
Definition at line 18558 of file SemaDeclCXX.cpp.
Referenced by clang::Sema::ActOnCXXEnterDeclInitializer(), and clang::Sema::ActOnCXXExitDeclInitializer().
|
static |
Definition at line 1137 of file SemaDeclCXX.cpp.
References clang::TemplateArgumentListInfo::addArgument(), clang::Sema::BuildDeclarationNameExpr(), clang::Sema::ConstantEvaluated, clang::Sema::Context, clang::SemaBase::Diag(), clang::LookupResult::empty(), clang::ActionResult< PtrTy, Compress >::get(), clang::Preprocessor::getIdentifierInfo(), clang::ASTContext::getPrintingPolicy(), getTrivialTypeTemplateArgument(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Sema::LookupOrdinaryName, lookupStdTypeTraitMember(), clang::Sema::PP, printTemplateArgs(), clang::T, and clang::Sema::VerifyIntegerConstantExpression().
Referenced by clang::Sema::CheckCompleteDecompositionDeclaration().
|
static |
Determine whether a using statement is in a context where it will be apply in all contexts.
Definition at line 12170 of file SemaDeclCXX.cpp.
References clang::Sema::CurContext, clang::DeclContext::getDeclKind(), clang::DeclContext::getParent(), and IsUsingDirectiveInToplevelContext().
Referenced by clang::Sema::ActOnUsingDirective(), and IsUsingDirectiveInToplevelContext().
|
static |
Determine whether a direct base class is a virtual base class.
Definition at line 12675 of file SemaDeclCXX.cpp.
References clang::CXXRecordDecl::bases(), and clang::CXXRecordDecl::getNumVBases().
Referenced by clang::Sema::BuildUsingShadowDecl().
|
static |
Look up the special member function that would be called by a special member function for a subobject of class type.
Class | The class type of the subobject. |
CSM | The kind of special member function. |
FieldQuals | If the subobject is a field, its cv-qualifiers. |
ConstRHS | True if this is a copy operation with a const object on its RHS, that is, if the argument to the outer special member function is 'const' and this is not a field marked 'mutable'. |
Definition at line 7355 of file SemaDeclCXX.cpp.
References clang::Class, clang::Qualifiers::Const, clang::CopyAssignment, clang::DefaultConstructor, clang::Destructor, clang::Sema::LookupSpecialMember(), clang::MoveAssignment, and clang::Qualifiers::Volatile.
Referenced by findTrivialSpecialMember(), and specialMemberIsConstexpr().
|
static |
Perform the unqualified lookups that might be needed to form a defaulted comparison function for the given operator.
Definition at line 8822 of file SemaDeclCXX.cpp.
References clang::getRewrittenOverloadedOperator(), and clang::Self.
Referenced by clang::Sema::CheckExplicitlyDefaultedComparison().
|
static |
Definition at line 12101 of file SemaDeclCXX.cpp.
References clang::SemaBase::Diag(), clang::IdentifierTable::get(), clang::Preprocessor::getIdentifierTable(), clang::Decl::getLocation(), clang::TemplateParameterList::getMinRequiredArguments(), clang::TemplateParameterList::getParam(), clang::Sema::getStdNamespace(), clang::TemplateDecl::getTemplateParameters(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), clang::Sema::PP, clang::Result, and Std.
Referenced by clang::Sema::BuildStdInitializerList().
|
static |
Definition at line 1065 of file SemaDeclCXX.cpp.
References clang::Sema::CheckTemplateIdType(), clang::Sema::Context, clang::SemaBase::Diag(), clang::IdentifierTable::get(), clang::Type::getAsCXXRecordDecl(), clang::Preprocessor::getIdentifierTable(), clang::Decl::getLocation(), clang::ASTContext::getPrintingPolicy(), clang::Sema::getStdNamespace(), clang::TemplateDecl::getTemplateParameters(), clang::LookupResult::isAmbiguous(), clang::Sema::isCompleteType(), clang::QualType::isNull(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), clang::Sema::PP, printTemplateArgs(), clang::Sema::RequireCompleteType(), clang::Result, and Std.
Referenced by getTupleLikeElementType(), and isTupleLike().
|
static |
Recursively add the bases of Type. Don't add Type itself.
Definition at line 2905 of file SemaDeclCXX.cpp.
References clang::Sema::Context, clang::Type::getAs(), clang::ASTContext::getCanonicalType(), clang::CanQual< T >::getUnqualifiedType(), NoteIndirectBases(), and clang::Set.
Referenced by clang::Sema::AttachBaseSpecifiers(), and NoteIndirectBases().
|
static |
Definition at line 5565 of file SemaDeclCXX.cpp.
References clang::RecordDecl::fields(), clang::RecordDecl::isAnonymousStructOrUnion(), and PopulateKeysForFields().
Referenced by DiagnoseBaseOrMemInitializerOrder(), and PopulateKeysForFields().
|
static |
Definition at line 1046 of file SemaDeclCXX.cpp.
References clang::TemplateArgumentListInfo::arguments(), clang::First, clang::Sema::OS, and clang::TemplateParameterList::shouldIncludeTypeForArgument().
Referenced by getTupleLikeElementType(), isTupleLike(), and lookupStdTypeTraitMember().
|
static |
Definition at line 6289 of file SemaDeclCXX.cpp.
References clang::Class, clang::Sema::Consumer, clang::Sema::Context, clang::Sema::CodeSynthesisContext::Entity, clang::TargetInfo::getCXXABI(), clang::getDLLAttr(), clang::Attr::getKind(), clang::Attr::getLocation(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTriple(), clang::ASTConsumer::HandleTopLevelDecl(), clang::Sema::InstantiateDefaultCtorDefaultArgs(), clang::Attr::isInherited(), clang::TargetCXXABI::isMicrosoft(), clang::Sema::CodeSynthesisContext::Kind, clang::Sema::MarkFunctionReferenced(), clang::Sema::CodeSynthesisContext::MarkingClassDllexported, clang::Sema::MarkVariableReferenced(), clang::Sema::MarkVTableUsed(), clang::Member, clang::Sema::CodeSynthesisContext::PointOfInstantiation, clang::Sema::popCodeSynthesisContext(), clang::Sema::pushCodeSynthesisContext(), clang::SC_Static, clang::TSK_ExplicitInstantiationDeclaration, clang::TSK_ExplicitInstantiationDefinition, clang::TSK_ImplicitInstantiation, and clang::TSK_Undeclared.
Referenced by clang::Sema::referenceDLLExportedClassMethods().
Definition at line 5029 of file SemaDeclCXX.cpp.
References clang::ValueDecl::getType(), and clang::Type::isRValueReferenceType().
Referenced by BuildImplicitMemberInitializer().
|
static |
Definition at line 16334 of file SemaDeclCXX.cpp.
References clang::Sema::Context, clang::PointerType::getPointeeType(), clang::QualType::getQualifiers(), clang::QualType::getUnqualifiedType(), clang::Qualifiers::removeAddressSpace(), and clang::SemaBase::SemaRef.
Referenced by CheckOperatorNewDeleteTypes().
|
static |
Report an error regarding overriding, along with any relevant overridden methods.
DiagID | the primary error to report. |
MD | the overriding method. |
Definition at line 6996 of file SemaDeclCXX.cpp.
References clang::SemaBase::Diag(), clang::NamedDecl::getDeclName(), clang::Decl::getLocation(), and clang::CXXMethodDecl::overridden_methods().
Referenced by clang::Sema::CheckCompletedCXXClass().
Definition at line 18316 of file SemaDeclCXX.cpp.
References SearchForReturnInStmt(), and clang::Self.
Referenced by clang::Sema::DiagnoseReturnInConstructorExceptionHandler(), and SearchForReturnInStmt().
|
static |
Is the special member function which would be selected to perform the specified operation on the specified class type a constexpr constructor?
Definition at line 7461 of file SemaDeclCXX.cpp.
References clang::DefaultConstructor, clang::Destructor, clang::Sema::SpecialMemberOverloadResult::getMethod(), clang::CXXRecordDecl::hasConstexprDefaultConstructor(), clang::CXXRecordDecl::hasConstexprDestructor(), clang::FunctionDecl::isConstexpr(), and lookupCallFromSpecialMember().
Referenced by defaultedSpecialMemberIsConstexpr().
|
static |
Definition at line 12217 of file SemaDeclCXX.cpp.
References clang::LookupResult::addDecl(), clang::LookupResult::clear(), clang::Sema::computeDeclContext(), clang::Sema::CorrectTypo(), clang::Sema::CTK_ErrorRecovery, DiagnoseInvisibleNamespace(), clang::Sema::diagnoseTypo(), clang::Sema::getLangOpts(), clang::LookupResult::getLookupKind(), clang::LookupResult::getLookupNameInfo(), clang::IdentifierInfo::getName(), clang::CXXScopeSpec::getRange(), and clang::Sema::PDiag().
Referenced by clang::Sema::ActOnNamespaceAliasDef(), and clang::Sema::ActOnUsingDirective().
Some Expression types are not useful to print notes about, e.g.
literals and values that have already been expanded before such as int-valued template parameters.
Definition at line 17330 of file SemaDeclCXX.cpp.
References clang::Expr::IgnoreParenImpCasts(), clang::isa(), and UsefulToPrintExpr().
Referenced by clang::Sema::DiagnoseStaticAssertDetails(), and UsefulToPrintExpr().
|
static |
Definition at line 17173 of file SemaDeclCXX.cpp.
References clang::Sema::OS.
Referenced by ConvertAPValueToString().
|
static |
Convert character's value, interpreted as a code unit, to a string.
The value needs to be zero-extended to 32-bits. FIXME: This assumes Unicode literal encodings
Definition at line 17199 of file SemaDeclCXX.cpp.
References clang::EscapeStringForDiagnostic(), clang::BuiltinType::getKind(), and clang::Sema::OS.
Referenced by ConvertAPValueToString().