Namespaces
namespace	internal

Classes
struct	LifetimeSafetyOpts
class	LifetimeSafetySemaHelper
	Abstract interface for operations requiring Sema access. More...
class	LifetimeSafetySemaHelperImpl
struct	LifetimeSafetyStats
	A structure to hold the statistics related to LifetimeAnalysis. More...
class	UseSite
	Where and how an origin is used, for diagnostics. More...

Enumerations
enum class	UseKind { Explicit , Destructor , Cleanup }
	How an origin is used: by an expression, or implicitly at scope exit by a destructor or a cleanup callback that may read the borrows it holds. More...
enum class	WarningScope { CrossTU , IntraTU }
	Enum to track functions visible across or within TU. More...

Functions
void	runLifetimeSafetyAnalysis (AnalysisDeclContext &AC, LifetimeSafetySemaHelper *SemaHelper, const LifetimeSafetyOpts &Opts, LifetimeSafetyStats &Stats, bool CollectStats)
	The main entry point for the analysis.
void	printStats (const LifetimeSafetyStats &Stats)
	Utility function to print missing origin stats.
const FunctionDecl *	getDeclWithMergedLifetimeBoundAttrs (const FunctionDecl *FD)
const CXXMethodDecl *	getDeclWithMergedLifetimeBoundAttrs (const CXXMethodDecl *CMD)
bool	isNormalAssignmentOperator (const FunctionDecl *FD)
bool	isAssignmentOperatorLifetimeBound (const CXXMethodDecl *CMD)
template<typename AttrType>
static const AttrType *	getAttrFromFunctionType (const FunctionDecl *FD)
	Check if a function has an attribute on its function type (which represents the implicit 'this' parameter for methods).
template<typename AttrType>
static const AttrType *	getImplicitObjectParamAttr (const FunctionDecl *FD)
const LifetimeBoundAttr *	getDirectImplicitObjectLifetimeBoundAttr (const FunctionDecl *FD)
const LifetimeBoundAttr *	getImplicitObjectParamLifetimeBoundAttr (const FunctionDecl *FD)
bool	implicitObjectParamIsLifetimeBound (const FunctionDecl *FD)
const LifetimeCaptureByAttr *	getCaptureByAttrFromFunctionType (const FunctionDecl *FD)
std::optional< LifetimeBoundParamInfo >	getTrackedArgInfo (const FunctionDecl FD, llvm::ArrayRef< const Expr > Args, unsigned I)
std::optional< LifetimeBoundParamInfo >	getTrackingInfoForCallArg (const Expr Call, const Expr Source)
bool	isInStlNamespace (const Decl *D)
bool	isPointerLikeType (QualType QT)
static bool	isReferenceOrPointerLikeType (QualType QT)
bool	shouldTrackImplicitObjectArg (const Expr &ImplicitObjectArgument, const CXXMethodDecl *Callee, bool RunningUnderLifetimeSafety)
bool	shouldTrackFirstArgument (const FunctionDecl *FD)
bool	shouldTrackSecondArgument (const FunctionDecl *FD)
template<typename T>
static bool	isRecordWithAttr (const CXXRecordDecl *RD)
template<typename T>
static bool	isRecordWithAttr (QualType Type)
bool	isGslPointerType (QualType QT)
bool	isGslOwnerType (QualType QT)
bool	isGslOwnerType (const CXXRecordDecl *RD)
bool	isOwnerPtrCtor (const CXXConstructorDecl Ctor, const ParmVarDecl PVD)
static StringRef	getName (const CXXRecordDecl &RD)
static StringRef	getName (const FunctionDecl &FD)
static bool	isStdUniquePtr (const CXXRecordDecl &RD)
bool	isUniquePtrRelease (const CXXMethodDecl &MD)
bool	isInvalidationMethod (const CXXMethodDecl &MD)
bool	destructsFirstArg (const FunctionDecl &FD)
bool	isStdCallableWrapperType (const CXXRecordDecl *RD)
bool	isStdReferenceCast (const FunctionDecl *FD)
bool	ShouldCheckSafety (Sema &S, const Decl *D)
bool	ShouldCheckNoescapeViolations (Sema &S, const Decl *D)
bool	ShouldCheckLifetimeboundViolations (Sema &S, const Decl *D)
bool	ShouldCheckMisplacedLifetimebound (Sema &S, const Decl *D)
bool	ShouldCheckInapplicableLifetimebound (Sema &S, const Decl *D)
bool	ShouldCheckFieldOriginEscape (Sema &S, const Decl *D)
bool	ShouldCheckDestructorUses (Sema &S, const Decl *D)
bool	ShouldSuggestLifetimeAnnotations (Sema &S, const Decl *D)
bool	IsLifetimeSafetyEnabled (Sema &S, const Decl *D)
LifetimeSafetyOpts	GetLifetimeSafetyOpts (Sema &S, const Decl *D)

