SemaDeclCXX.cpp File Reference

#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/PartialDiagnostic.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/STLExtras.h"
#include "llvm/ADT/SmallString.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:

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

Enumerations
enum	IsTupleLike
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...
enum	UnsupportedSTLSelect

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)
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)
static bool	CheckConstexprParameterTypes (Sema &SemaRef, const FunctionDecl *FD)
static unsigned	getRecordDiagFromTagKind (TagTypeKind Tag)
	Get diagnostic select index for tag kind for record diagnostic message. More...
static bool	CheckConstexprDeclStmt (Sema &SemaRef, const FunctionDecl *Dcl, DeclStmt *DS, SourceLocation &Cxx1yLoc)
	Check the given declaration statement is legal within a constexpr function body. More...
static void	CheckConstexprCtorInitializer (Sema &SemaRef, const FunctionDecl *Dcl, FieldDecl *Field, llvm::SmallSet< Decl *, 16 > &Inits, bool &Diagnosed)
	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)
	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	DiagnoseBaseOrMemInitializerOrder (Sema &SemaRef, const CXXConstructorDecl *Constructor, ArrayRef< CXXCtorInitializer *> Inits)
static void	CheckAbstractClassUsage (AbstractUsageInfo &Info, CXXMethodDecl *MD)
	Check for invalid uses of an abstract type in a method 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	DefineImplicitSpecialMember (Sema &S, CXXMethodDecl *MD, 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 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	computeImplicitExceptionSpec (Sema &S, SourceLocation Loc, CXXMethodDecl *MD)
static FunctionProtoType::ExtProtoInfo	getImplicitMethodEPI (Sema &S, CXXMethodDecl *MD)
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 overriden methods from MD to Methods. More...
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 QualType	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 5461 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 2407 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 4308 of file SemaDeclCXX.cpp.

IsTupleLike

enum IsTupleLike

strong

Definition at line 1019 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 7514 of file SemaDeclCXX.cpp.

UnsupportedSTLSelect

enum UnsupportedSTLSelect

Definition at line 9093 of file SemaDeclCXX.cpp.

Function Documentation

AddMostOverridenMethods()

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

static

Add the most overriden methods from MD to Methods.

Definition at line 7844 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 2595 of file SemaDeclCXX.cpp.

BuildImplicitBaseInitializer()

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

static

Definition at line 4316 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::Decl::getLocation(), clang::QualType::getNonReferenceType(), clang::FunctionDecl::getParamDecl(), 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::None, clang::VK_LValue, and clang::VK_XValue.

BuildImplicitMemberInitializer()

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

static

Definition at line 4399 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::NamedDecl::getDeclName(), clang::Decl::getLocation(), clang::QualType::getNonReferenceType(), clang::FunctionDecl::getParamDecl(), clang::CXXMethodDecl::getParent(), clang::FieldDecl::getParent(), clang::ASTContext::getTagDeclType(), clang::ValueDecl::getType(), clang::QualType::hasNonTrivialObjCLifetime(), IIK_Copy, IIK_Default, IIK_Inherit, IIK_Move, clang::InitializedEntity::InitializeMember(), clang::QualType::isConstQualified(), clang::Decl::isImplicit(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Decl::isInvalidDecl(), clang::Type::isRecordType(), clang::Type::isReferenceType(), clang::TagDecl::isUnion(), clang::FieldDecl::isZeroLengthBitField(), clang::Sema::LookupMemberName, clang::Sema::MarkDeclRefReferenced(), clang::Sema::MaybeCreateExprWithCleanups(), clang::None, clang::InitializationSequence::Perform(), RefersToRValueRef(), 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 11601 of file SemaDeclCXX.cpp.

References clang::Sema::BuildCallExpr(), clang::Sema::BuildDeclRefExpr(), clang::ASTContext::BuiltinFnTy, clang::Sema::Context, clang::IntegerLiteral::Create(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::IdentifierTable::get(), clang::ActionResult< PtrTy, CompressInvalid >::getAs(), clang::Type::getAs(), 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::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Type::isRecordType(), clang::ActionResult< PtrTy, CompressInvalid >::isUsable(), clang::Sema::LookupName(), clang::Sema::LookupOrdinaryName, clang::OK_Ordinary, clang::StmtError(), clang::Sema::TUScope, and clang::VK_RValue.

Referenced by buildSingleCopyAssign().

buildSingleCopyAssign()

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

static

Definition at line 11872 of file SemaDeclCXX.cpp.

References buildMemcpyForAssignmentOp(), buildSingleCopyAssignRecursively(), clang::Sema::Context, clang::Type::isArrayType(), clang::QualType::isConstQualified(), clang::QualType::isTriviallyCopyableType(), clang::QualType::isVolatileQualified(), and clang::Result.

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

References clang::Type::getAs().

Referenced by buildSingleCopyAssign().

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 5930 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::checkIllFormedTrivialABIStruct(), createDestructorDefinitionData(), and clang::TextNodeDumper::VisitCXXRecordDecl().

CastForMoving()

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

static

Definition at line 4293 of file SemaDeclCXX.cpp.

References clang::Sema::BuildCXXNamedCast(), clang::Sema::BuildReferenceType(), clang::Sema::Context, clang::Stmt::getBeginLoc(), clang::Stmt::getSourceRange(), clang::ASTContext::getTrivialTypeSourceInfo(), and clang::Expr::getType().

Referenced by BuildImplicitBaseInitializer(), and BuildImplicitMemberInitializer().

CheckAbstractClassUsage() [1/2]

static void CheckAbstractClassUsage ( AbstractUsageInfo &  Info, CXXMethodDecl *  MD  )

static

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

Definition at line 5513 of file SemaDeclCXX.cpp.

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

Referenced by CheckAbstractClassUsage(), and clang::Sema::CheckCompletedCXXClass().

CheckAbstractClassUsage() [2/2]

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

static

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

Definition at line 5528 of file SemaDeclCXX.cpp.

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

checkArrayDecomposition()

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

static

Definition at line 906 of file SemaDeclCXX.cpp.

References checkArrayLikeDecomposition(), clang::ArrayType::getElementType(), and clang::ConstantArrayType::getSize().

checkArrayLikeDecomposition()

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

static

Definition at line 891 of file SemaDeclCXX.cpp.

References clang::Sema::ActOnIntegerConstant(), checkSimpleDecomposition(), clang::Sema::CreateBuiltinArraySubscriptExpr(), clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::get(), and clang::ActionResult< PtrTy, CompressInvalid >::isInvalid().

Referenced by checkArrayDecomposition(), and checkVectorDecomposition().

checkComplexDecomposition()

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

static

Definition at line 923 of file SemaDeclCXX.cpp.

References checkSimpleDecomposition(), clang::Sema::Context, clang::Sema::CreateBuiltinUnaryOp(), clang::ComplexType::getElementType(), clang::ASTContext::getQualifiedType(), and clang::QualType::getQualifiers().

CheckConstexprCtorInitializer()

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

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	Set to true if an error is produced.

Definition at line 1796 of file SemaDeclCXX.cpp.

References clang::Type::castAs(), clang::Sema::Diag(), clang::RecordDecl::fields(), clang::Type::getAsCXXRecordDecl(), clang::Decl::getLocation(), clang::ValueDecl::getType(), clang::CXXRecordDecl::hasVariantMembers(), clang::FieldDecl::isAnonymousStructOrUnion(), clang::CXXRecordDecl::isEmpty(), clang::Decl::isInvalidDecl(), clang::TagDecl::isUnion(), clang::Type::isUnionType(), and clang::FieldDecl::isUnnamedBitfield().

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

CheckConstexprDeclStmt()

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

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

References clang::DeclStmt::decls(), clang::Sema::Diag(), clang::XRayInstrKind::Function, clang::TypeLoc::getBeginLoc(), clang::DeclStmt::getBeginLoc(), clang::Sema::getLangOpts(), clang::TypeLoc::getSourceRange(), clang::TypeLoc::getType(), clang::FunctionDecl::isConsteval(), clang::SourceLocation::isValid(), clang::Sema::RequireLiteralType(), and clang::VarDecl::TLS_Dynamic.

Referenced by CheckConstexprFunctionStmt().

CheckConstexprFunctionStmt()

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

static

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

Definition at line 1835 of file SemaDeclCXX.cpp.

References CheckConstexprDeclStmt(), clang::Stmt::getBeginLoc(), clang::Stmt::getStmtClass(), and clang::SourceLocation::isValid().

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

CheckConstexprParameterTypes()

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

static

Definition at line 1575 of file SemaDeclCXX.cpp.

References clang::Type::getAs(), clang::Decl::getLocation(), clang::FunctionDecl::getParamDecl(), clang::ParmVarDecl::getSourceRange(), clang::ValueDecl::getType(), i, clang::FunctionDecl::isConsteval(), clang::FunctionProtoType::param_type_begin(), clang::FunctionProtoType::param_type_end(), and clang::Sema::RequireLiteralType().

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

checkForMultipleExportedDefaultConstructors()

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

static

Definition at line 5625 of file SemaDeclCXX.cpp.

References clang::Sema::CheckCXXDefaultArgExpr(), clang::Sema::Context, clang::DeclContext::decls(), clang::Sema::Diag(), clang::Sema::DiscardCleanupsInEvaluationContext(), clang::TargetInfo::getCXXABI(), clang::Attr::getLocation(), clang::Decl::getLocation(), clang::ASTContext::getTargetInfo(), clang::DeclContext::isDependentContext(), and clang::TargetCXXABI::isMicrosoft().

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

checkLiteralOperatorTemplateParameterList()

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

static

Definition at line 13533 of file SemaDeclCXX.cpp.

References clang::ASTContext::CharTy, clang::Sema::Context, clang::Sema::Diag(), clang::Type::getAs(), clang::SourceRange::getBegin(), clang::TemplateTypeParmDecl::getDepth(), clang::TemplateTypeParmType::getDepth(), clang::TemplateTypeParmDecl::getIndex(), clang::TemplateTypeParmType::getIndex(), clang::Decl::getLocation(), clang::TemplateParameterList::getParam(), clang::TemplateParameterList::getSourceRange(), clang::TemplateDecl::getTemplateParameters(), clang::ValueDecl::getType(), clang::ASTContext::hasSameType(), clang::Sema::inTemplateInstantiation(), clang::Decl::isTemplateParameterPack(), and clang::TemplateParameterList::size().

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

checkMemberDecomposition()

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

static

Definition at line 1320 of file SemaDeclCXX.cpp.

References clang::Sema::BuildDeclRefExpr(), clang::Sema::BuildFieldReferenceExpr(), clang::Sema::BuildQualifiedType(), clang::Sema::CheckStructuredBindingMemberAccess(), clang::Sema::Context, clang::Sema::Diag(), findDecomposableBaseClass(), clang::ActionResult< PtrTy, CompressInvalid >::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, CompressInvalid >::isInvalid(), clang::Type::isUnionType(), clang::DeclAccessPair::make(), clang::CXXRecordDecl::MergeAccess(), clang::Qualifiers::removeConst(), clang::Sema::RequireCompleteType(), and clang::VK_LValue.

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

References clang::CXXRecordDecl::bases(), clang::Sema::CXXMoveAssignment, clang::Sema::Diag(), clang::Type::getAsCXXRecordDecl(), clang::CXXRecordDecl::getCanonicalDecl(), clang::Sema::SpecialMemberOverloadResult::getMethod(), clang::CXXRecordDecl::getNumBases(), clang::CXXRecordDecl::getNumVBases(), clang::CXXBaseSpecifier::getType(), clang::CXXRecordDecl::hasNonTrivialMoveAssignment(), clang::CXXRecordDecl::hasTrivialMoveAssignment(), clang::DeclContext::isDependentContext(), clang::CXXMethodDecl::isMoveAssignmentOperator(), clang::FunctionDecl::isTrivial(), clang::CXXBaseSpecifier::isVirtual(), and clang::Sema::LookupSpecialMember().

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

CheckOperatorDeleteDeclaration()

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

static

Definition at line 13354 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::if(), 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 13323 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 13234 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

Definition at line 13261 of file SemaDeclCXX.cpp.

References clang::Sema::Context, clang::Sema::Diag(), 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(), and RemoveAddressSpaceFromPtr().

Referenced by CheckOperatorDeleteDeclaration(), and CheckOperatorNewDeclaration().

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

Referenced by checkArrayLikeDecomposition(), and checkComplexDecomposition().

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

References checkTrivialSubobjectCall(), clang::Sema::Context, clang::Sema::CXXDefaultConstructor, clang::Sema::Diag(), clang::RecordDecl::fields(), clang::Type::getAsCXXRecordDecl(), clang::ASTContext::getBaseElementType(), clang::QualType::getObjCLifetime(), clang::QualType::hasNonTrivialObjCLifetime(), and TSK_Field.

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

References clang::QualType::addConst(), clang::Sema::CXXDefaultConstructor, clang::Sema::Diag(), findTrivialSpecialMember(), findUserDeclaredCtor(), clang::Type::getAsCXXRecordDecl(), clang::QualType::getCVRQualifiers(), clang::Decl::getLocation(), clang::QualType::getUnqualifiedType(), clang::CXXMethodDecl::isUserProvided(), clang::Sema::SpecialMemberIsTrivial(), clang::Sema::TAH_IgnoreTrivialABI, and TSK_CompleteObject.

Referenced by checkTrivialClassMembers().

checkTupleLikeDecomposition()

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

static

Definition at line 1112 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::Context, clang::VarDecl::Create(), clang::UnresolvedLookupExpr::Create(), clang::ImplicitCastExpr::Create(), clang::InitializationKind::CreateCopy(), clang::Sema::Diag(), clang::ActionResult< PtrTy, CompressInvalid >::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::InitializedEntity::InitializeBinding(), clang::Sema::isCompleteType(), clang::VarDecl::isInlineSpecified(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Type::isLValueReferenceType(), clang::QualType::isNull(), clang::Sema::LookupMemberName, clang::Sema::LookupQualifiedName(), clang::None, clang::InitializationSequence::Perform(), clang::Sema::PP, clang::Decl::setLexicalDeclContext(), clang::TemplateParameterList::size(), clang::VK_LValue, and clang::VK_XValue.

checkVectorDecomposition()

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

static

Definition at line 914 of file SemaDeclCXX.cpp.

References checkArrayLikeDecomposition(), clang::Sema::Context, clang::VectorType::getElementType(), clang::VectorType::getNumElements(), clang::ASTContext::getQualifiedType(), and clang::QualType::getQualifiers().

CollectFieldInitializer()

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

static

Definition at line 4663 of file SemaDeclCXX.cpp.

References clang::Sema::BuildCXXDefaultInitExpr(), BuildImplicitMemberInitializer(), clang::Sema::checkInitializerLifetime(), clang::Sema::Context, clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::FieldDecl::getCanonicalDecl(), clang::ValueDecl::getType(), clang::FieldDecl::hasInClassInitializer(), clang::InitializedEntity::InitializeMember(), isIncompleteOrZeroLengthArrayType(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), and clang::Decl::isInvalidDecl().

ComputeDefaultedSpecialMemberExceptionSpec()

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

static

Definition at line 10902 of file SemaDeclCXX.cpp.

References clang::Sema::Context, clang::Decl::getLocation(), clang::CXXMethodDecl::getParent(), clang::ASTContext::getRecordType(), clang::if(), clang::Decl::isInvalidDecl(), and clang::Sema::RequireCompleteType().

Referenced by computeImplicitExceptionSpec(), and defaultedSpecialMemberIsConstexpr().

computeImplicitExceptionSpec()

static Sema::ImplicitExceptionSpecification computeImplicitExceptionSpec ( Sema &  S, SourceLocation  Loc, CXXMethodDecl *  MD  )

static

Definition at line 6507 of file SemaDeclCXX.cpp.

References ComputeDefaultedSpecialMemberExceptionSpec(), clang::Sema::CXXDefaultConstructor, clang::Sema::CXXInvalid, and clang::Sema::getSpecialMember().

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

References clang::CXXRecordDecl::bases(), ComputeDefaultedSpecialMemberExceptionSpec(), clang::Sema::Context, clang::Sema::CXXCopyAssignment, clang::Sema::CXXCopyConstructor, clang::Sema::CXXDefaultConstructor, clang::Sema::CXXDestructor, clang::Sema::CXXInvalid, clang::Sema::CXXMoveAssignment, clang::Sema::CXXMoveConstructor, clang::CXXRecordDecl::defaultedDefaultConstructorIsConstexpr(), 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::CXXRecordDecl::isLiteral(), clang::TagDecl::isUnion(), and specialMemberIsConstexpr().

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

DefineImplicitSpecialMember()

static void DefineImplicitSpecialMember ( Sema &  S, CXXMethodDecl *  MD, SourceLocation  DefaultLoc  )

static

Definition at line 5901 of file SemaDeclCXX.cpp.

References clang::Sema::CXXCopyAssignment, clang::Sema::CXXCopyConstructor, clang::Sema::CXXDefaultConstructor, clang::Sema::CXXDestructor, clang::Sema::CXXInvalid, clang::Sema::CXXMoveAssignment, clang::Sema::CXXMoveConstructor, clang::Sema::DefineImplicitCopyAssignment(), clang::Sema::DefineImplicitCopyConstructor(), clang::Sema::DefineImplicitDefaultConstructor(), clang::Sema::DefineImplicitDestructor(), clang::Sema::DefineImplicitMoveAssignment(), clang::Sema::DefineImplicitMoveConstructor(), and clang::Sema::getSpecialMember().

Referenced by 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 15349 of file SemaDeclCXX.cpp.

DiagnoseBaseOrMemInitializerOrder()

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

static

Definition at line 4953 of file SemaDeclCXX.cpp.

References clang::CXXRecordDecl::bases(), clang::Sema::Context, clang::Sema::Diag(), clang::Sema::Diags, clang::RecordDecl::fields(), clang::CXXCtorInitializer::getAnyMember(), clang::CXXCtorInitializer::getBaseClass(), clang::Decl::getDeclContext(), clang::NamedDecl::getDeclName(), GetKeyForBase(), GetKeyForMember(), clang::CXXMethodDecl::getParent(), clang::FieldDecl::getParent(), clang::CXXCtorInitializer::getSourceLocation(), clang::CXXCtorInitializer::getSourceRange(), clang::TypeSourceInfo::getType(), clang::CXXCtorInitializer::getTypeSourceInfo(), clang::RecordDecl::isAnonymousStructOrUnion(), clang::CXXCtorInitializer::isAnyMemberInitializer(), clang::DeclContext::isDependentContext(), clang::DiagnosticsEngine::isIgnored(), clang::TagDecl::isUnion(), Parent, PopulateKeysForFields(), and clang::CXXRecordDecl::vbases().

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

References clang::Sema::Diag(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::CXXMethodDecl::getParent(), and clang::Decl::isImplicit().

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

References clang::FixItHint::CreateInsertion(), clang::DeclContext::decls(), clang::Sema::Diag(), clang::Decl::getLocation(), clang::NamedDecl::getMostRecentDecl(), clang::IdentifierInfo::getName(), clang::DeclContext::getParent(), clang::Decl::getPreviousDecl(), clang::Sema::getSourceManager(), clang::NamespaceDecl::isInline(), clang::SourceManager::isInSystemHeader(), and clang::DeclContext::makeDeclVisibleInContext().

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

extendLeft()

static void extendLeft ( SourceRange &  R, SourceRange  Before  )

static

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

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

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

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

References clang::AS_public, clang::Type::getAsCXXRecordDecl(), clang::CXXBaseSpecifier::getType(), clang::CXXRecordDecl::hasDirectFields(), and Specifier.

Referenced by checkMemberDecomposition().

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

References clang::CXXRecordDecl::bases(), clang::Type::getCanonicalTypeUnqualified(), and clang::CXXBaseSpecifier::getType().

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

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

References clang::Sema::SpecialMemberOverloadResult::Ambiguous, clang::Qualifiers::Const, clang::CXXRecordDecl::ctors(), clang::Sema::CXXCopyAssignment, clang::Sema::CXXCopyConstructor, clang::Sema::CXXDefaultConstructor, clang::Sema::CXXDestructor, clang::Sema::CXXInvalid, clang::Sema::CXXMoveAssignment, clang::Sema::CXXMoveConstructor, clang::Sema::DeclareImplicitDefaultConstructor(), clang::Sema::DeclareImplicitDestructor(), 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::FunctionDecl::isTrivial(), clang::FunctionDecl::isTrivialForCall(), clang::CXXMethodDecl::isUserProvided(), lookupCallFromSpecialMember(), clang::CXXRecordDecl::needsImplicitDefaultConstructor(), clang::CXXRecordDecl::needsImplicitDestructor(), clang::Sema::SpecialMemberOverloadResult::NoMemberOrDeleted, and clang::Sema::TAH_ConsiderTrivialABI.

Referenced by checkTrivialSubobjectCall().

findUserDeclaredCtor()

static CXXConstructorDecl* findUserDeclaredCtor ( CXXRecordDecl *  RD )

static

Definition at line 7496 of file SemaDeclCXX.cpp.

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

Referenced by checkTrivialSubobjectCall().

functionDeclHasDefaultArgument()

static bool functionDeclHasDefaultArgument ( const FunctionDecl *  FD )

static

Definition at line 420 of file SemaDeclCXX.cpp.

References clang::FunctionDecl::getNumParams(), clang::FunctionDecl::getParamDecl(), clang::ParmVarDecl::hasDefaultArg(), and clang::ParmVarDecl::hasInheritedDefaultArg().

getImplicitMethodEPI()

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

static

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

GetKeyForBase()

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

static

Definition at line 4941 of file SemaDeclCXX.cpp.

Referenced by DiagnoseBaseOrMemInitializerOrder().

GetKeyForMember()

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

static

Definition at line 4945 of file SemaDeclCXX.cpp.

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

getMSPropertyAttr()

static const ParsedAttr* getMSPropertyAttr ( const ParsedAttributesView &  list )

static

Definition at line 2892 of file SemaDeclCXX.cpp.

References clang::AS_none, clang::AS_private, clang::ParsedAttributesView::end(), clang::Type::getAsCXXRecordDecl(), clang::CXXBaseSpecifier::getType(), clang::ParsedAttr::isDeclspecPropertyAttribute(), and Specifier.

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

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

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

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

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

getTrivialIntegralTemplateArgument()

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

static

Definition at line 1008 of file SemaDeclCXX.cpp.

References clang::Sema::Context, clang::Sema::getTrivialTemplateArgumentLoc(), and clang::ASTContext::MakeIntValue().

Referenced by checkTupleLikeDecomposition(), and getTupleLikeElementType().

getTrivialTypeTemplateArgument()

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

static

Definition at line 1015 of file SemaDeclCXX.cpp.

References clang::Sema::getTrivialTemplateArgumentLoc().

Referenced by getTupleLikeElementType(), and isTupleLike().

getTupleLikeElementType()

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

static

Returns

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

Definition at line 1069 of file SemaDeclCXX.cpp.

References clang::TemplateArgumentListInfo::addArgument(), clang::Sema::Context, clang::Sema::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(), and clang::LookupResult::suppressDiagnostics().

Referenced by checkTupleLikeDecomposition().

hasOneRealArgument()

static bool hasOneRealArgument ( MultiExprArg  Args )

static

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

Definition at line 12969 of file SemaDeclCXX.cpp.

InitializationHasSideEffects()

static bool InitializationHasSideEffects ( const FieldDecl &  FD )

static

Definition at line 2882 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 9606 of file SemaDeclCXX.cpp.

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

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

Referenced by clang::Sema::ActOnCXXEnterDeclInitializer(), and clang::Sema::ActOnCXXExitDeclInitializer().

isTupleLike()

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

static

Definition at line 1021 of file SemaDeclCXX.cpp.

References clang::TemplateArgumentListInfo::addArgument(), clang::Sema::BuildDeclarationNameExpr(), clang::Sema::ConstantEvaluated, clang::Sema::Context, clang::Sema::Diag(), clang::LookupResult::empty(), clang::Error, clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::Preprocessor::getIdentifierInfo(), clang::ASTContext::getPrintingPolicy(), getTrivialTypeTemplateArgument(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Sema::LookupOrdinaryName, lookupStdTypeTraitMember(), clang::Sema::PP, printTemplateArgs(), and clang::Sema::VerifyIntegerConstantExpression().

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

References clang::TypoCorrection::getCorrectionDecl(), 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 9779 of file SemaDeclCXX.cpp.

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

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

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

References clang::Qualifiers::Const, clang::Sema::CXXCopyAssignment, clang::Sema::CXXDefaultConstructor, clang::Sema::CXXDestructor, clang::Sema::CXXMoveAssignment, clang::Sema::LookupSpecialMember(), and clang::Qualifiers::Volatile.

Referenced by findTrivialSpecialMember(), and specialMemberIsConstexpr().

LookupStdInitializerList()

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

static

Definition at line 9298 of file SemaDeclCXX.cpp.

References clang::Sema::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().

lookupStdTypeTraitMember()

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

static

Definition at line 950 of file SemaDeclCXX.cpp.

References clang::Sema::CheckTemplateIdType(), clang::Sema::Context, clang::Sema::Diag(), clang::IdentifierTable::get(), clang::Type::getAsCXXRecordDecl(), clang::Preprocessor::getIdentifierTable(), clang::Decl::getLocation(), clang::ASTContext::getPrintingPolicy(), clang::Sema::getStdNamespace(), 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().

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

PopulateKeysForFields()

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

static

Definition at line 4929 of file SemaDeclCXX.cpp.

References clang::RecordDecl::fields(), clang::Type::getAs(), clang::FieldDecl::getCanonicalDecl(), clang::ValueDecl::getType(), and clang::RecordDecl::isAnonymousStructOrUnion().

Referenced by DiagnoseBaseOrMemInitializerOrder().

printTemplateArgs()

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

static

Definition at line 936 of file SemaDeclCXX.cpp.

References clang::TemplateArgumentListInfo::arguments(), and clang::First.

Referenced by getTupleLikeElementType(), isTupleLike(), and lookupStdTypeTraitMember().

ReferenceDllExportedMembers()

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

static

Definition at line 5560 of file SemaDeclCXX.cpp.

References clang::Sema::Consumer, clang::Sema::Context, clang::DeclContext::decls(), clang::Sema::Diag(), clang::Sema::Diags, clang::getDLLAttr(), clang::Attr::getKind(), clang::Sema::getLangOpts(), clang::Attr::getLocation(), clang::Decl::getLocation(), clang::ASTContext::getTargetInfo(), clang::CXXRecordDecl::getTemplateSpecializationKind(), clang::TargetInfo::getTriple(), clang::ASTConsumer::HandleTopLevelDecl(), clang::DiagnosticErrorTrap::hasErrorOccurred(), clang::Attr::isInherited(), clang::Sema::MarkFunctionReferenced(), clang::Sema::MarkVariableReferenced(), clang::Sema::MarkVTableUsed(), clang::SC_Static, clang::TSK_ExplicitInstantiationDeclaration, and clang::TSK_ImplicitInstantiation.

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

RefersToRValueRef()

static bool RefersToRValueRef ( Expr *  MemRef )

static

Definition at line 4393 of file SemaDeclCXX.cpp.

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

Referenced by BuildImplicitMemberInitializer().

RemoveAddressSpaceFromPtr()

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

static

Definition at line 13254 of file SemaDeclCXX.cpp.

References clang::Sema::Context, clang::PointerType::getPointeeType(), clang::ASTContext::getPointerType(), and clang::ASTContext::removeAddrSpaceQualType().

Referenced by CheckOperatorNewDeleteTypes().

SearchForReturnInStmt()

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

static

Definition at line 14795 of file SemaDeclCXX.cpp.

References clang::Stmt::children(), and clang::Sema::Diag().

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

References clang::Sema::CXXDefaultConstructor, clang::Sema::SpecialMemberOverloadResult::getMethod(), clang::CXXRecordDecl::hasConstexprDefaultConstructor(), clang::FunctionDecl::isConstexpr(), and lookupCallFromSpecialMember().

Referenced by defaultedSpecialMemberIsConstexpr().

TryNamespaceTypoCorrection()

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

static

Definition at line 9395 of file SemaDeclCXX.cpp.

References clang::LookupResult::addDecl(), clang::LookupResult::clear(), clang::Sema::computeDeclContext(), clang::Sema::CorrectTypo(), clang::Sema::CTK_ErrorRecovery, clang::Sema::diagnoseTypo(), clang::Sema::getLangOpts(), clang::LookupResult::getLookupKind(), clang::LookupResult::getLookupNameInfo(), clang::IdentifierInfo::getName(), and clang::Sema::PDiag().

Referenced by clang::Sema::ActOnNamespaceAliasDef(), and clang::Sema::ActOnUsingDirective().