Abstract interface for operations requiring Sema access. More...

#include "clang/Analysis/Analyses/LifetimeSafety/LifetimeSafety.h"

Inheritance diagram for clang::lifetimes::LifetimeSafetySemaHelper:

Public Types
using	EscapingTarget

Public Member Functions
	LifetimeSafetySemaHelper ()=default
virtual	~LifetimeSafetySemaHelper ()=default
virtual void	reportUseAfterScope (const Expr IssueExpr, const Expr UseExpr, const Expr MovedExpr, SourceLocation FreeLoc, llvm::ArrayRef< const Expr > ExprChain)
virtual void	reportUseAfterReturn (const Expr IssueExpr, const Expr ReturnExpr, const Expr *MovedExpr)
virtual void	reportDanglingField (const Expr IssueExpr, const FieldDecl Field, const Expr *MovedExpr, SourceLocation ExpiryLoc)
virtual void	reportDanglingGlobal (const Expr IssueExpr, const VarDecl DanglingGlobal, const Expr *MovedExpr, SourceLocation ExpiryLoc)
virtual void	reportUseAfterInvalidation (const Expr IssueExpr, const Expr UseExpr, const Expr InvalidationExpr, llvm::ArrayRef< const Expr > ExprChain)
virtual void	reportUseAfterInvalidation (const ParmVarDecl PVD, const Expr UseExpr, const Expr InvalidationExpr, llvm::ArrayRef< const Expr > ExprChain)
virtual void	reportInvalidatedField (const Expr IssueExpr, const FieldDecl Field, const Expr *InvalidationExpr)
virtual void	reportInvalidatedField (const ParmVarDecl PVD, const FieldDecl Field, const Expr *InvalidationExpr)
virtual void	reportInvalidatedGlobal (const Expr IssueExpr, const VarDecl Global, const Expr *InvalidationExpr)
virtual void	reportInvalidatedGlobal (const ParmVarDecl PVD, const VarDecl Global, const Expr *InvalidationExpr)
virtual void	suggestLifetimeboundToParmVar (WarningScope Scope, const ParmVarDecl *ParmToAnnotate, EscapingTarget Target)
virtual void	reportNoescapeViolation (const ParmVarDecl ParmWithNoescape, const Expr EscapeExpr)
virtual void	reportNoescapeViolation (const ParmVarDecl ParmWithNoescape, const FieldDecl EscapeField)
virtual void	reportNoescapeViolation (const ParmVarDecl ParmWithNoescape, const VarDecl EscapeGlobal)
virtual void	reportLifetimeboundViolation (const ParmVarDecl *ParmWithLifetimebound)
virtual void	reportLifetimeboundViolation (const CXXMethodDecl *MDWithLifetimebound)
virtual void	reportMisplacedLifetimebound (WarningScope Scope, const CXXMethodDecl FDef, const CXXMethodDecl FDecl)
virtual void	reportMisplacedLifetimebound (WarningScope Scope, const ParmVarDecl PVDDef, const ParmVarDecl PVDDecl)
virtual void	reportInapplicableLifetimebound (const ParmVarDecl *PVD)
virtual void	suggestLifetimeboundToImplicitThis (WarningScope Scope, const CXXMethodDecl MD, const Expr EscapeExpr)
virtual void	addLifetimeBoundToImplicitThis (const CXXMethodDecl *MD)

Detailed Description

Abstract interface for operations requiring Sema access.

This class exists to break a circular dependency: the LifetimeSafety analysis target cannot directly depend on clangSema (which would create the cycle: clangSema -> clangAnalysis -> clangAnalysisLifetimeSafety -> clangSema).

Instead, this interface is implemented in AnalysisBasedWarnings.cpp (part of clangSema), allowing the analysis to report diagnostics and modify the AST through Sema without introducing a circular dependency.

Definition at line 62 of file LifetimeSafety.h.

Member Typedef Documentation

◆ EscapingTarget

using clang::lifetimes::LifetimeSafetySemaHelper::EscapingTarget

Initial value:

llvm::PointerUnion<const Expr *, const FieldDecl *, const VarDecl *>

Definition at line 109 of file LifetimeSafety.h.

Constructor & Destructor Documentation

◆ LifetimeSafetySemaHelper()

clang::lifetimes::LifetimeSafetySemaHelper::LifetimeSafetySemaHelper ( )

default

◆ ~LifetimeSafetySemaHelper()

virtual clang::lifetimes::LifetimeSafetySemaHelper::~LifetimeSafetySemaHelper ( )

virtualdefault

Member Function Documentation

◆ addLifetimeBoundToImplicitThis()

