#include "/work/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/Sema/SemaLifetimeSafety.h"

Inheritance diagram for clang::lifetimes::LifetimeSafetySemaHelperImpl:

Public Member Functions
	LifetimeSafetySemaHelperImpl (Sema &S)
void	reportUseAfterScope (const Expr IssueExpr, const Expr UseExpr, const Expr *MovedExpr, SourceLocation FreeLoc) override
void	reportUseAfterReturn (const Expr IssueExpr, const Expr ReturnExpr, const Expr *MovedExpr, SourceLocation ExpiryLoc) override
void	reportDanglingField (const Expr IssueExpr, const FieldDecl DanglingField, const Expr *MovedExpr, SourceLocation ExpiryLoc) override
void	reportDanglingGlobal (const Expr IssueExpr, const VarDecl DanglingGlobal, const Expr *MovedExpr, SourceLocation ExpiryLoc) override
void	reportUseAfterInvalidation (const Expr IssueExpr, const Expr UseExpr, const Expr *InvalidationExpr) override
void	reportUseAfterInvalidation (const ParmVarDecl PVD, const Expr UseExpr, const Expr *InvalidationExpr) override
void	reportInvalidatedField (const Expr IssueExpr, const FieldDecl DanglingField, const Expr *InvalidationExpr) override
void	reportInvalidatedField (const ParmVarDecl PVD, const FieldDecl DanglingField, const Expr *InvalidationExpr) override
void	reportInvalidatedGlobal (const Expr IssueExpr, const VarDecl DanglingGlobal, const Expr *InvalidationExpr) override
void	reportInvalidatedGlobal (const ParmVarDecl PVD, const VarDecl DanglingGlobal, const Expr *InvalidationExpr) override
void	suggestLifetimeboundToParmVar (WarningScope Scope, const ParmVarDecl *ParmToAnnotate, EscapingTarget Target) override
void	reportLifetimeboundViolation (const ParmVarDecl *ParmWithLifetimebound) override
void	reportLifetimeboundViolation (const CXXMethodDecl *MDWithLifetimebound) override
void	reportMisplacedLifetimebound (WarningScope Scope, const CXXMethodDecl FDef, const CXXMethodDecl FDecl) override
void	reportMisplacedLifetimebound (WarningScope Scope, const ParmVarDecl PVDDef, const ParmVarDecl PVDDecl) override
void	suggestLifetimeboundToImplicitThis (WarningScope Scope, const CXXMethodDecl MD, const Expr EscapeExpr) override
void	reportNoescapeViolation (const ParmVarDecl ParmWithNoescape, const Expr EscapeExpr) override
void	reportNoescapeViolation (const ParmVarDecl ParmWithNoescape, const FieldDecl EscapeField) override
void	reportNoescapeViolation (const ParmVarDecl ParmWithNoescape, const VarDecl EscapeGlobal) override
void	addLifetimeBoundToImplicitThis (const CXXMethodDecl *MD) override
Public Member Functions inherited from clang::lifetimes::LifetimeSafetySemaHelper
	LifetimeSafetySemaHelper ()=default
virtual	~LifetimeSafetySemaHelper ()=default

Additional Inherited Members
Public Types inherited from clang::lifetimes::LifetimeSafetySemaHelper
using	EscapingTarget

Detailed Description

Definition at line 51 of file SemaLifetimeSafety.h.

Constructor & Destructor Documentation

◆ LifetimeSafetySemaHelperImpl()

clang::lifetimes::LifetimeSafetySemaHelperImpl::LifetimeSafetySemaHelperImpl ( Sema & S )

inline

Definition at line 54 of file SemaLifetimeSafety.h.

Member Function Documentation

◆ addLifetimeBoundToImplicitThis()

void clang::lifetimes::LifetimeSafetySemaHelperImpl::addLifetimeBoundToImplicitThis ( const CXXMethodDecl * MD )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 388 of file SemaLifetimeSafety.h.

◆ reportDanglingField()

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportDanglingField	(	const Expr *	IssueExpr,
		const FieldDecl *	DanglingField,
		const Expr *	MovedExpr,
		SourceLocation	ExpiryLoc )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 85 of file SemaLifetimeSafety.h.

References clang::Decl::getEndLoc(), clang::Expr::getExprLoc(), clang::Decl::getLocation(), and clang::Stmt::getSourceRange().

◆ reportDanglingGlobal()

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportDanglingGlobal	(	const Expr *	IssueExpr,
		const VarDecl *	DanglingGlobal,
		const Expr *	MovedExpr,
		SourceLocation	ExpiryLoc )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 101 of file SemaLifetimeSafety.h.

References clang::Decl::getEndLoc(), clang::Expr::getExprLoc(), clang::Decl::getLocation(), clang::Stmt::getSourceRange(), clang::VarDecl::isStaticDataMember(), and clang::VarDecl::isStaticLocal().