Enumeration Type Documentation

◆ UseKind

enum class clang::lifetimes::UseKind

strong

How an origin is used: by an expression, or implicitly at scope exit by a destructor or a cleanup callback that may read the borrows it holds.

Enumerator
Explicit
Destructor
Cleanup

Definition at line 37 of file Facts.h.

◆ WarningScope

enum class clang::lifetimes::WarningScope

strong

Enum to track functions visible across or within TU.

Enumerator
CrossTU
IntraTU

Definition at line 55 of file LifetimeSafety.h.

Function Documentation

◆ destructsFirstArg()

bool clang::lifetimes::destructsFirstArg ( const FunctionDecl & FD )

Definition at line 536 of file LifetimeAnnotations.cpp.

References getName(), clang::isa(), and isInStlNamespace().

◆ getAttrFromFunctionType()

template<typename AttrType>

const AttrType * clang::lifetimes::getAttrFromFunctionType ( const FunctionDecl * FD )

static

Check if a function has an attribute on its function type (which represents the implicit 'this' parameter for methods).

Returns the attribute if found, nullptr otherwise.

Definition at line 64 of file LifetimeAnnotations.cpp.

References clang::TypeLoc::getAsAdjusted(), clang::TypeSourceInfo::getTypeLoc(), and clang::DeclaratorDecl::getTypeSourceInfo().

Referenced by getDirectImplicitObjectLifetimeBoundAttr(), and getImplicitObjectParamAttr().

◆ getCaptureByAttrFromFunctionType()

const LifetimeCaptureByAttr * clang::lifetimes::getCaptureByAttrFromFunctionType ( const FunctionDecl * FD )

Definition at line 118 of file LifetimeAnnotations.cpp.

References getImplicitObjectParamAttr().

◆ getDeclWithMergedLifetimeBoundAttrs() [1/2]

const CXXMethodDecl * clang::lifetimes::getDeclWithMergedLifetimeBoundAttrs ( const CXXMethodDecl * CMD )

Definition at line 30 of file LifetimeAnnotations.cpp.

References getDeclWithMergedLifetimeBoundAttrs().

◆ getDeclWithMergedLifetimeBoundAttrs() [2/2]

const FunctionDecl * clang::lifetimes::getDeclWithMergedLifetimeBoundAttrs ( const FunctionDecl * FD )

Definition at line 25 of file LifetimeAnnotations.cpp.

References clang::FunctionDecl::getMostRecentDecl().

Referenced by getDeclWithMergedLifetimeBoundAttrs(), getImplicitObjectParamAttr(), getTrackedArgInfo(), isAssignmentOperatorLifetimeBound(), and clang::sema::visitFunctionCallArguments().

◆ getDirectImplicitObjectLifetimeBoundAttr()

const LifetimeBoundAttr * clang::lifetimes::getDirectImplicitObjectLifetimeBoundAttr ( const FunctionDecl * FD )

Definition at line 102 of file LifetimeAnnotations.cpp.

References getAttrFromFunctionType().

Referenced by clang::lifetimes::LifetimeSafetySemaHelperImpl::reportMisplacedLifetimebound().

◆ getImplicitObjectParamAttr()

template<typename AttrType>

const AttrType * clang::lifetimes::getImplicitObjectParamAttr ( const FunctionDecl * FD )

static

Definition at line 81 of file LifetimeAnnotations.cpp.

References getAttrFromFunctionType(), getDeclWithMergedLifetimeBoundAttrs(), clang::FunctionDecl::getTemplateInstantiationPattern(), and clang::FunctionDecl::redecls().

Referenced by getCaptureByAttrFromFunctionType(), and getImplicitObjectParamLifetimeBoundAttr().

◆ getImplicitObjectParamLifetimeBoundAttr()

