#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, llvm::ArrayRef< const Expr > ExprChain) override
void	reportUseAfterScope (const Expr IssueExpr, SourceLocation UseLoc, const Expr MovedExpr, SourceLocation FreeLoc, llvm::ArrayRef< const Expr * > ExprChain) override
void	reportUseAfterReturn (const Expr IssueExpr, const Expr ReturnExpr, const Expr MovedExpr, llvm::ArrayRef< const Expr > ExprChain) override
void	reportDanglingField (const Expr IssueExpr, const FieldDecl DanglingField, const Expr MovedExpr, bool IsCapturedByLambda, SourceLocation ExpiryLoc, llvm::ArrayRef< const Expr > ExprChain) override
void	reportDanglingGlobal (const Expr IssueExpr, const VarDecl DanglingGlobal, const Expr MovedExpr, SourceLocation ExpiryLoc, llvm::ArrayRef< const Expr > ExprChain, bool IsMain=false) override
void	reportUseAfterInvalidation (const Expr IssueExpr, const Expr UseExpr, const Expr InvalidationExpr, llvm::ArrayRef< const Expr > ExprChain) override
void	reportUseAfterInvalidation (const ParmVarDecl PVD, const Expr UseExpr, const Expr InvalidationExpr, llvm::ArrayRef< const Expr > ExprChain) override
void	reportUseAfterInvalidation (const Expr IssueExpr, SourceLocation UseLoc, const Expr InvalidationExpr, llvm::ArrayRef< const Expr * > ExprChain) override
void	reportUseAfterInvalidation (const ParmVarDecl PVD, SourceLocation UseLoc, const Expr InvalidationExpr, llvm::ArrayRef< const Expr * > ExprChain) override
void	reportInvalidatedField (const Expr IssueExpr, const FieldDecl DanglingField, const Expr InvalidationExpr, llvm::ArrayRef< const Expr > ExprChain) override
void	reportInvalidatedField (const ParmVarDecl PVD, const FieldDecl DanglingField, const Expr InvalidationExpr, llvm::ArrayRef< const Expr > ExprChain) override
void	reportInvalidatedGlobal (const Expr IssueExpr, const VarDecl DanglingGlobal, const Expr InvalidationExpr, llvm::ArrayRef< const Expr > ExprChain) override
void	reportInvalidatedGlobal (const ParmVarDecl PVD, const VarDecl DanglingGlobal, const Expr InvalidationExpr, llvm::ArrayRef< const Expr > ExprChain) 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	reportInapplicableLifetimebound (const ParmVarDecl *PVD) override
void	suggestLifetimeboundToImplicitThis (WarningScope Scope, const CXXMethodDecl MD, const Expr EscapeExpr) override
void	reportFieldOriginEscape (const CXXMethodDecl MD, const FieldDecl FD, 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 142 of file SemaLifetimeSafety.h.

Constructor & Destructor Documentation

◆ LifetimeSafetySemaHelperImpl()

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

inline

Definition at line 145 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 556 of file SemaLifetimeSafety.h.

◆ reportDanglingField()

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportDanglingField	(	const Expr *	IssueExpr,
		const FieldDecl *	DanglingField,
		const Expr *	MovedExpr,
		bool	IsCapturedByLambda,
		SourceLocation	ExpiryLoc,
		llvm::ArrayRef< const Expr * >	ExprChain )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 206 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,
		llvm::ArrayRef< const Expr * >	ExprChain,
		bool	IsMain = false )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 230 of file SemaLifetimeSafety.h.

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

◆ reportFieldOriginEscape()

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportFieldOriginEscape	(	const CXXMethodDecl *	MD,
		const FieldDecl *	FD,
		const Expr *	EscapeExpr )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 503 of file SemaLifetimeSafety.h.

References clang::Stmt::getBeginLoc(), clang::Decl::getLocation(), clang::FunctionDecl::getNameInfo(), clang::DeclarationNameInfo::getSourceRange(), clang::FieldDecl::getSourceRange(), clang::Stmt::getSourceRange(), clang::ValueDecl::getType(), and clang::Type::isPointerType().

◆ reportInapplicableLifetimebound()

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportInapplicableLifetimebound ( const ParmVarDecl * PVD )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 476 of file SemaLifetimeSafety.h.

References clang::Decl::getAttr(), clang::Attr::getLocation(), clang::AttributeCommonInfo::getRange(), clang::ValueDecl::getType(), and clang::Decl::hasAttr().

