Classes
class	AccessedEntity
	A declaration being accessed, together with information about how it was accessed. More...
class	AnalysisBasedWarnings
struct	AssignedEntity
	Describes an entity that is being assigned. More...
class	BlockScopeInfo
	Retains information about a block that is currently being parsed. More...
class	Capture
class	CapturedRegionScopeInfo
	Retains information about a captured region. More...
struct	CapturingEntity
class	CapturingScopeInfo
class	CompoundScopeInfo
	Contains information about the compound statement currently being parsed. More...
class	DelayedDiagnostic
	A diagnostic message which has been conditionally emitted pending the complete parsing of the current declaration. More...
class	DelayedDiagnosticPool
	A collection of diagnostics which were delayed. More...
class	FunctionScopeInfo
	Retains information about a function, method, or block that is currently being parsed. More...
class	LambdaScopeInfo
class	PossiblyUnreachableDiag
class	RISCVIntrinsicManager
class	SemaPPCallbacks
class	TemplateDeductionInfo
	Provides information about an attempted template argument deduction, whose success or failure was described by a TemplateDeductionResult value. More...

Enumerations
enum class	FirstCoroutineStmtKind { CoReturn , CoAwait , CoYield }
enum	PathLifetimeKind { Extend , NoExtend }
	Whether a path to an object supports lifetime extension. More...
enum	AnalysisResult { NotGSLPointer , Report , Abandon , Skip }

Functions
static LifetimeResult	getEntityLifetime (const InitializedEntity Entity, const InitializedEntity InitField=nullptr)
	Determine the declaration which an initialized entity ultimately refers to, for the purpose of lifetime-extending a temporary bound to a reference in the initialization of `Entity`.
static bool	isVarOnPath (const IndirectLocalPath &Path, VarDecl *VD)
static bool	pathContainsInit (const IndirectLocalPath &Path)
static void	visitLocalsRetainedByInitializer (IndirectLocalPath &Path, Expr *Init, LocalVisitor Visit, bool RevisitSubinits)
	Visit the locals that would be reachable through an object initialized by the prvalue expression `Init`.
static void	visitLocalsRetainedByReferenceBinding (IndirectLocalPath &Path, Expr *Init, ReferenceKind RK, LocalVisitor Visit)
	Visit the locals that would be reachable through a reference bound to the glvalue expression `Init`.
template<typename T>
static bool	isRecordWithAttr (QualType Type)
bool	isGLSPointerType (QualType QT)
static bool	isPointerLikeType (QualType QT)
static bool	isInStlNamespace (const Decl *D)
static bool	isContainerOfPointer (const RecordDecl *Container)
static bool	isContainerOfOwner (const RecordDecl *Container)
static bool	isStdInitializerListOfPointer (const RecordDecl *RD)
static bool	shouldTrackImplicitObjectArg (const CXXMethodDecl *Callee)
static bool	shouldTrackFirstArgument (const FunctionDecl *FD)
static bool	isCopyLikeConstructor (const CXXConstructorDecl *Ctor)
static bool	shouldTrackFirstArgumentForConstructor (const CXXConstructExpr *Ctor)
static void	visitFunctionCallArguments (IndirectLocalPath &Path, Expr *Call, LocalVisitor Visit)
static PathLifetimeKind	shouldLifetimeExtendThroughPath (const IndirectLocalPath &Path)
	Determine whether this is an indirect path to a temporary that we are supposed to lifetime-extend along.
static SourceRange	nextPathEntryRange (const IndirectLocalPath &Path, unsigned I, Expr *E)
	Find the range for the first interesting entry in the path at or after I.
static bool	pathOnlyHandlesGslPointer (const IndirectLocalPath &Path)
static AnalysisResult	analyzePathForGSLPointer (const IndirectLocalPath &Path, Local L, LifetimeKind LK)
static bool	shouldRunGSLAssignmentAnalysis (const Sema &SemaRef, const AssignedEntity &Entity)
static void	checkExprLifetimeImpl (Sema &SemaRef, const InitializedEntity InitEntity, const InitializedEntity ExtendingEntity, LifetimeKind LK, const AssignedEntity AEntity, const CapturingEntity CapEntity, Expr *Init)
void	checkInitLifetime (Sema &SemaRef, const InitializedEntity &Entity, Expr *Init)
	Check that the lifetime of the given expr (and its subobjects) is sufficient for initializing the entity, and perform lifetime extension (when permitted) if not.
void	checkExprLifetimeMustTailArg (Sema &SemaRef, const InitializedEntity &Entity, Expr *Init)
	Check that the lifetime of the given expr (and its subobjects) is sufficient, assuming that it is passed as an argument to a musttail function.
void	checkAssignmentLifetime (Sema &SemaRef, const AssignedEntity &Entity, Expr *Init)
	Check that the lifetime of the given expr (and its subobjects) is sufficient for assigning to the entity.
void	checkCaptureByLifetime (Sema &SemaRef, const CapturingEntity &Entity, Expr *Init)
Attr *	instantiateTemplateAttribute (const Attr *At, ASTContext &C, Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs)
Attr *	instantiateTemplateAttributeForDecl (const Attr *At, ASTContext &C, Sema &S, const MultiLevelTemplateArgumentList &TemplateArgs)

Enumeration Type Documentation

◆ AnalysisResult

enum clang::sema::AnalysisResult

Enumerator
NotGSLPointer
Report
Abandon
Skip

Definition at line 1127 of file CheckExprLifetime.cpp.

◆ FirstCoroutineStmtKind

