#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/EvaluatedExprVisitor.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/Initialization.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/ParsedTemplate.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaInternal.h"
#include "clang/Sema/Template.h"
#include "llvm/ADT/ScopeExit.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/StringExtras.h"
#include <map>
#include <set>
#include "clang/AST/TypeLocNodes.def"
#include "clang/Basic/OperatorKinds.def"

Include dependency graph for SemaDeclCXX.cpp:

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. More...

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. More...

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. More...

static bool	CheckConstexprDestructorSubobjects (Sema &SemaRef, const CXXDestructorDecl *DD, Sema::CheckConstexprKind Kind)
	Determine whether a destructor cannot be constexpr due to. More...

static bool	CheckConstexprParameterTypes (Sema &SemaRef, const FunctionDecl *FD, Sema::CheckConstexprKind Kind)
	Check whether a function's parameter types are all literal types. More...

static bool	CheckConstexprReturnType (Sema &SemaRef, const FunctionDecl *FD, Sema::CheckConstexprKind Kind)
	Check whether a function's return type is a literal type. More...

static unsigned	getRecordDiagFromTagKind (TagTypeKind Tag)
	Get diagnostic select index for tag kind for record diagnostic message. More...

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. More...

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. More...

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. More...

static bool	CheckConstexprFunctionStmt (Sema &SemaRef, const FunctionDecl Dcl, Stmt S, SmallVectorImpl< SourceLocation > &ReturnStmts, SourceLocation &Cxx1yLoc, SourceLocation &Cxx2aLoc, Sema::CheckConstexprKind Kind)
	Check the provided statement is allowed in a constexpr function definition. More...

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. More...

static void	NoteIndirectBases (ASTContext &Context, IndirectBaseSet &Set, const QualType &Type)
	Recursively add the bases of Type. Don't add Type itself. More...

static void	BuildBasePathArray (const CXXBasePath &Path, CXXCastPath &BasePathArray)

static bool	InitializationHasSideEffects (const FieldDecl &FD)

static const ParsedAttr *	getMSPropertyAttr (const ParsedAttributesView &list)

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. More...

static Expr *	CastForMoving (Sema &SemaRef, Expr *E, QualType T=QualType())

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. More...

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. More...

static void	CheckAbstractClassUsage (AbstractUsageInfo &Info, VarDecl *VD)
	Check for invalid uses of an abstract type in a variable0 declaration. More...

static void	CheckAbstractClassUsage (AbstractUsageInfo &Info, CXXRecordDecl *RD)
	Check for invalid uses of an abstract type within a class definition. More...

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. More...

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. More...