◆ reportInvalidatedField() [1/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportInvalidatedField	(	const Expr *	IssueExpr,
		const FieldDecl *	DanglingField,
		const Expr *	InvalidationExpr,
		llvm::ArrayRef< const Expr * >	ExprChain )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 299 of file SemaLifetimeSafety.h.

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

◆ reportInvalidatedField() [2/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportInvalidatedField	(	const ParmVarDecl *	PVD,
		const FieldDecl *	DanglingField,
		const Expr *	InvalidationExpr,
		llvm::ArrayRef< const Expr * >	ExprChain )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 315 of file SemaLifetimeSafety.h.

References clang::SourceRange::getBegin(), clang::Decl::getEndLoc(), clang::Decl::getLocation(), and clang::ParmVarDecl::getSourceRange().

◆ reportInvalidatedGlobal() [1/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportInvalidatedGlobal	(	const Expr *	IssueExpr,
		const VarDecl *	DanglingGlobal,
		const Expr *	InvalidationExpr,
		llvm::ArrayRef< const Expr * >	ExprChain )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 332 of file SemaLifetimeSafety.h.

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

◆ reportInvalidatedGlobal() [2/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportInvalidatedGlobal	(	const ParmVarDecl *	PVD,
		const VarDecl *	DanglingGlobal,
		const Expr *	InvalidationExpr,
		llvm::ArrayRef< const Expr * >	ExprChain )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 353 of file SemaLifetimeSafety.h.

References clang::SourceRange::getBegin(), clang::Decl::getEndLoc(), clang::Decl::getLocation(), clang::ParmVarDecl::getSourceRange(), 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 412 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 402 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 422 of file SemaLifetimeSafety.h.

References clang::FixItHint::CreateInsertion(), clang::lifetimes::CrossTU, clang::DeclaratorDecl::getBeginLoc(), clang::lifetimes::getDirectImplicitObjectLifetimeBoundAttr(), clang::Attr::getLocation(), clang::Decl::getLocation(), clang::AttributeCommonInfo::getRange(), and clang::SourceLocation::isMacroID().

◆ 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 448 of file SemaLifetimeSafety.h.

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

◆ reportNoescapeViolation() [1/3]

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

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 519 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 530 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 541 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/4]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportUseAfterInvalidation	(	const Expr *	IssueExpr,
		const Expr *	UseExpr,
		const Expr *	InvalidationExpr,
		llvm::ArrayRef< const Expr * >	ExprChain )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 263 of file SemaLifetimeSafety.h.

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

◆ reportUseAfterInvalidation() [2/4]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportUseAfterInvalidation	(	const Expr *	IssueExpr,
		SourceLocation	UseLoc,
		const Expr *	InvalidationExpr,
		llvm::ArrayRef< const Expr * >	ExprChain )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 281 of file SemaLifetimeSafety.h.

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

◆ reportUseAfterInvalidation() [3/4]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportUseAfterInvalidation	(	const ParmVarDecl *	PVD,
		const Expr *	UseExpr,
		const Expr *	InvalidationExpr,
		llvm::ArrayRef< const Expr * >	ExprChain )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 272 of file SemaLifetimeSafety.h.

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

◆ reportUseAfterInvalidation() [4/4]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportUseAfterInvalidation	(	const ParmVarDecl *	PVD,
		SourceLocation	UseLoc,
		const Expr *	InvalidationExpr,
		llvm::ArrayRef< const Expr * >	ExprChain )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 290 of file SemaLifetimeSafety.h.

References clang::SourceRange::getBegin(), and clang::ParmVarDecl::getSourceRange().

◆ reportUseAfterReturn()

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportUseAfterReturn	(	const Expr *	IssueExpr,
		const Expr *	ReturnExpr,
		const Expr *	MovedExpr,
		llvm::ArrayRef< const Expr * >	ExprChain )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 188 of file SemaLifetimeSafety.h.

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

◆ reportUseAfterScope() [1/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportUseAfterScope	(	const Expr *	IssueExpr,
		const Expr *	UseExpr,
		const Expr *	MovedExpr,
		SourceLocation	FreeLoc,
		llvm::ArrayRef< const Expr * >	ExprChain )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 147 of file SemaLifetimeSafety.h.

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

◆ reportUseAfterScope() [2/2]

void clang::lifetimes::LifetimeSafetySemaHelperImpl::reportUseAfterScope	(	const Expr *	IssueExpr,
		SourceLocation	UseLoc,
		const Expr *	MovedExpr,
		SourceLocation	FreeLoc,
		llvm::ArrayRef< const Expr * >	ExprChain )

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 167 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 485 of file SemaLifetimeSafety.h.

References clang::FixItHint::CreateInsertion(), clang::lifetimes::CrossTU, clang::Stmt::getBeginLoc(), clang::FunctionDecl::getNameInfo(), clang::DeclarationNameInfo::getSourceRange(), and clang::Stmt::getSourceRange().

◆ suggestLifetimeboundToParmVar()

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

inlineoverridevirtual

Reimplemented from clang::lifetimes::LifetimeSafetySemaHelper.

Definition at line 373 of file SemaLifetimeSafety.h.

References clang::FixItHint::CreateInsertion(), clang::lifetimes::CrossTU, clang::Decl::getDeclContext(), clang::ParmVarDecl::getSourceRange(), clang::isa(), 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()

◆ reportFieldOriginEscape()

◆ reportInapplicableLifetimebound()

◆ 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/4]

◆ reportUseAfterInvalidation() [2/4]

◆ reportUseAfterInvalidation() [3/4]

◆ reportUseAfterInvalidation() [4/4]

◆ reportUseAfterReturn()

◆ reportUseAfterScope() [1/2]

◆ reportUseAfterScope() [2/2]

◆ suggestLifetimeboundToImplicitThis()

◆ suggestLifetimeboundToParmVar()