virtual void clang::lifetimes::LifetimeSafetySemaHelper::addLifetimeBoundToImplicitThis ( const CXXMethodDecl * MD )

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 159 of file LifetimeSafety.h.

◆ reportDanglingField()

virtual void clang::lifetimes::LifetimeSafetySemaHelper::reportDanglingField	(	const Expr *	IssueExpr,
		const FieldDecl *	Field,
		const Expr *	MovedExpr,
		SourceLocation	ExpiryLoc )

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 76 of file LifetimeSafety.h.

◆ reportDanglingGlobal()

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

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 81 of file LifetimeSafety.h.

◆ reportInapplicableLifetimebound()

virtual void clang::lifetimes::LifetimeSafetySemaHelper::reportInapplicableLifetimebound ( const ParmVarDecl * PVD )

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 150 of file LifetimeSafety.h.

◆ reportInvalidatedField() [1/2]

virtual void clang::lifetimes::LifetimeSafetySemaHelper::reportInvalidatedField	(	const Expr *	IssueExpr,
		const FieldDecl *	Field,
		const Expr *	InvalidationExpr )

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 96 of file LifetimeSafety.h.

◆ reportInvalidatedField() [2/2]

virtual void clang::lifetimes::LifetimeSafetySemaHelper::reportInvalidatedField	(	const ParmVarDecl *	PVD,
		const FieldDecl *	Field,
		const Expr *	InvalidationExpr )

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 99 of file LifetimeSafety.h.

◆ reportInvalidatedGlobal() [1/2]

virtual void clang::lifetimes::LifetimeSafetySemaHelper::reportInvalidatedGlobal	(	const Expr *	IssueExpr,
		const VarDecl *	Global,
		const Expr *	InvalidationExpr )

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 102 of file LifetimeSafety.h.

References clang::Global.

◆ reportInvalidatedGlobal() [2/2]

virtual void clang::lifetimes::LifetimeSafetySemaHelper::reportInvalidatedGlobal	(	const ParmVarDecl *	PVD,
		const VarDecl *	Global,
		const Expr *	InvalidationExpr )

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 105 of file LifetimeSafety.h.

References clang::Global.

◆ reportLifetimeboundViolation() [1/2]

virtual void clang::lifetimes::LifetimeSafetySemaHelper::reportLifetimeboundViolation ( const CXXMethodDecl * MDWithLifetimebound )

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 136 of file LifetimeSafety.h.

◆ reportLifetimeboundViolation() [2/2]

virtual void clang::lifetimes::LifetimeSafetySemaHelper::reportLifetimeboundViolation ( const ParmVarDecl * ParmWithLifetimebound )

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 131 of file LifetimeSafety.h.

◆ reportMisplacedLifetimebound() [1/2]

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

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 140 of file LifetimeSafety.h.

◆ reportMisplacedLifetimebound() [2/2]

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

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 146 of file LifetimeSafety.h.

◆ reportNoescapeViolation() [1/3]

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

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 118 of file LifetimeSafety.h.

◆ reportNoescapeViolation() [2/3]

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

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 121 of file LifetimeSafety.h.

◆ reportNoescapeViolation() [3/3]

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

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 125 of file LifetimeSafety.h.

◆ reportUseAfterInvalidation() [1/2]

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

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 89 of file LifetimeSafety.h.

◆ reportUseAfterInvalidation() [2/2]

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

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 93 of file LifetimeSafety.h.

◆ reportUseAfterReturn()

virtual void clang::lifetimes::LifetimeSafetySemaHelper::reportUseAfterReturn	(	const Expr *	IssueExpr,
		const Expr *	ReturnExpr,
		const Expr *	MovedExpr )

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 72 of file LifetimeSafety.h.

◆ reportUseAfterScope()

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

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 67 of file LifetimeSafety.h.

◆ suggestLifetimeboundToImplicitThis()

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

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 153 of file LifetimeSafety.h.

◆ suggestLifetimeboundToParmVar()

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

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 113 of file LifetimeSafety.h.

References clang::Target.

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

include/clang/Analysis/Analyses/LifetimeSafety/LifetimeSafety.h

Public Types

Public Member Functions

Detailed Description

Member Typedef Documentation

◆ EscapingTarget

Constructor & Destructor Documentation

◆ LifetimeSafetySemaHelper()

◆ ~LifetimeSafetySemaHelper()

Member Function Documentation

◆ addLifetimeBoundToImplicitThis()

◆ reportDanglingField()

◆ reportDanglingGlobal()

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

◆ reportUseAfterInvalidation() [2/2]

◆ reportUseAfterReturn()

◆ reportUseAfterScope()

◆ suggestLifetimeboundToImplicitThis()

◆ suggestLifetimeboundToParmVar()