static Sema::SpecialMemberOverloadResult	lookupCallFromSpecialMember (Sema &S, CXXRecordDecl *Class, Sema::CXXSpecialMember 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. More...

static bool	specialMemberIsConstexpr (Sema &S, CXXRecordDecl ClassDecl, Sema::CXXSpecialMember 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? More...

static bool	defaultedSpecialMemberIsConstexpr (Sema &S, CXXRecordDecl ClassDecl, Sema::CXXSpecialMember 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. More...

static Sema::ImplicitExceptionSpecification	ComputeDefaultedSpecialMemberExceptionSpec (Sema &S, SourceLocation Loc, CXXMethodDecl MD, Sema::CXXSpecialMember 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. More...

static bool	findTrivialSpecialMember (Sema &S, CXXRecordDecl RD, Sema::CXXSpecialMember 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. More...

static CXXConstructorDecl *	findUserDeclaredCtor (CXXRecordDecl *RD)

static bool	checkTrivialSubobjectCall (Sema &S, SourceLocation SubobjLoc, QualType SubType, bool ConstRHS, Sema::CXXSpecialMember CSM, TrivialSubobjectKind Kind, Sema::TrivialABIHandling TAH, bool Diagnose)
	Check whether the special member selected for a given type would be trivial. More...

static bool	checkTrivialClassMembers (Sema &S, CXXRecordDecl *RD, Sema::CXXSpecialMember CSM, bool ConstArg, Sema::TrivialABIHandling TAH, bool Diagnose)
	Check whether the members of a class type allow a special member to be trivial. More...

static void	AddMostOverridenMethods (const CXXMethodDecl MD, llvm::SmallPtrSetImpl< const CXXMethodDecl > &Methods)
	Add the most overridden methods from MD to Methods. More...

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. More...

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. More...

static NamespaceDecl *	getNamespaceDecl (NamedDecl *D)
	getNamespaceDecl - Returns the namespace a decl represents. More...

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. More...

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. More...

static bool	isVirtualDirectBase (CXXRecordDecl Derived, CXXRecordDecl Base)
	Determine whether a direct base class is a virtual base class. More...

static CXXBaseSpecifier *	findDirectBaseWithType (CXXRecordDecl *Derived, QualType DesiredBase, bool &AnyDependentBases)
	Find the base specifier for a base class with the given type. More...

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. More...

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`. More...

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. More...

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. More...

static bool	hasOneRealArgument (MultiExprArg Args)
	Determine whether the given list arguments contains exactly one "real" (non-default) argument. More...

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	SearchForReturnInStmt (Sema &Self, Stmt *S)

static bool	isNonlocalVariable (const Decl *D)
	Determine whether the given declaration is a global variable or static data member. More...

static void	DelegatingCycleHelper (CXXConstructorDecl Ctor, llvm::SmallPtrSet< CXXConstructorDecl , 4 > &Valid, llvm::SmallPtrSet< CXXConstructorDecl , 4 > &Invalid, llvm::SmallPtrSet< CXXConstructorDecl , 4 > &Current, Sema &S)

Macro Definition Documentation

◆ ABSTRACT_TYPELOC

#define ABSTRACT_TYPELOC	(	CLASS,
		PARENT
	)

◆ CheckPolymorphic

#define CheckPolymorphic ( Type )

Value:

  void Check(Type TL, Sema::AbstractDiagSelID Sel) { \
    Visit(TL.getNextTypeLoc(), Sema::AbstractNone); \
  }

Definition at line 5855 of file SemaDeclCXX.cpp.

◆ OVERLOADED_OPERATOR

#define OVERLOADED_OPERATOR	(	Name,
		Spelling,
		Token,
		Unary,
		Binary,
		MemberOnly
	)	, { Unary, Binary, MemberOnly }

◆ TYPELOC

#define TYPELOC	(	CLASS,
		PARENT
	)	case TypeLoc::CLASS: Check(TL.castAs<CLASS##TypeLoc>(), Sel); break;

Typedef Documentation

◆ IndirectBaseSet

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 2666 of file SemaDeclCXX.cpp.

Enumeration Type Documentation

◆ ImplicitInitializerKind

enum ImplicitInitializerKind

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 4634 of file SemaDeclCXX.cpp.

◆ TrivialSubobjectKind

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 9579 of file SemaDeclCXX.cpp.

Function Documentation

◆ AddInitializerToDiag()

static void AddInitializerToDiag	(	const Sema::SemaDiagnosticBuilder &	Diag,
		const CXXCtorInitializer *	Previous,
		const CXXCtorInitializer *	Current
	)

static

Definition at line 5279 of file SemaDeclCXX.cpp.

Referenced by DiagnoseBaseOrMemInitializerOrder().

◆ AddMostOverridenMethods()

static void AddMostOverridenMethods	(	const CXXMethodDecl *	MD,
		llvm::SmallPtrSetImpl< const CXXMethodDecl * > &	Methods
	)

static

Add the most overridden methods from MD to Methods.

Definition at line 9910 of file SemaDeclCXX.cpp.

References clang::CXXMethodDecl::getCanonicalDecl(), clang::CXXMethodDecl::overridden_methods(), and clang::CXXMethodDecl::size_overridden_methods().

◆ BuildBasePathArray()

static void BuildBasePathArray	(	const CXXBasePath &	Path,
		CXXCastPath &	BasePathArray
	)

static

Definition at line 2856 of file SemaDeclCXX.cpp.

◆ BuildImplicitBaseInitializer()

static bool BuildImplicitBaseInitializer	(	Sema &	SemaRef,
		CXXConstructorDecl *	Constructor,
		ImplicitInitializerKind	ImplicitInitKind,
		CXXBaseSpecifier *	BaseSpec,
		bool	IsInheritedVirtualBase,
		CXXCtorInitializer *&	CXXBaseInit
	)

static

Definition at line 4642 of file SemaDeclCXX.cpp.

References CastForMoving(), clang::Sema::Context, clang::DeclRefExpr::Create(), clang::InitializationKind::CreateDefault(), clang::InitializationKind::CreateDirect(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::ActionResult< PtrTy, CompressInvalid >::getAs(), clang::QualType::getNonReferenceType(), clang::ASTContext::getQualifiedType(), clang::QualType::getQualifiers(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::CXXBaseSpecifier::getType(), clang::ValueDecl::getType(), clang::QualType::getUnqualifiedType(), IIK_Copy, IIK_Default, IIK_Inherit, IIK_Move, clang::Sema::ImpCastExprToType(), clang::InitializedEntity::InitializeBase(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::CXXBaseSpecifier::isVirtual(), clang::Sema::MarkDeclRefReferenced(), clang::Sema::MaybeCreateExprWithCleanups(), clang::InitializationSequence::Perform(), clang::VK_LValue, and clang::VK_XValue.

Referenced by clang::Sema::SetCtorInitializers().

◆ BuildImplicitMemberInitializer()

static bool BuildImplicitMemberInitializer	(	Sema &	SemaRef,
		CXXConstructorDecl *	Constructor,
		ImplicitInitializerKind	ImplicitInitKind,
		FieldDecl *	Field,
		IndirectFieldDecl *	Indirect,
		CXXCtorInitializer *&	CXXMemberInit
	)

static

Definition at line 4725 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::Sema::Diag(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::ActionResult< PtrTy, CompressInvalid >::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, CompressInvalid >::isInvalid(), clang::Type::isRecordType(), clang::Type::isReferenceType(), clang::Sema::LookupMemberName, clang::Sema::MarkDeclRefReferenced(), clang::Sema::MaybeCreateExprWithCleanups(), clang::InitializationSequence::Perform(), RefersToRValueRef(), clang::LookupResult::resolveKind(), and clang::VK_LValue.

Referenced by CollectFieldInitializer().

◆ buildMemcpyForAssignmentOp()

static StmtResult buildMemcpyForAssignmentOp	(	Sema &	S,
		SourceLocation	Loc,
		QualType	T,
		const ExprBuilder &	ToB,
		const ExprBuilder &	FromB
	)

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 13960 of file SemaDeclCXX.cpp.

◆ buildSingleCopyAssign()

static StmtResult buildSingleCopyAssign	(	Sema &	S,
		SourceLocation	Loc,
		QualType	T,
		const ExprBuilder &	To,
		const ExprBuilder &	From,
		bool	CopyingBaseSubobject,
		bool	Copying
	)

static

Definition at line 14232 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::DefineImplicitCopyAssignment(), and clang::Sema::DefineImplicitMoveAssignment().

◆ buildSingleCopyAssignRecursively()

static StmtResult buildSingleCopyAssignRecursively	(	Sema &	S,
		SourceLocation	Loc,
		QualType	T,
		const ExprBuilder &	To,
		const ExprBuilder &	From,
		bool	CopyingBaseSubobject,
		bool	Copying,
		unsigned	Depth = `0`
	)

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.

Parameters

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.

Returns: A statement or a loop that copies the expressions, or StmtResult(0) if a memcpy should be used instead.

Definition at line 14040 of file SemaDeclCXX.cpp.

◆ canPassInRegisters()

static bool canPassInRegisters	(	Sema &	S,
		CXXRecordDecl *	D,
		TargetInfo::CallingConvKind	CCK
	)

static

Determine whether a type is permitted to be passed or returned in registers, per C++ [class.temporary]p3.

Definition at line 6547 of file SemaDeclCXX.cpp.

Referenced by clang::TextNodeDumper::VisitCXXRecordDecl().

◆ CastForMoving()

static Expr* CastForMoving	(	Sema &	SemaRef,
		Expr *	E,
		QualType	T = `QualType()`
	)

static

Definition at line 4619 of file SemaDeclCXX.cpp.

References clang::Sema::BuildCXXNamedCast(), clang::Sema::BuildReferenceType(), clang::Sema::Context, clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::Stmt::getBeginLoc(), clang::Stmt::getSourceRange(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::Expr::getType(), and clang::QualType::isNull().

Referenced by BuildImplicitBaseInitializer(), and BuildImplicitMemberInitializer().

◆ CheckAbstractClassUsage() [1/3]

static void CheckAbstractClassUsage	(	AbstractUsageInfo &	Info,
		CXXRecordDecl *	RD
	)

static

Check for invalid uses of an abstract type within a class definition.

Definition at line 5935 of file SemaDeclCXX.cpp.

References clang::Sema::AbstractFieldType, CheckAbstractClassUsage(), clang::DeclContext::decls(), clang::TypeSourceInfo::getTypeLoc(), and clang::DeclaratorDecl::getTypeSourceInfo().

◆ CheckAbstractClassUsage() [2/3]

static void CheckAbstractClassUsage	(	AbstractUsageInfo &	Info,
		FunctionDecl *	FD
	)

static

Check for invalid uses of an abstract type in a function declaration.

Definition at line 5908 of file SemaDeclCXX.cpp.

References clang::Sema::AbstractNone, clang::FunctionDecl::doesThisDeclarationHaveABody(), clang::TypeSourceInfo::getTypeLoc(), and clang::DeclaratorDecl::getTypeSourceInfo().

Referenced by CheckAbstractClassUsage().

◆ CheckAbstractClassUsage() [3/3]

static void CheckAbstractClassUsage	(	AbstractUsageInfo &	Info,
		VarDecl *	VD
	)

static

Check for invalid uses of an abstract type in a variable0 declaration.

Definition at line 5923 of file SemaDeclCXX.cpp.

References clang::Sema::AbstractVariableType, clang::TypeSourceInfo::getTypeLoc(), clang::DeclaratorDecl::getTypeSourceInfo(), and clang::VarDecl::isThisDeclarationADefinition().

◆ checkArrayDecomposition()

static bool checkArrayDecomposition	(	Sema &	S,
		ArrayRef< BindingDecl * >	Bindings,
		ValueDecl *	Src,
		QualType	DecompType,
		const ConstantArrayType *	CAT
	)

static

Definition at line 947 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::CheckCompleteDecompositionDeclaration().

◆ checkArrayLikeDecomposition()

static bool checkArrayLikeDecomposition	(	Sema &	S,
		ArrayRef< BindingDecl * >	Bindings,
		ValueDecl *	Src,
		QualType	DecompType,
		const llvm::APSInt &	NumElems,
		QualType	ElemType
	)

static

Definition at line 932 of file SemaDeclCXX.cpp.

◆ checkComplexDecomposition()

static bool checkComplexDecomposition	(	Sema &	S,
		ArrayRef< BindingDecl * >	Bindings,
		ValueDecl *	Src,
		QualType	DecompType,
		const ComplexType *	CT
	)

static

Definition at line 964 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::CheckCompleteDecompositionDeclaration().

◆ CheckConstexprCtorInitializer()

static bool CheckConstexprCtorInitializer	(	Sema &	SemaRef,
		const FunctionDecl *	Dcl,
		FieldDecl *	Field,
		llvm::SmallSet< Decl *, 16 > &	Inits,
		bool &	Diagnosed,
		Sema::CheckConstexprKind	Kind
	)

static

Check that the given field is initialized within a constexpr constructor.

Parameters

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.

Returns: false if we're checking for validity and the constructor does not satisfy the requirements on a constexpr constructor.

Definition at line 1965 of file SemaDeclCXX.cpp.

References clang::Sema::CheckValid, clang::Sema::Diag(), clang::Sema::Diagnose, clang::RecordDecl::fields(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), and clang::TagDecl::isUnion().

Referenced by CheckConstexprFunctionBody().

◆ CheckConstexprDeclStmt()

static bool CheckConstexprDeclStmt	(	Sema &	SemaRef,
		const FunctionDecl *	Dcl,
		DeclStmt *	DS,
		SourceLocation &	Cxx1yLoc,
		Sema::CheckConstexprKind	Kind
	)

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.

Returns: true if the body is OK (maybe only as an extension), false if we have diagnosed a problem.

Definition at line 1822 of file SemaDeclCXX.cpp.

References CheckLiteralType(), clang::DeclStmt::decls(), clang::Sema::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(), and clang::VarDecl::TLS_Dynamic.

◆ CheckConstexprDestructorSubobjects()

static bool CheckConstexprDestructorSubobjects	(	Sema &	SemaRef,
		const CXXDestructorDecl *	DD,
		Sema::CheckConstexprKind	Kind
	)

static

Determine whether a destructor cannot be constexpr due to.

Definition at line 1650 of file SemaDeclCXX.cpp.

References clang::CXXRecordDecl::bases(), clang::Sema::Diag(), clang::Sema::Diagnose, clang::RecordDecl::fields(), clang::FunctionDecl::getConstexprKind(), clang::Decl::getLocation(), clang::CXXMethodDecl::getParent(), and clang::CXXRecordDecl::hasConstexprDestructor().

Referenced by clang::Sema::CheckConstexprFunctionDefinition().

◆ CheckConstexprFunctionBody()

static bool CheckConstexprFunctionBody	(	Sema &	SemaRef,
		const FunctionDecl *	Dcl,
		Stmt *	Body,
		Sema::CheckConstexprKind	Kind
	)

static

Check the body for the given constexpr function declaration only contains the permitted types of statement.

C++11 [dcl.constexpr]p3,p4.

Returns: true if the body is OK, false if we have found or diagnosed a problem.

Definition at line 2168 of file SemaDeclCXX.cpp.

References CheckConstexprCtorInitializer(), CheckConstexprFunctionStmt(), clang::Sema::CheckValid, clang::Stmt::children(), clang::Sema::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::CXXRecordDecl::getNumBases(), clang::CXXRecordDecl::getNumVBases(), clang::FunctionDecl::getReturnType(), clang::CXXRecordDecl::hasVariantMembers(), clang::FunctionDecl::isConsteval(), clang::Type::isDependentType(), clang::Expr::isPotentialConstantExpr(), clang::TagDecl::isUnion(), clang::SourceLocation::isValid(), and clang::Type::isVoidType().

Referenced by clang::Sema::CheckConstexprFunctionDefinition().

◆ CheckConstexprFunctionStmt()

static bool CheckConstexprFunctionStmt	(	Sema &	SemaRef,
		const FunctionDecl *	Dcl,
		Stmt *	S,
		SmallVectorImpl< SourceLocation > &	ReturnStmts,
		SourceLocation &	Cxx1yLoc,
		SourceLocation &	Cxx2aLoc,
		Sema::CheckConstexprKind	Kind
	)

static

Check the provided statement is allowed in a constexpr function definition.

Definition at line 2021 of file SemaDeclCXX.cpp.

Referenced by CheckConstexprFunctionBody().

◆ CheckConstexprParameterTypes()

static bool CheckConstexprParameterTypes	(	Sema &	SemaRef,
		const FunctionDecl *	FD,
		Sema::CheckConstexprKind	Kind
	)

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 1681 of file SemaDeclCXX.cpp.

References clang::Type::castAs(), CheckLiteralType(), clang::Decl::getLocation(), clang::FunctionDecl::getParamDecl(), clang::ParmVarDecl::getSourceRange(), clang::ValueDecl::getType(), and clang::FunctionDecl::isConsteval().

Referenced by clang::Sema::CheckConstexprFunctionDefinition().

◆ CheckConstexprReturnType()

static bool CheckConstexprReturnType	(	Sema &	SemaRef,
		const FunctionDecl *	FD,
		Sema::CheckConstexprKind	Kind
	)

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 1702 of file SemaDeclCXX.cpp.

References CheckLiteralType(), clang::Decl::getLocation(), clang::FunctionDecl::getReturnType(), and clang::FunctionDecl::isConsteval().

Referenced by clang::Sema::CheckConstexprFunctionDefinition().

◆ checkCUDADeviceBuiltinSurfaceClassTemplate()

static void checkCUDADeviceBuiltinSurfaceClassTemplate	(	Sema &	S,
		CXXRecordDecl *	Class
	)

static

Definition at line 6103 of file SemaDeclCXX.cpp.

◆ checkCUDADeviceBuiltinTextureClassTemplate()

static void checkCUDADeviceBuiltinTextureClassTemplate	(	Sema &	S,
		CXXRecordDecl *	Class
	)

static

Definition at line 6157 of file SemaDeclCXX.cpp.

◆ checkForMultipleExportedDefaultConstructors()

static void checkForMultipleExportedDefaultConstructors	(	Sema &	S,
		CXXRecordDecl *	Class
	)

static

Definition at line 6065 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::ActOnFinishCXXMemberDecls().

◆ checkLiteralOperatorTemplateParameterList()

static bool checkLiteralOperatorTemplateParameterList	(	Sema &	SemaRef,
		FunctionTemplateDecl *	TpDecl
	)

static

◆ CheckLiteralType()

template<typename... Ts>

static bool CheckLiteralType	(	Sema &	SemaRef,
		Sema::CheckConstexprKind	Kind,
		SourceLocation	Loc,
		QualType	T,
		unsigned	DiagID,
		Ts &&...	DiagArgs
	)

static

Check that the given type is a literal type.

Issue a diagnostic if not, if Kind is Diagnose.

Returns: true if a problem has been found (and optionally diagnosed).

Definition at line 1631 of file SemaDeclCXX.cpp.

References clang::Sema::CheckValid, clang::Sema::Context, clang::Sema::Diagnose, clang::Type::isDependentType(), clang::Type::isLiteralType(), and clang::Sema::RequireLiteralType().

Referenced by CheckConstexprDeclStmt(), CheckConstexprParameterTypes(), and CheckConstexprReturnType().

◆ checkMemberDecomposition()

static bool checkMemberDecomposition	(	Sema &	S,
		ArrayRef< BindingDecl * >	Bindings,
		ValueDecl *	Src,
		QualType	DecompType,
		const CXXRecordDecl *	OrigRD
	)

static

Definition at line 1370 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::CheckCompleteDecompositionDeclaration().

◆ checkMethodTypeQualifiers()

static void checkMethodTypeQualifiers	(	Sema &	S,
		Declarator &	D,
		unsigned	DiagID
	)

static

Definition at line 10362 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::CheckConstructorDeclarator(), and clang::Sema::CheckDestructorDeclarator().

◆ checkMoveAssignmentForRepeatedMove()

static void checkMoveAssignmentForRepeatedMove	(	Sema &	S,
		CXXRecordDecl *	Class,
		SourceLocation	CurrentLocation
	)

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 14672 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::DefineImplicitMoveAssignment().

◆ CheckOperatorDeleteDeclaration()

static bool CheckOperatorDeleteDeclaration	(	Sema &	SemaRef,
		FunctionDecl *	FnDecl
	)

static

Definition at line 15776 of file SemaDeclCXX.cpp.

References CheckOperatorNewDeleteDeclarationScope(), CheckOperatorNewDeleteTypes(), clang::Sema::Context, clang::Sema::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::ASTContext::VoidPtrTy, and clang::ASTContext::VoidTy.

Referenced by clang::Sema::CheckOverloadedOperatorDeclaration().

◆ CheckOperatorNewDeclaration()

static bool CheckOperatorNewDeclaration	(	Sema &	SemaRef,
		const FunctionDecl *	FnDecl
	)

static

Definition at line 15745 of file SemaDeclCXX.cpp.

References CheckOperatorNewDeleteDeclarationScope(), CheckOperatorNewDeleteTypes(), clang::Sema::Context, clang::Sema::Diag(), clang::ASTContext::getCanonicalType(), clang::NamedDecl::getDeclName(), clang::ParmVarDecl::getDefaultArgRange(), clang::Decl::getLocation(), clang::FunctionDecl::getParamDecl(), clang::ASTContext::getSizeType(), clang::ParmVarDecl::hasDefaultArg(), and clang::ASTContext::VoidPtrTy.

Referenced by clang::Sema::CheckOverloadedOperatorDeclaration().

◆ CheckOperatorNewDeleteDeclarationScope()

static bool CheckOperatorNewDeleteDeclarationScope	(	Sema &	SemaRef,
		const FunctionDecl *	FnDecl
	)

inlinestatic

Definition at line 15645 of file SemaDeclCXX.cpp.

References clang::Sema::Diag(), clang::Decl::getDeclContext(), clang::NamedDecl::getDeclName(), clang::Decl::getLocation(), clang::DeclContext::getRedeclContext(), clang::FunctionDecl::getStorageClass(), and clang::SC_Static.

Referenced by CheckOperatorDeleteDeclaration(), and CheckOperatorNewDeclaration().

◆ CheckOperatorNewDeleteTypes()

static bool CheckOperatorNewDeleteTypes	(	Sema &	SemaRef,
		const FunctionDecl *	FnDecl,
		CanQualType	ExpectedResultType,
		CanQualType	ExpectedFirstParamType,
		unsigned	DependentParamTypeDiag,
		unsigned	InvalidParamTypeDiag
	)

inlinestatic

◆ checkSimpleDecomposition()

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

Definition at line 905 of file SemaDeclCXX.cpp.

◆ checkTrivialClassMembers()

static bool checkTrivialClassMembers	(	Sema &	S,
		CXXRecordDecl *	RD,
		Sema::CXXSpecialMember	CSM,
		bool	ConstArg,
		Sema::TrivialABIHandling	TAH,
		bool	Diagnose
	)

static

Check whether the members of a class type allow a special member to be trivial.

Definition at line 9640 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::SpecialMemberIsTrivial().

◆ checkTrivialSubobjectCall()

static bool checkTrivialSubobjectCall	(	Sema &	S,
		SourceLocation	SubobjLoc,
		QualType	SubType,
		bool	ConstRHS,
		Sema::CXXSpecialMember	CSM,
		TrivialSubobjectKind	Kind,
		Sema::TrivialABIHandling	TAH,
		bool	Diagnose
	)

static

Check whether the special member selected for a given type would be trivial.

Definition at line 9589 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::DiagnoseNontrivial(), and clang::Sema::SpecialMemberIsTrivial().

◆ checkTupleLikeDecomposition()

static bool checkTupleLikeDecomposition	(	Sema &	S,
		ArrayRef< BindingDecl * >	Bindings,
		VarDecl *	Src,
		QualType	DecompType,
		const llvm::APSInt &	TupleSize
	)

static

Definition at line 1160 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::CheckCompleteDecompositionDeclaration().

◆ checkVectorDecomposition()

static bool checkVectorDecomposition	(	Sema &	S,
		ArrayRef< BindingDecl * >	Bindings,
		ValueDecl *	Src,
		QualType	DecompType,
		const VectorType *	VT
	)

static

Definition at line 955 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::CheckCompleteDecompositionDeclaration().

◆ CollectFieldInitializer()

static bool CollectFieldInitializer	(	Sema &	SemaRef,
		BaseAndFieldInfo &	Info,
		FieldDecl *	Field,
		IndirectFieldDecl *	Indirect = `nullptr`
	)

static

Definition at line 4989 of file SemaDeclCXX.cpp.

References clang::Sema::BuildCXXDefaultInitExpr(), BuildImplicitMemberInitializer(), clang::Sema::checkInitializerLifetime(), clang::Sema::Context, clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::InitializedEntity::InitializeMember(), isIncompleteOrZeroLengthArrayType(), and clang::ActionResult< PtrTy, CompressInvalid >::isInvalid().

Referenced by clang::Sema::SetCtorInitializers().

◆ ComputeDefaultedComparisonExceptionSpec()

static Sema::ImplicitExceptionSpecification ComputeDefaultedComparisonExceptionSpec	(	Sema &	S,
		SourceLocation	Loc,
		FunctionDecl *	FD,
		Sema::DefaultedComparisonKind	DCK
	)

static

Definition at line 8758 of file SemaDeclCXX.cpp.

◆ ComputeDefaultedSpecialMemberExceptionSpec()

static Sema::ImplicitExceptionSpecification ComputeDefaultedSpecialMemberExceptionSpec	(	Sema &	S,
		SourceLocation	Loc,
		CXXMethodDecl *	MD,
		Sema::CXXSpecialMember	CSM,
		Sema::InheritedConstructorInfo *	ICI
	)

static

Definition at line 13208 of file SemaDeclCXX.cpp.

◆ computeImplicitExceptionSpec()

static Sema::ImplicitExceptionSpecification computeImplicitExceptionSpec	(	Sema &	S,
		SourceLocation	Loc,
		FunctionDecl *	FD
	)

static

Definition at line 7291 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::EvaluateImplicitExceptionSpec().

◆ defaultedSpecialMemberIsConstexpr()

static bool defaultedSpecialMemberIsConstexpr	(	Sema &	S,
		CXXRecordDecl *	ClassDecl,
		Sema::CXXSpecialMember	CSM,
		bool	ConstArg,
		CXXConstructorDecl *	InheritedCtor = `nullptr`,
		Sema::InheritedConstructorInfo *	Inherited = `nullptr`
	)

static

Determine whether the specified special member function would be constexpr if it were implicitly defined.

Definition at line 7154 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::CheckExplicitlyDefaultedSpecialMember(), clang::Sema::DeclareImplicitCopyAssignment(), clang::Sema::DeclareImplicitCopyConstructor(), clang::Sema::DeclareImplicitDefaultConstructor(), clang::Sema::DeclareImplicitDestructor(), clang::Sema::DeclareImplicitMoveAssignment(), and clang::Sema::DeclareImplicitMoveConstructor().

◆ DefineDefaultedFunction()

static void DefineDefaultedFunction	(	Sema &	S,
		FunctionDecl *	FD,
		SourceLocation	DefaultLoc
	)

static

Definition at line 6514 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::ActOnFinishCXXNonNestedClass(), and clang::Sema::SetDeclDefaulted().

◆ DelegatingCycleHelper()

static void DelegatingCycleHelper	(	CXXConstructorDecl *	Ctor,
		llvm::SmallPtrSet< CXXConstructorDecl *, 4 > &	Valid,
		llvm::SmallPtrSet< CXXConstructorDecl *, 4 > &	Invalid,
		llvm::SmallPtrSet< CXXConstructorDecl *, 4 > &	Current,
		Sema &	S
	)

static

Definition at line 17853 of file SemaDeclCXX.cpp.

◆ DiagnoseBaseOrMemInitializerOrder()

static void DiagnoseBaseOrMemInitializerOrder	(	Sema &	SemaRef,
		const CXXConstructorDecl *	Constructor,
		ArrayRef< CXXCtorInitializer * >	Inits
	)

static

◆ diagnoseDeprecatedCopyOperation()

static void diagnoseDeprecatedCopyOperation	(	Sema &	S,
		CXXMethodDecl *	CopyOp
	)

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 14337 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::DefineImplicitCopyAssignment(), and clang::Sema::DefineImplicitCopyConstructor().

◆ DiagnoseNamespaceInlineMismatch()

static void DiagnoseNamespaceInlineMismatch	(	Sema &	S,
		SourceLocation	KeywordLoc,
		SourceLocation	Loc,
		IdentifierInfo *	II,
		bool *	IsInline,
		NamespaceDecl *	PrevNS
	)

static

Diagnose a mismatch in 'inline' qualifiers when a namespace is reopened.

Definition at line 11022 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::ActOnStartNamespaceDef().

◆ extendLeft()

static void extendLeft	(	SourceRange &	R,
		SourceRange	Before
	)

static

Definition at line 10640 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().

◆ extendRight()

static void extendRight	(	SourceRange &	R,
		SourceRange	After
	)

static

Definition at line 10648 of file SemaDeclCXX.cpp.

References clang::frontend::After, clang::SourceRange::getBegin(), clang::SourceLocation::isInvalid(), clang::SourceRange::setBegin(), and clang::SourceRange::setEnd().

Referenced by clang::Sema::CheckConversionDeclarator().

◆ FindBaseInitializer()

static bool FindBaseInitializer	(	Sema &	SemaRef,
		CXXRecordDecl *	ClassDecl,
		QualType	BaseType,
		const CXXBaseSpecifier *&	DirectBaseSpec,
		const CXXBaseSpecifier *&	VirtualBaseSpec
	)

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 4042 of file SemaDeclCXX.cpp.

References clang::CXXRecordDecl::bases(), clang::Sema::Context, and clang::ASTContext::hasSameUnqualifiedType().

Referenced by clang::Sema::BuildBaseInitializer().

◆ findCircularInheritance()

static bool findCircularInheritance	(	const CXXRecordDecl *	Class,
		const CXXRecordDecl *	Current
	)

static

Determine whether the given class is a base class of the given class, including looking at dependent bases.

Definition at line 2432 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::CheckBaseSpecifier().

◆ findDecomposableBaseClass()

static DeclAccessPair findDecomposableBaseClass	(	Sema &	S,
		SourceLocation	Loc,
		const CXXRecordDecl *	RD,
		CXXCastPath &	BasePath
	)

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 1299 of file SemaDeclCXX.cpp.

◆ findDirectBaseWithType()

static CXXBaseSpecifier* findDirectBaseWithType	(	CXXRecordDecl *	Derived,
		QualType	DesiredBase,
		bool &	AnyDependentBases
	)

static

Find the base specifier for a base class with the given type.

Definition at line 12086 of file SemaDeclCXX.cpp.

References clang::CXXRecordDecl::bases(), clang::Type::getCanonicalTypeUnqualified(), and clang::CanQual< T >::getUnqualifiedType().

Referenced by clang::Sema::CheckInheritingConstructorUsingDecl().

◆ findImplicitlyDeclaredEqualityComparisons()

static void findImplicitlyDeclaredEqualityComparisons	(	ASTContext &	Ctx,
		CXXRecordDecl *	RD,
		llvm::SmallVectorImpl< FunctionDecl * > &	Spaceships
	)

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 10078 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().

◆ findTrivialSpecialMember()

static bool findTrivialSpecialMember	(	Sema &	S,
		CXXRecordDecl *	RD,
		Sema::CXXSpecialMember	CSM,
		unsigned	Quals,
		bool	ConstRHS,
		Sema::TrivialABIHandling	TAH,
		CXXMethodDecl **	Selected
	)

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 9434 of file SemaDeclCXX.cpp.

◆ findUserDeclaredCtor()

static CXXConstructorDecl* findUserDeclaredCtor ( CXXRecordDecl * RD )

static

Definition at line 9561 of file SemaDeclCXX.cpp.

References clang::CXXRecordDecl::ctors(), clang::DeclContext::decls_begin(), and clang::DeclContext::decls_end().

◆ functionDeclHasDefaultArgument()

static bool functionDeclHasDefaultArgument ( const FunctionDecl * FD )

static

Definition at line 438 of file SemaDeclCXX.cpp.

References P, and clang::FunctionDecl::parameters().

◆ getImplicitMethodEPI()

static FunctionProtoType::ExtProtoInfo getImplicitMethodEPI	(	Sema &	S,
		CXXMethodDecl *	MD
	)

static

Definition at line 7310 of file SemaDeclCXX.cpp.

◆ GetKeyForBase()

static const void* GetKeyForBase	(	ASTContext &	Context,
		QualType	BaseType
	)

static

Definition at line 5267 of file SemaDeclCXX.cpp.

References clang::Sema::Context, clang::ASTContext::getCanonicalType(), and clang::CanQual< T >::getTypePtr().

Referenced by DiagnoseBaseOrMemInitializerOrder(), and GetKeyForMember().

◆ GetKeyForMember()

static const void* GetKeyForMember	(	ASTContext &	Context,
		CXXCtorInitializer *	Member
	)

static

Definition at line 5271 of file SemaDeclCXX.cpp.

References clang::Sema::Context, GetKeyForBase(), and clang::Member.

Referenced by clang::Sema::ActOnMemInitializers(), and DiagnoseBaseOrMemInitializerOrder().

◆ getMSPropertyAttr()

static const ParsedAttr* getMSPropertyAttr ( const ParsedAttributesView & list )

static

Definition at line 3163 of file SemaDeclCXX.cpp.

References clang::ParsedAttributesView::end(), and clang::ParsedAttr::isDeclspecPropertyAttribute().

◆ getNamespaceDecl()

static NamespaceDecl* getNamespaceDecl ( NamedDecl * D )

inlinestatic

getNamespaceDecl - Returns the namespace a decl represents.

If the decl is a namespace alias, returns the namespace it points to.

Definition at line 11187 of file SemaDeclCXX.cpp.

◆ getRecordDiagFromTagKind()

static unsigned getRecordDiagFromTagKind ( TagTypeKind Tag )

static

Get diagnostic select index for tag kind for record diagnostic message.

WARNING: Indexes apply to particular diagnostics only!

Returns: diagnostic select index.

Definition at line 1716 of file SemaDeclCXX.cpp.

References clang::TTK_Class, clang::TTK_Interface, and clang::TTK_Struct.

Referenced by clang::Sema::AttachBaseSpecifiers(), and clang::Sema::CheckConstexprFunctionDefinition().

◆ getTrivialIntegralTemplateArgument()

static TemplateArgumentLoc getTrivialIntegralTemplateArgument	(	Sema &	S,
		SourceLocation	Loc,
		QualType	T,
		uint64_t	I
	)

static

Definition at line 1055 of file SemaDeclCXX.cpp.

◆ getTrivialTypeTemplateArgument()

static TemplateArgumentLoc getTrivialTypeTemplateArgument	(	Sema &	S,
		SourceLocation	Loc,
		QualType	T
	)

static

Definition at line 1062 of file SemaDeclCXX.cpp.

◆ getTupleLikeElementType()

static QualType getTupleLikeElementType	(	Sema &	S,
		SourceLocation	Loc,
		unsigned	I,
		QualType	T
	)

static

Returns: std::tuple_element<I, T>::type.

Definition at line 1115 of file SemaDeclCXX.cpp.

◆ hasOneRealArgument()

static bool hasOneRealArgument ( MultiExprArg Args )

static

Determine whether the given list arguments contains exactly one "real" (non-default) argument.

Definition at line 15357 of file SemaDeclCXX.cpp.

◆ InitializationHasSideEffects()

static bool InitializationHasSideEffects ( const FieldDecl & FD )

static

Definition at line 3153 of file SemaDeclCXX.cpp.

References clang::Type::getAsCXXRecordDecl(), clang::Type::getBaseElementTypeUnsafe(), and clang::ValueDecl::getType().

◆ IsEquivalentForUsingDecl()

static bool IsEquivalentForUsingDecl	(	ASTContext &	Context,
		NamedDecl *	D1,
		NamedDecl *	D2
	)

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 11790 of file SemaDeclCXX.cpp.

References clang::Sema::Context, clang::Decl::getCanonicalDecl(), and clang::ASTContext::hasSameType().

Referenced by clang::Sema::CheckUsingShadowDecl().

◆ isIncompleteOrZeroLengthArrayType()

static bool isIncompleteOrZeroLengthArrayType	(	ASTContext &	Context,
		QualType	T
	)

static

Determine whether the given type is an incomplete or zero-lenfgth array type.

Definition at line 4975 of file SemaDeclCXX.cpp.

References clang::Sema::Context, clang::ASTContext::getAsConstantArrayType(), and clang::Type::isIncompleteArrayType().

Referenced by CollectFieldInitializer(), and clang::Sema::MarkBaseAndMemberDestructorsReferenced().

◆ isNonlocalVariable()

static bool isNonlocalVariable ( const Decl * D )

static

Determine whether the given declaration is a global variable or static data member.

Definition at line 17508 of file SemaDeclCXX.cpp.

◆ isTupleLike()

static IsTupleLike isTupleLike	(	Sema &	S,
		SourceLocation	Loc,
		QualType	T,
		llvm::APSInt &	Size
	)

static

Definition at line 1068 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::CheckCompleteDecompositionDeclaration().

◆ IsUsingDirectiveInToplevelContext()

static bool IsUsingDirectiveInToplevelContext ( DeclContext * CurContext )

static

Determine whether a using statement is in a context where it will be apply in all contexts.

Definition at line 11516 of file SemaDeclCXX.cpp.

References clang::Sema::CurContext, clang::DeclContext::getDeclKind(), and clang::DeclContext::getParent().

◆ isVirtualDirectBase()

static bool isVirtualDirectBase	(	CXXRecordDecl *	Derived,
		CXXRecordDecl *	Base
	)

static

Determine whether a direct base class is a virtual base class.

Definition at line 11984 of file SemaDeclCXX.cpp.

References clang::CXXRecordDecl::bases(), and clang::CXXRecordDecl::getNumVBases().

◆ lookupCallFromSpecialMember()

static Sema::SpecialMemberOverloadResult lookupCallFromSpecialMember	(	Sema &	S,
		CXXRecordDecl *	Class,
		Sema::CXXSpecialMember	CSM,
		unsigned	FieldQuals,
		bool	ConstRHS
	)

static

Look up the special member function that would be called by a special member function for a subobject of class type.

Parameters

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 7018 of file SemaDeclCXX.cpp.

◆ lookupOperatorsForDefaultedComparison()

static void lookupOperatorsForDefaultedComparison	(	Sema &	Self,
		Scope *	S,
		UnresolvedSetImpl &	Operators,
		OverloadedOperatorKind	Op
	)

static

Perform the unqualified lookups that might be needed to form a defaulted comparison function for the given operator.

Definition at line 8410 of file SemaDeclCXX.cpp.

◆ LookupStdInitializerList()

static ClassTemplateDecl* LookupStdInitializerList	(	Sema &	S,
		SourceLocation	Loc
	)

static

Definition at line 11449 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::BuildStdInitializerList().

◆ lookupStdTypeTraitMember()

static bool lookupStdTypeTraitMember	(	Sema &	S,
		LookupResult &	TraitMemberLookup,
		SourceLocation	Loc,
		StringRef	Trait,
		TemplateArgumentListInfo &	Args,
		unsigned	DiagID
	)

static

Definition at line 996 of file SemaDeclCXX.cpp.

◆ NoteIndirectBases()

static void NoteIndirectBases	(	ASTContext &	Context,
		IndirectBaseSet &	Set,
		const QualType &	Type
	)

static

Recursively add the bases of Type. Don't add Type itself.

Definition at line 2670 of file SemaDeclCXX.cpp.

References clang::Sema::Context, clang::Type::getAs(), clang::ASTContext::getCanonicalType(), and clang::CanQual< T >::getUnqualifiedType().

Referenced by clang::Sema::AttachBaseSpecifiers().

◆ PopulateKeysForFields()

static void PopulateKeysForFields	(	FieldDecl *	Field,
		SmallVectorImpl< const void * > &	IdealInits
	)

static

Definition at line 5255 of file SemaDeclCXX.cpp.

References clang::RecordDecl::fields(), and clang::RecordDecl::isAnonymousStructOrUnion().

Referenced by DiagnoseBaseOrMemInitializerOrder().

◆ printTemplateArgs()

static std::string printTemplateArgs	(	const PrintingPolicy &	PrintingPolicy,
		TemplateArgumentListInfo &	Args,
		const TemplateParameterList *	Params
	)

static

Definition at line 977 of file SemaDeclCXX.cpp.

References clang::TemplateArgumentListInfo::arguments(), clang::First, clang::TemplateParameterList::shouldIncludeTypeForArgument(), and string().

◆ ReferenceDllExportedMembers()

static void ReferenceDllExportedMembers	(	Sema &	S,
		CXXRecordDecl *	Class
	)

static

Definition at line 5970 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::referenceDLLExportedClassMethods().

◆ RefersToRValueRef()

static bool RefersToRValueRef ( Expr * MemRef )

static

Definition at line 4719 of file SemaDeclCXX.cpp.

References clang::ValueDecl::getType(), and clang::Type::isRValueReferenceType().

Referenced by BuildImplicitMemberInitializer().

◆ RemoveAddressSpaceFromPtr()

static CanQualType RemoveAddressSpaceFromPtr	(	Sema &	SemaRef,
		const PointerType *	PtrTy
	)

static

Definition at line 15664 of file SemaDeclCXX.cpp.

References clang::Sema::Context, clang::PointerType::getPointeeType(), clang::QualType::getQualifiers(), clang::QualType::getUnqualifiedType(), and clang::Qualifiers::removeAddressSpace().

Referenced by CheckOperatorNewDeleteTypes().

◆ ReportOverrides()

static bool ReportOverrides	(	Sema &	S,
		unsigned	DiagID,
		const CXXMethodDecl *	MD,
		llvm::function_ref< bool(const CXXMethodDecl *)>	Report
	)

static

Report an error regarding overriding, along with any relevant overridden methods.

Parameters

DiagID	the primary error to report.
MD	the overriding method.

Definition at line 6665 of file SemaDeclCXX.cpp.

◆ SearchForReturnInStmt()

static void SearchForReturnInStmt	(	Sema &	Self,
		Stmt *	S
	)

static

Definition at line 17303 of file SemaDeclCXX.cpp.

Referenced by clang::Sema::DiagnoseReturnInConstructorExceptionHandler().

◆ specialMemberIsConstexpr()

static bool specialMemberIsConstexpr	(	Sema &	S,
		CXXRecordDecl *	ClassDecl,
		Sema::CXXSpecialMember	CSM,
		unsigned	Quals,
		bool	ConstRHS,
		CXXConstructorDecl *	InheritedCtor = `nullptr`,
		Sema::InheritedConstructorInfo *	Inherited = `nullptr`
	)

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 7123 of file SemaDeclCXX.cpp.

◆ TryNamespaceTypoCorrection()

static bool TryNamespaceTypoCorrection	(	Sema &	S,
		LookupResult &	R,
		Scope *	Sc,
		CXXScopeSpec &	SS,
		SourceLocation	IdentLoc,
		IdentifierInfo *	Ident
	)

static

Definition at line 11545 of file SemaDeclCXX.cpp.

Classes

Macros

Typedefs

Enumerations

Functions

Macro Definition Documentation

◆ ABSTRACT_TYPELOC

◆ CheckPolymorphic

◆ OVERLOADED_OPERATOR

◆ TYPELOC

Typedef Documentation

◆ IndirectBaseSet

Enumeration Type Documentation

◆ ImplicitInitializerKind

◆ TrivialSubobjectKind

Function Documentation

◆ AddInitializerToDiag()

◆ AddMostOverridenMethods()

◆ BuildBasePathArray()

◆ BuildImplicitBaseInitializer()

◆ BuildImplicitMemberInitializer()

◆ buildMemcpyForAssignmentOp()

◆ buildSingleCopyAssign()

◆ buildSingleCopyAssignRecursively()

◆ canPassInRegisters()

◆ CastForMoving()

◆ CheckAbstractClassUsage() [1/3]

◆ CheckAbstractClassUsage() [2/3]

◆ CheckAbstractClassUsage() [3/3]

◆ checkArrayDecomposition()

◆ checkArrayLikeDecomposition()

◆ checkComplexDecomposition()

◆ CheckConstexprCtorInitializer()

◆ CheckConstexprDeclStmt()

◆ CheckConstexprDestructorSubobjects()

◆ CheckConstexprFunctionBody()

◆ CheckConstexprFunctionStmt()

◆ CheckConstexprParameterTypes()

◆ CheckConstexprReturnType()

◆ checkCUDADeviceBuiltinSurfaceClassTemplate()

◆ checkCUDADeviceBuiltinTextureClassTemplate()

◆ checkForMultipleExportedDefaultConstructors()

◆ checkLiteralOperatorTemplateParameterList()

◆ CheckLiteralType()

◆ checkMemberDecomposition()

◆ checkMethodTypeQualifiers()

◆ checkMoveAssignmentForRepeatedMove()

◆ CheckOperatorDeleteDeclaration()

◆ CheckOperatorNewDeclaration()

◆ CheckOperatorNewDeleteDeclarationScope()

◆ CheckOperatorNewDeleteTypes()

◆ checkSimpleDecomposition()

◆ checkTrivialClassMembers()

◆ checkTrivialSubobjectCall()

◆ checkTupleLikeDecomposition()

◆ checkVectorDecomposition()

◆ CollectFieldInitializer()

◆ ComputeDefaultedComparisonExceptionSpec()

◆ ComputeDefaultedSpecialMemberExceptionSpec()

◆ computeImplicitExceptionSpec()

◆ defaultedSpecialMemberIsConstexpr()

◆ DefineDefaultedFunction()

◆ DelegatingCycleHelper()

◆ DiagnoseBaseOrMemInitializerOrder()

◆ diagnoseDeprecatedCopyOperation()

◆ DiagnoseNamespaceInlineMismatch()

◆ extendLeft()

◆ extendRight()

◆ FindBaseInitializer()

◆ findCircularInheritance()

◆ findDecomposableBaseClass()

◆ findDirectBaseWithType()

◆ findImplicitlyDeclaredEqualityComparisons()

◆ findTrivialSpecialMember()

◆ findUserDeclaredCtor()

◆ functionDeclHasDefaultArgument()

◆ getImplicitMethodEPI()

◆ GetKeyForBase()

◆ GetKeyForMember()

◆ getMSPropertyAttr()