const LifetimeBoundAttr * clang::lifetimes::getImplicitObjectParamLifetimeBoundAttr ( const FunctionDecl * FD )

Definition at line 107 of file LifetimeAnnotations.cpp.

References getImplicitObjectParamAttr().

Referenced by implicitObjectParamIsLifetimeBound(), and clang::lifetimes::LifetimeSafetySemaHelperImpl::reportLifetimeboundViolation().

◆ GetLifetimeSafetyOpts()

LifetimeSafetyOpts clang::lifetimes::GetLifetimeSafetyOpts	(	Sema &	S,
		const Decl *	D )

inline

Definition at line 140 of file SemaLifetimeSafety.h.

References clang::lifetimes::LifetimeSafetyOpts::CheckDestructorUses, clang::lifetimes::LifetimeSafetyOpts::CheckFieldOriginEscape, clang::lifetimes::LifetimeSafetyOpts::CheckInapplicableLifetimebound, clang::lifetimes::LifetimeSafetyOpts::CheckLifetimeboundViolations, clang::lifetimes::LifetimeSafetyOpts::CheckMisplacedLifetimebound, clang::lifetimes::LifetimeSafetyOpts::CheckNoescapeViolations, clang::Sema::getLangOpts(), clang::lifetimes::LifetimeSafetyOpts::MaxCFGBlocks, ShouldCheckDestructorUses(), ShouldCheckFieldOriginEscape(), ShouldCheckInapplicableLifetimebound(), ShouldCheckLifetimeboundViolations(), ShouldCheckMisplacedLifetimebound(), ShouldCheckNoescapeViolations(), ShouldSuggestLifetimeAnnotations(), and clang::lifetimes::LifetimeSafetyOpts::SuggestAnnotations.

Referenced by clang::sema::AnalysisBasedWarnings::IssueWarnings(), clang::sema::AnalysisBasedWarnings::IssueWarningsForImplicitFunction(), and LifetimeSafetyTUAnalysis().

◆ getName() [1/2]

StringRef clang::lifetimes::getName ( const CXXRecordDecl & RD )

static

Definition at line 403 of file LifetimeAnnotations.cpp.

References clang::NamedDecl::getIdentifier(), and clang::NamedDecl::getName().

Referenced by destructsFirstArg(), isInvalidationMethod(), isStdCallableWrapperType(), and isStdUniquePtr().

◆ getName() [2/2]

StringRef clang::lifetimes::getName ( const FunctionDecl & FD )

static

Definition at line 411 of file LifetimeAnnotations.cpp.

References clang::NamedDecl::getIdentifier(), and clang::NamedDecl::getName().

◆ getTrackedArgInfo()

std::optional< LifetimeBoundParamInfo > clang::lifetimes::getTrackedArgInfo	(	const FunctionDecl *	FD,
		llvm::ArrayRef< const Expr * >	Args,
		unsigned	I )

Definition at line 135 of file LifetimeAnnotations.cpp.

References getDeclWithMergedLifetimeBoundAttrs(), clang::FunctionDecl::getParamDecl(), clang::Decl::hasAttr(), implicitObjectParamIsLifetimeBound(), clang::isa(), clang::Method, shouldTrackFirstArgument(), shouldTrackImplicitObjectArg(), and shouldTrackSecondArgument().

Referenced by getTrackingInfoForCallArg().

◆ getTrackingInfoForCallArg()

std::optional< LifetimeBoundParamInfo > clang::lifetimes::getTrackingInfoForCallArg	(	const Expr *	Call,
		const Expr *	Source )

Definition at line 172 of file LifetimeAnnotations.cpp.

References clang::Call, and getTrackedArgInfo().

◆ implicitObjectParamIsLifetimeBound()

bool clang::lifetimes::implicitObjectParamIsLifetimeBound ( const FunctionDecl * FD )

Definition at line 111 of file LifetimeAnnotations.cpp.

References getImplicitObjectParamLifetimeBoundAttr(), and isNormalAssignmentOperator().

Referenced by clang::Sema::addLifetimeBoundToImplicitThis(), getTrackedArgInfo(), ProcessAPINotes(), and clang::sema::visitFunctionCallArguments().

◆ isAssignmentOperatorLifetimeBound()

bool clang::lifetimes::isAssignmentOperatorLifetimeBound ( const CXXMethodDecl * CMD )

