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	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 bool	isNormalAssignmentOperator (const FunctionDecl *FD)

bool	implicitObjectParamIsLifetimeBound (const FunctionDecl *FD)

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)

static bool	isAssignmentOperatorLifetimeBound (CXXMethodDecl *CMD)

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 1166 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 1092 of file CheckExprLifetime.cpp.

Function Documentation

◆ analyzePathForGSLPointer()

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

static

Definition at line 1179 of file CheckExprLifetime.cpp.

References Abandon, clang::Type::getPointeeType(), clang::FunctionDecl::getReturnType(), isPointerLikeType(), clang::Type::isReferenceType(), NotGSLPointer, Path, 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 1610 of file CheckExprLifetime.cpp.

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

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

◆ checkCaptureByLifetime()

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

Definition at line 1626 of file CheckExprLifetime.cpp.

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

Referenced by checkCaptureByLifetime(), and clang::Sema::checkLifetimeCaptureBy().

◆ checkExprLifetimeImpl()

static 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 1261 of file CheckExprLifetime.cpp.

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

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 1604 of file CheckExprLifetime.cpp.

References checkExprLifetimeImpl(), and checkExprLifetimeMustTailArg().

Referenced by checkExprLifetimeMustTailArg().

◆ 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 1595 of file CheckExprLifetime.cpp.

References checkExprLifetimeImpl(), checkInitLifetime(), and getEntityLifetime().

Referenced by clang::Sema::checkInitializerLifetime(), and checkInitLifetime().

◆ getEntityLifetime()

static 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 66 of file CheckExprLifetime.cpp.