enum class clang::sema::FirstCoroutineStmtKind

strong

Enumerator
CoReturn
CoAwait
CoYield

Definition at line 100 of file ScopeInfo.h.

◆ PathLifetimeKind

enum clang::sema::PathLifetimeKind

Whether a path to an object supports lifetime extension.

Enumerator
Extend	Lifetime-extend along this path.
NoExtend	Do not lifetime extend along this path.

Definition at line 1049 of file CheckExprLifetime.cpp.

Function Documentation

◆ analyzePathForGSLPointer()

AnalysisResult clang::sema::analyzePathForGSLPointer	(	const IndirectLocalPath &	Path,
		Local	L,
		LifetimeKind	LK )

static

Definition at line 1140 of file CheckExprLifetime.cpp.

References Abandon, clang::Type::getPointeeType(), clang::FunctionDecl::getReturnType(), clang::isa(), isGLSPointerType(), clang::Type::isPointerOrReferenceType(), isRecordWithAttr(), NotGSLPointer, pathContainsInit(), pathOnlyHandlesGslPointer(), Report, and Skip.

Referenced by checkExprLifetimeImpl().

◆ checkAssignmentLifetime()

void clang::sema::checkAssignmentLifetime	(	Sema &	SemaRef,
		const AssignedEntity &	Entity,
		Expr *	Init )

Check that the lifetime of the given expr (and its subobjects) is sufficient for assigning to the entity.

Definition at line 1599 of file CheckExprLifetime.cpp.

References checkExprLifetimeImpl(), clang::Sema::getDiagnostics(), clang::Expr::getType(), clang::Init, clang::DiagnosticsEngine::isIgnored(), clang::sema::AssignedEntity::LHS, and shouldRunGSLAssignmentAnalysis().

Referenced by clang::Sema::CheckAssignmentOperands(), and clang::Sema::CreateOverloadedBinOp().

◆ checkCaptureByLifetime()

void clang::sema::checkCaptureByLifetime	(	Sema &	SemaRef,
		const CapturingEntity &	Entity,
		Expr *	Init )

Definition at line 1615 of file CheckExprLifetime.cpp.

References checkExprLifetimeImpl(), clang::Sema::getDiagnostics(), clang::Init, and clang::DiagnosticsEngine::isIgnored().

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

◆ checkExprLifetimeImpl()

void clang::sema::checkExprLifetimeImpl	(	Sema &	SemaRef,
		const InitializedEntity *	InitEntity,
		const InitializedEntity *	ExtendingEntity,
		LifetimeKind	LK,
		const AssignedEntity *	AEntity,
		const CapturingEntity *	CapEntity,
		Expr *	Init )

static

Definition at line 1240 of file CheckExprLifetime.cpp.

References Abandon, clang::InitializedEntity::allocateManglingNumber(), analyzePathForGSLPointer(), clang::sema::AssignedEntity::AssignmentOperator, clang::cast(), clang::SemaBase::Diag(), clang::sema::CapturingEntity::Entity, Extend, clang::SourceRange::getBegin(), clang::InitializedEntity::getDecl(), clang::NamedDecl::getDeclName(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::InitializedEntity::getParent(), clang::Expr::getType(), clang::InitializedEntity::getType(), clang::ValueDecl::getType(), clang::Init, clang::isa(), clang::lifetimes::isAssignmentOperatorLifetimeBound(), clang::VarDecl::isCXXForRangeImplicitVar(), clang::Decl::isImplicit(), clang::ValueDecl::isInitCapture(), isPointerLikeType(), clang::Type::isPointerType(), isRecordWithAttr(), clang::Type::isReferenceType(), clang::SourceLocation::isValid(), clang::LCK_ByRef, clang::sema::AssignedEntity::LHS, clang::Member, nextPathEntryRange(), NoExtend, NotGSLPointer, pathContainsInit(), Report, shouldLifetimeExtendThroughPath(), shouldRunGSLAssignmentAnalysis(), Skip, visitLocalsRetainedByInitializer(), and visitLocalsRetainedByReferenceBinding().

Referenced by checkAssignmentLifetime(), checkCaptureByLifetime(), checkExprLifetimeMustTailArg(), and checkInitLifetime().

◆ checkExprLifetimeMustTailArg()

void clang::sema::checkExprLifetimeMustTailArg	(	Sema &	SemaRef,
		const InitializedEntity &	Entity,
		Expr *	Init )

Check that the lifetime of the given expr (and its subobjects) is sufficient, assuming that it is passed as an argument to a musttail function.

Definition at line 1593 of file CheckExprLifetime.cpp.

References checkExprLifetimeImpl(), and clang::Init.

◆ checkInitLifetime()

void clang::sema::checkInitLifetime	(	Sema &	SemaRef,
		const InitializedEntity &	Entity,
		Expr *	Init )

Check that the lifetime of the given expr (and its subobjects) is sufficient for initializing the entity, and perform lifetime extension (when permitted) if not.

Definition at line 1584 of file CheckExprLifetime.cpp.

References checkExprLifetimeImpl(), getEntityLifetime(), and clang::Init.

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

◆ getEntityLifetime()

LifetimeResult clang::sema::getEntityLifetime	(	const InitializedEntity *	Entity,
		const InitializedEntity *	InitField = nullptr )

static

Determine the declaration which an initialized entity ultimately refers to, for the purpose of lifetime-extending a temporary bound to a reference in the initialization of Entity.

Definition at line 67 of file CheckExprLifetime.cpp.