Definition at line 54 of file LifetimeAnnotations.cpp.

References getDeclWithMergedLifetimeBoundAttrs(), clang::FunctionDecl::getParamDecl(), clang::Decl::hasAttr(), isNormalAssignmentOperator(), and clang::FunctionDecl::param_size().

Referenced by clang::sema::checkExprLifetimeImpl(), and clang::sema::shouldRunGSLAssignmentAnalysis().

◆ isGslOwnerType() [1/2]

bool clang::lifetimes::isGslOwnerType ( const CXXRecordDecl * RD )

Definition at line 394 of file LifetimeAnnotations.cpp.

References isRecordWithAttr().

◆ isGslOwnerType() [2/2]

bool clang::lifetimes::isGslOwnerType ( QualType QT )

Definition at line 393 of file LifetimeAnnotations.cpp.

References isRecordWithAttr().

Referenced by isOwnerPtrCtor(), shouldTrackImplicitObjectArg(), clang::lifetimes::internal::FactsGenerator::VisitCXXMemberCallExpr(), and clang::lifetimes::internal::FactsGenerator::VisitCXXOperatorCallExpr().

◆ isGslPointerType()

bool clang::lifetimes::isGslPointerType ( QualType QT )

Definition at line 392 of file LifetimeAnnotations.cpp.

References isRecordWithAttr().

Referenced by clang::lifetimes::internal::OriginManager::hasOrigins(), clang::Sema::inferLifetimeCaptureByAttribute(), isPointerLikeType(), shouldTrackFirstArgument(), shouldTrackImplicitObjectArg(), clang::lifetimes::internal::FactsGenerator::VisitCXXConstructExpr(), clang::lifetimes::internal::FactsGenerator::VisitCXXMemberCallExpr(), and clang::lifetimes::internal::FactsGenerator::VisitCXXOperatorCallExpr().

◆ isInStlNamespace()

bool clang::lifetimes::isInStlNamespace ( const Decl * D )

Definition at line 189 of file LifetimeAnnotations.cpp.

References clang::Decl::getDeclContext(), clang::DeclContext::getParent(), and clang::isUppercase().

Referenced by destructsFirstArg(), isInvalidationMethod(), isStdCallableWrapperType(), clang::sema::isStdInitializerListOfPointer(), and shouldTrackImplicitObjectArg().

◆ isInvalidationMethod()

bool clang::lifetimes::isInvalidationMethod ( const CXXMethodDecl & MD )

Definition at line 426 of file LifetimeAnnotations.cpp.

References clang::NamedDecl::getIdentifier(), getName(), clang::NamedDecl::getName(), clang::FunctionDecl::getOverloadedOperator(), clang::CXXMethodDecl::getParent(), isInStlNamespace(), clang::OO_None, and clang::Vector.

◆ IsLifetimeSafetyEnabled()

bool clang::lifetimes::IsLifetimeSafetyEnabled	(	Sema &	S,
		const Decl *	D )

inline

Definition at line 108 of file SemaLifetimeSafety.h.

References clang::Sema::getLangOpts(), clang::isa(), ShouldCheckDestructorUses(), ShouldCheckFieldOriginEscape(), ShouldCheckInapplicableLifetimebound(), ShouldCheckLifetimeboundViolations(), ShouldCheckMisplacedLifetimebound(), ShouldCheckNoescapeViolations(), ShouldCheckSafety(), and ShouldSuggestLifetimeAnnotations().

Referenced by clang::sema::AnalysisBasedWarnings::IssueWarnings(), clang::sema::AnalysisBasedWarnings::IssueWarnings(), and clang::sema::AnalysisBasedWarnings::IssueWarningsForImplicitFunction().

◆ isNormalAssignmentOperator()

bool clang::lifetimes::isNormalAssignmentOperator ( const FunctionDecl * FD )

Definition at line 36 of file LifetimeAnnotations.cpp.

References clang::Decl::getASTContext(), clang::DeclarationName::getCXXOverloadedOperator(), clang::NamedDecl::getDeclName(), clang::ASTContext::getLValueReferenceType(), clang::FunctionDecl::getParamDecl(), clang::FunctionDecl::getReturnType(), clang::ValueDecl::getType(), clang::ASTContext::hasSameType(), clang::isCompoundAssignmentOperator(), and clang::Type::isLValueReferenceType().