◆ reportInvalidatedField() [1/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportInvalidatedField	(	const Expr *	IssueExpr,
		const FieldDecl *	DanglingField,
		const Expr *	InvalidationExpr )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 155 of file SemaLifetimeSafety.h.

References clang::Decl::getEndLoc(), clang::Expr::getExprLoc(), clang::Decl::getLocation(), clang::Stmt::getSourceRange(), and clang::isa().

◆ reportInvalidatedField() [2/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportInvalidatedField	(	const ParmVarDecl *	PVD,
		const FieldDecl *	DanglingField,
		const Expr *	InvalidationExpr )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 171 of file SemaLifetimeSafety.h.

References clang::SourceRange::getBegin(), clang::Decl::getEndLoc(), clang::Expr::getExprLoc(), clang::Decl::getLocation(), clang::ParmVarDecl::getSourceRange(), clang::Stmt::getSourceRange(), and clang::isa().

◆ reportInvalidatedGlobal() [1/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportInvalidatedGlobal	(	const Expr *	IssueExpr,
		const VarDecl *	DanglingGlobal,
		const Expr *	InvalidationExpr )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 187 of file SemaLifetimeSafety.h.

References clang::Decl::getEndLoc(), clang::Expr::getExprLoc(), clang::Decl::getLocation(), clang::Stmt::getSourceRange(), clang::isa(), clang::VarDecl::isStaticDataMember(), and clang::VarDecl::isStaticLocal().

◆ reportInvalidatedGlobal() [2/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportInvalidatedGlobal	(	const ParmVarDecl *	PVD,
		const VarDecl *	DanglingGlobal,
		const Expr *	InvalidationExpr )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 208 of file SemaLifetimeSafety.h.

References clang::SourceRange::getBegin(), clang::Decl::getEndLoc(), clang::Expr::getExprLoc(), clang::Decl::getLocation(), clang::ParmVarDecl::getSourceRange(), clang::Stmt::getSourceRange(), clang::isa(), clang::VarDecl::isStaticDataMember(), and clang::VarDecl::isStaticLocal().

◆ reportLifetimeboundViolation() [1/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportLifetimeboundViolation ( const CXXMethodDecl * MDWithLifetimebound )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 275 of file SemaLifetimeSafety.h.

References clang::lifetimes::getImplicitObjectParamLifetimeBoundAttr(), clang::Attr::getLocation(), and clang::AttributeCommonInfo::getRange().

◆ reportLifetimeboundViolation() [2/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportLifetimeboundViolation ( const ParmVarDecl * ParmWithLifetimebound )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 265 of file SemaLifetimeSafety.h.

References clang::Decl::getAttr(), clang::Attr::getLocation(), clang::NamedDecl::getName(), and clang::AttributeCommonInfo::getRange().

◆ reportMisplacedLifetimebound() [1/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportMisplacedLifetimebound	(	WarningScope	Scope,
		const CXXMethodDecl *	FDef,
		const CXXMethodDecl *	FDecl )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 285 of file SemaLifetimeSafety.h.

References clang::lifetimes::CrossTU, clang::lifetimes::getDirectImplicitObjectLifetimeBoundAttr(), clang::Decl::getEndLoc(), clang::Attr::getLocation(), clang::Lexer::getLocForEndOfToken(), and clang::AttributeCommonInfo::getRange().

◆ reportMisplacedLifetimebound() [2/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportMisplacedLifetimebound	(	WarningScope	Scope,
		const ParmVarDecl *	PVDDef,
		const ParmVarDecl *	PVDDecl )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 302 of file SemaLifetimeSafety.h.

References clang::lifetimes::CrossTU, clang::Decl::getAttr(), clang::DeclaratorDecl::getBeginLoc(), clang::Attr::getLocation(), clang::AttributeCommonInfo::getRange(), and clang::ParmVarDecl::getSourceRange().

◆ reportNoescapeViolation() [1/3]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportNoescapeViolation	(	const ParmVarDecl *	ParmWithNoescape,
		const Expr *	EscapeExpr )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 351 of file SemaLifetimeSafety.h.

References clang::DeclaratorDecl::getBeginLoc(), clang::Stmt::getBeginLoc(), clang::ParmVarDecl::getSourceRange(), and clang::Stmt::getSourceRange().

◆ reportNoescapeViolation() [2/3]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportNoescapeViolation	(	const ParmVarDecl *	ParmWithNoescape,
		const FieldDecl *	EscapeField )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 362 of file SemaLifetimeSafety.h.

References clang::DeclaratorDecl::getBeginLoc(), clang::Decl::getEndLoc(), clang::Decl::getLocation(), and clang::ParmVarDecl::getSourceRange().

◆ reportNoescapeViolation() [3/3]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportNoescapeViolation	(	const ParmVarDecl *	ParmWithNoescape,
		const VarDecl *	EscapeGlobal )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 373 of file SemaLifetimeSafety.h.

References clang::DeclaratorDecl::getBeginLoc(), clang::Decl::getEndLoc(), clang::Decl::getLocation(), clang::ParmVarDecl::getSourceRange(), clang::VarDecl::isStaticDataMember(), and clang::VarDecl::isStaticLocal().

◆ reportUseAfterInvalidation() [1/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportUseAfterInvalidation	(	const Expr *	IssueExpr,
		const Expr *	UseExpr,
		const Expr *	InvalidationExpr )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 122 of file SemaLifetimeSafety.h.

References clang::Expr::getExprLoc(), clang::Stmt::getSourceRange(), and clang::isa().

◆ reportUseAfterInvalidation() [2/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportUseAfterInvalidation	(	const ParmVarDecl *	PVD,
		const Expr *	UseExpr,
		const Expr *	InvalidationExpr )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 137 of file SemaLifetimeSafety.h.

References clang::SourceRange::getBegin(), clang::Expr::getExprLoc(), clang::ParmVarDecl::getSourceRange(), clang::Stmt::getSourceRange(), and clang::isa().

◆ reportUseAfterReturn()

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportUseAfterReturn	(	const Expr *	IssueExpr,
		const Expr *	ReturnExpr,
		const Expr *	MovedExpr,
		SourceLocation	ExpiryLoc )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 71 of file SemaLifetimeSafety.h.

References clang::Expr::getExprLoc(), and clang::Stmt::getSourceRange().

◆ reportUseAfterScope()

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportUseAfterScope	(	const Expr *	IssueExpr,
		const Expr *	UseExpr,
		const Expr *	MovedExpr,
		SourceLocation	FreeLoc )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 56 of file SemaLifetimeSafety.h.

References clang::Expr::getExprLoc(), and clang::Stmt::getSourceRange().

◆ suggestLifetimeboundToImplicitThis()

void clang::lifetimes::LifetimeSafetySemaHelperImpl::suggestLifetimeboundToImplicitThis	(	WarningScope	Scope,
		const CXXMethodDecl *	MD,
		const Expr *	EscapeExpr )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 318 of file SemaLifetimeSafety.h.

References clang::FixItHint::CreateInsertion(), clang::lifetimes::CrossTU, clang::Lexer::findPreviousToken(), clang::Type::getAs(), clang::Stmt::getBeginLoc(), clang::Lexer::getLocForEndOfToken(), clang::FunctionDecl::getNameInfo(), clang::DeclarationNameInfo::getSourceRange(), clang::Stmt::getSourceRange(), clang::ValueDecl::getType(), clang::TypeSourceInfo::getTypeLoc(), clang::DeclaratorDecl::getTypeSourceInfo(), and clang::FunctionProtoType::hasTrailingReturn().

◆ suggestLifetimeboundToParmVar()

void clang::lifetimes::LifetimeSafetySemaHelperImpl::suggestLifetimeboundToParmVar	(	WarningScope	Scope,
		const ParmVarDecl *	ParmToAnnotate,
		EscapingTarget	Target )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 229 of file SemaLifetimeSafety.h.

References clang::FixItHint::CreateInsertion(), clang::lifetimes::CrossTU, clang::DeclaratorDecl::getBeginLoc(), clang::Decl::getEndLoc(), clang::NamedDecl::getIdentifier(), clang::Decl::getLocation(), clang::Lexer::getLocForEndOfToken(), clang::ParmVarDecl::getSourceRange(), clang::ParmVarDecl::hasDefaultArg(), and clang::Target.

The documentation for this class was generated from the following file:

lib/Sema/SemaLifetimeSafety.h

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ LifetimeSafetySemaHelperImpl()

Member Function Documentation

◆ addLifetimeBoundToImplicitThis()

◆ reportDanglingField()

◆ reportDanglingGlobal()

◆ reportInvalidatedField() [1/2]

◆ reportInvalidatedField() [2/2]

◆ reportInvalidatedGlobal() [1/2]

◆ reportInvalidatedGlobal() [2/2]

◆ reportLifetimeboundViolation() [1/2]

◆ reportLifetimeboundViolation() [2/2]

◆ reportMisplacedLifetimebound() [1/2]

◆ reportMisplacedLifetimebound() [2/2]

◆ reportNoescapeViolation() [1/3]

◆ reportNoescapeViolation() [2/3]

◆ reportNoescapeViolation() [3/3]

◆ reportUseAfterInvalidation() [1/2]

◆ reportUseAfterInvalidation() [2/2]

◆ reportUseAfterReturn()

◆ reportUseAfterScope()

◆ suggestLifetimeboundToImplicitThis()

◆ suggestLifetimeboundToParmVar()