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)
virtual void	reportUseAfterInvalidation (const ParmVarDecl PVD, const Expr UseExpr, const Expr *InvalidationExpr)
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 59 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 104 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 154 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 73 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 78 of file LifetimeSafety.h.

◆ reportInapplicableLifetimebound()

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

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 145 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 91 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 94 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 97 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 100 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 131 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 126 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 135 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 141 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 113 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 116 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 120 of file LifetimeSafety.h.

◆ reportUseAfterInvalidation() [1/2]

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

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 85 of file LifetimeSafety.h.

◆ reportUseAfterInvalidation() [2/2]

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

inlinevirtual

Reimplemented in clang::lifetimes::LifetimeSafetySemaHelperImpl.

Definition at line 88 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 69 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 64 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 148 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 108 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()