Referenced by implicitObjectParamIsLifetimeBound(), and isAssignmentOperatorLifetimeBound().

◆ isOwnerPtrCtor()

bool clang::lifetimes::isOwnerPtrCtor	(	const CXXConstructorDecl *	Ctor,
		const ParmVarDecl *	PVD )

Definition at line 398 of file LifetimeAnnotations.cpp.

References clang::CXXMethodDecl::getParent(), clang::ValueDecl::getType(), isGslOwnerType(), and clang::Type::isPointerType().

◆ isPointerLikeType()

bool clang::lifetimes::isPointerLikeType ( QualType QT )

Definition at line 204 of file LifetimeAnnotations.cpp.

References isGslPointerType(), clang::Type::isNullPtrType(), and clang::Type::isPointerType().

Referenced by clang::sema::checkExprLifetimeImpl(), clang::sema::isContainerOfPointer(), isReferenceOrPointerLikeType(), clang::sema::isStdInitializerListOfPointer(), clang::isView(), and shouldTrackImplicitObjectArg().

◆ isRecordWithAttr() [1/2]

template<typename T>

bool clang::lifetimes::isRecordWithAttr ( const CXXRecordDecl * RD )

static

Definition at line 362 of file LifetimeAnnotations.cpp.

References clang::Decl::hasAttr(), clang::Result, and clang::T.

Referenced by isGslOwnerType(), isGslOwnerType(), isGslPointerType(), and isRecordWithAttr().

◆ isRecordWithAttr() [2/2]

template<typename T>

bool clang::lifetimes::isRecordWithAttr ( QualType Type )

static

Definition at line 388 of file LifetimeAnnotations.cpp.

References clang::Type::getAsCXXRecordDecl(), and isRecordWithAttr().

◆ isReferenceOrPointerLikeType()

bool clang::lifetimes::isReferenceOrPointerLikeType ( QualType QT )

static

Definition at line 208 of file LifetimeAnnotations.cpp.

References isPointerLikeType(), and clang::Type::isReferenceType().

Referenced by shouldTrackImplicitObjectArg().

◆ isStdCallableWrapperType()

bool clang::lifetimes::isStdCallableWrapperType ( const CXXRecordDecl * RD )

Definition at line 542 of file LifetimeAnnotations.cpp.

References getName(), and isInStlNamespace().

Referenced by clang::lifetimes::internal::OriginManager::hasOrigins(), clang::lifetimes::internal::FactsGenerator::VisitCXXConstructExpr(), and clang::lifetimes::internal::FactsGenerator::VisitCXXOperatorCallExpr().

◆ isStdReferenceCast()

bool clang::lifetimes::isStdReferenceCast ( const FunctionDecl * FD )

Definition at line 549 of file LifetimeAnnotations.cpp.

References clang::FunctionDecl::getBuiltinID().

◆ isStdUniquePtr()

bool clang::lifetimes::isStdUniquePtr ( const CXXRecordDecl & RD )

static

Definition at line 417 of file LifetimeAnnotations.cpp.

References getName(), and clang::Decl::isInStdNamespace().

Referenced by isUniquePtrRelease().

◆ isUniquePtrRelease()

bool clang::lifetimes::isUniquePtrRelease ( const CXXMethodDecl & MD )

Definition at line 421 of file LifetimeAnnotations.cpp.

References clang::NamedDecl::getIdentifier(), clang::NamedDecl::getName(), clang::FunctionDecl::getNumParams(), clang::CXXMethodDecl::getParent(), and isStdUniquePtr().

◆ printStats()

void clang::lifetimes::printStats ( const LifetimeSafetyStats & Stats )

Utility function to print missing origin stats.

Definition at line 19 of file LifetimeStats.cpp.

References clang::lifetimes::LifetimeSafetyStats::ExprStmtClassToMissingOriginCount, clang::lifetimes::LifetimeSafetyStats::ExprTypeToMissingOriginCount, and clang::QualType::getAsString().

Referenced by clang::sema::AnalysisBasedWarnings::PrintStats().

◆ runLifetimeSafetyAnalysis()

void clang::lifetimes::runLifetimeSafetyAnalysis	(	AnalysisDeclContext &	AC,
		LifetimeSafetySemaHelper *	SemaHelper,
		const LifetimeSafetyOpts &	Opts,
		LifetimeSafetyStats &	Stats,
		bool	CollectStats )

The main entry point for the analysis.

Definition at line 124 of file LifetimeSafety.cpp.

References clang::lifetimes::internal::LifetimeSafetyAnalysis::getFactManager(), clang::lifetimes::internal::FactManager::getOriginMgr(), and clang::lifetimes::internal::LifetimeSafetyAnalysis::run().

Referenced by clang::sema::AnalysisBasedWarnings::IssueWarnings(), and clang::sema::AnalysisBasedWarnings::IssueWarningsForImplicitFunction().

◆ ShouldCheckDestructorUses()

bool clang::lifetimes::ShouldCheckDestructorUses	(	Sema &	S,
		const Decl *	D )

inline

Definition at line 82 of file SemaLifetimeSafety.h.

References clang::Decl::getBeginLoc(), clang::Sema::getDiagnostics(), and clang::DiagnosticsEngine::isIgnored().

Referenced by GetLifetimeSafetyOpts(), and IsLifetimeSafetyEnabled().

◆ ShouldCheckFieldOriginEscape()

bool clang::lifetimes::ShouldCheckFieldOriginEscape	(	Sema &	S,
		const Decl *	D )

inline

Definition at line 77 of file SemaLifetimeSafety.h.

References clang::Decl::getBeginLoc(), clang::Sema::getDiagnostics(), and clang::DiagnosticsEngine::isIgnored().

Referenced by GetLifetimeSafetyOpts(), and IsLifetimeSafetyEnabled().

◆ ShouldCheckInapplicableLifetimebound()

bool clang::lifetimes::ShouldCheckInapplicableLifetimebound	(	Sema &	S,
		const Decl *	D )

inline

Definition at line 72 of file SemaLifetimeSafety.h.

References clang::Decl::getBeginLoc(), clang::Sema::getDiagnostics(), and clang::DiagnosticsEngine::isIgnored().

Referenced by GetLifetimeSafetyOpts(), and IsLifetimeSafetyEnabled().

◆ ShouldCheckLifetimeboundViolations()

bool clang::lifetimes::ShouldCheckLifetimeboundViolations	(	Sema &	S,
		const Decl *	D )

inline

Definition at line 56 of file SemaLifetimeSafety.h.

References clang::Decl::getBeginLoc(), clang::Sema::getDiagnostics(), and clang::DiagnosticsEngine::isIgnored().

Referenced by GetLifetimeSafetyOpts(), and IsLifetimeSafetyEnabled().

◆ ShouldCheckMisplacedLifetimebound()

bool clang::lifetimes::ShouldCheckMisplacedLifetimebound	(	Sema &	S,
		const Decl *	D )

inline

Definition at line 61 of file SemaLifetimeSafety.h.

References clang::Decl::getBeginLoc(), clang::Sema::getDiagnostics(), and clang::DiagnosticsEngine::isIgnored().

Referenced by GetLifetimeSafetyOpts(), and IsLifetimeSafetyEnabled().

◆ ShouldCheckNoescapeViolations()

bool clang::lifetimes::ShouldCheckNoescapeViolations	(	Sema &	S,
		const Decl *	D )

inline

Definition at line 51 of file SemaLifetimeSafety.h.

References clang::Decl::getBeginLoc(), clang::Sema::getDiagnostics(), and clang::DiagnosticsEngine::isIgnored().

Referenced by GetLifetimeSafetyOpts(), and IsLifetimeSafetyEnabled().

◆ ShouldCheckSafety()

bool clang::lifetimes::ShouldCheckSafety	(	Sema &	S,
		const Decl *	D )

inline

Definition at line 28 of file SemaLifetimeSafety.h.

References clang::Decl::getBeginLoc(), clang::Sema::getDiagnostics(), and clang::DiagnosticsEngine::isIgnored().

Referenced by IsLifetimeSafetyEnabled().

◆ ShouldSuggestLifetimeAnnotations()

bool clang::lifetimes::ShouldSuggestLifetimeAnnotations	(	Sema &	S,
		const Decl *	D )

inline

Definition at line 93 of file SemaLifetimeSafety.h.

References clang::Decl::getBeginLoc(), clang::Sema::getDiagnostics(), and clang::DiagnosticsEngine::isIgnored().

Referenced by GetLifetimeSafetyOpts(), and IsLifetimeSafetyEnabled().

◆ shouldTrackFirstArgument()

bool clang::lifetimes::shouldTrackFirstArgument ( const FunctionDecl * FD )

Definition at line 294 of file LifetimeAnnotations.cpp.

References clang::Default, clang::NamedDecl::getIdentifier(), clang::NamedDecl::getName(), clang::FunctionDecl::getNumParams(), clang::FunctionDecl::getParamDecl(), clang::Type::getPointeeCXXRecordDecl(), clang::FunctionDecl::getReturnType(), clang::ValueDecl::getType(), isGslPointerType(), clang::Decl::isInStdNamespace(), clang::Type::isPointerType(), and clang::Type::isReferenceType().

Referenced by getTrackedArgInfo(), and clang::sema::visitFunctionCallArguments().

◆ shouldTrackImplicitObjectArg()

bool clang::lifetimes::shouldTrackImplicitObjectArg	(	const Expr &	ImplicitObjectArgument,
		const CXXMethodDecl *	Callee,
		bool	RunningUnderLifetimeSafety )

Definition at line 212 of file LifetimeAnnotations.cpp.

References clang::Default, clang::Expr::getBestDynamicClassType(), isGslOwnerType(), isGslPointerType(), isInStlNamespace(), isPointerLikeType(), and isReferenceOrPointerLikeType().

Referenced by getTrackedArgInfo(), and clang::sema::visitFunctionCallArguments().

◆ shouldTrackSecondArgument()

bool clang::lifetimes::shouldTrackSecondArgument ( const FunctionDecl * FD )

Definition at line 346 of file LifetimeAnnotations.cpp.

References clang::Type::getAsCXXRecordDecl(), clang::FunctionDecl::getNumParams(), clang::FunctionDecl::getOverloadedOperator(), clang::FunctionDecl::getParamDecl(), clang::FunctionDecl::getReturnType(), clang::ValueDecl::getType(), clang::Decl::hasAttr(), clang::ASTContext::hasSameUnqualifiedType(), and clang::isa().

Referenced by getTrackedArgInfo().

Namespaces

Classes

Enumerations

Functions

Enumeration Type Documentation

◆ UseKind

◆ WarningScope

Function Documentation

◆ destructsFirstArg()

◆ getAttrFromFunctionType()

◆ getCaptureByAttrFromFunctionType()

◆ getDeclWithMergedLifetimeBoundAttrs() [1/2]

◆ getDeclWithMergedLifetimeBoundAttrs() [2/2]

◆ getDirectImplicitObjectLifetimeBoundAttr()

◆ getImplicitObjectParamAttr()

◆ getImplicitObjectParamLifetimeBoundAttr()

◆ GetLifetimeSafetyOpts()

◆ getName() [1/2]

◆ getName() [2/2]

◆ getTrackedArgInfo()

◆ getTrackingInfoForCallArg()

◆ implicitObjectParamIsLifetimeBound()

◆ isAssignmentOperatorLifetimeBound()

◆ isGslOwnerType() [1/2]

◆ isGslOwnerType() [2/2]

◆ isGslPointerType()

◆ isInStlNamespace()

◆ isInvalidationMethod()

◆ IsLifetimeSafetyEnabled()

◆ isNormalAssignmentOperator()

◆ isOwnerPtrCtor()

◆ isPointerLikeType()

◆ isRecordWithAttr() [1/2]

◆ isRecordWithAttr() [2/2]

◆ isReferenceOrPointerLikeType()

◆ isStdCallableWrapperType()

◆ isStdReferenceCast()

◆ isStdUniquePtr()

◆ isUniquePtrRelease()

◆ printStats()

◆ runLifetimeSafetyAnalysis()

◆ ShouldCheckDestructorUses()

◆ ShouldCheckFieldOriginEscape()

◆ ShouldCheckInapplicableLifetimebound()

◆ ShouldCheckLifetimeboundViolations()

◆ ShouldCheckMisplacedLifetimebound()

◆ ShouldCheckNoescapeViolations()

◆ ShouldCheckSafety()

◆ ShouldSuggestLifetimeAnnotations()

◆ shouldTrackFirstArgument()

◆ shouldTrackImplicitObjectArg()

◆ shouldTrackSecondArgument()