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...

Enumerations
enum class	WarningScope { CrossTU , IntraTU }
	Enum to track functions visible across or within TU. More...

Functions
void	runLifetimeSafetyAnalysis (AnalysisDeclContext &AC, LifetimeSafetySemaHelper *SemaHelper, 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)
static const LifetimeBoundAttr *	getLifetimeBoundAttrFromFunctionType (const TypeSourceInfo &TSI)
	Check if a function has a lifetimebound attribute on its function type (which represents the implicit 'this' parameter for methods).
const LifetimeBoundAttr *	getDirectImplicitObjectLifetimeBoundAttr (const FunctionDecl *FD)
const LifetimeBoundAttr *	getImplicitObjectParamLifetimeBoundAttr (const FunctionDecl *FD)
bool	implicitObjectParamIsLifetimeBound (const FunctionDecl *FD)
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)
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	IsLifetimeSafetyEnabled (Sema &S, const Decl *D)

Enumeration Type Documentation

◆ WarningScope

enum class clang::lifetimes::WarningScope

strong

Enum to track functions visible across or within TU.

Enumerator
CrossTU
IntraTU

Definition at line 44 of file LifetimeSafety.h.

Function Documentation

◆ destructsFirstArg()

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

Definition at line 450 of file LifetimeAnnotations.cpp.

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

◆ getDeclWithMergedLifetimeBoundAttrs() [1/2]

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

Definition at line 27 of file LifetimeAnnotations.cpp.

References getDeclWithMergedLifetimeBoundAttrs().

◆ getDeclWithMergedLifetimeBoundAttrs() [2/2]

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

Definition at line 22 of file LifetimeAnnotations.cpp.

References clang::FunctionDecl::getMostRecentDecl().

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

◆ getDirectImplicitObjectLifetimeBoundAttr()

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

Definition at line 76 of file LifetimeAnnotations.cpp.

References getLifetimeBoundAttrFromFunctionType(), and clang::DeclaratorDecl::getTypeSourceInfo().

Referenced by getImplicitObjectParamLifetimeBoundAttr(), and clang::lifetimes::LifetimeSafetySemaHelperImpl::reportMisplacedLifetimebound().

◆ getImplicitObjectParamLifetimeBoundAttr()

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

Definition at line 84 of file LifetimeAnnotations.cpp.

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

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

◆ getLifetimeBoundAttrFromFunctionType()

const LifetimeBoundAttr * clang::lifetimes::getLifetimeBoundAttrFromFunctionType ( const TypeSourceInfo & TSI )

static

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

Returns the attribute if found, nullptr otherwise.

Definition at line 61 of file LifetimeAnnotations.cpp.

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

Referenced by getDirectImplicitObjectLifetimeBoundAttr().

◆ getName() [1/2]

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

static

Definition at line 317 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 325 of file LifetimeAnnotations.cpp.

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

◆ implicitObjectParamIsLifetimeBound()

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

Definition at line 102 of file LifetimeAnnotations.cpp.

References getImplicitObjectParamLifetimeBoundAttr(), and isNormalAssignmentOperator().

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

◆ isAssignmentOperatorLifetimeBound()

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

Definition at line 51 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 313 of file LifetimeAnnotations.cpp.

References isRecordWithAttr().

◆ isGslOwnerType() [2/2]

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

Definition at line 312 of file LifetimeAnnotations.cpp.

References isRecordWithAttr().

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

◆ isGslPointerType()

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

Definition at line 311 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 108 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 340 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 27 of file SemaLifetimeSafety.h.

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

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

◆ isNormalAssignmentOperator()

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

Definition at line 33 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().

◆ isPointerLikeType()

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

Definition at line 123 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(), and shouldTrackImplicitObjectArg().

◆ isRecordWithAttr() [1/2]

template<typename T>

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

static

Definition at line 281 of file LifetimeAnnotations.cpp.

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

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

◆ isRecordWithAttr() [2/2]

template<typename T>

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

static

Definition at line 307 of file LifetimeAnnotations.cpp.

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

◆ isReferenceOrPointerLikeType()

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

static

Definition at line 127 of file LifetimeAnnotations.cpp.

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

Referenced by shouldTrackImplicitObjectArg().

◆ isStdCallableWrapperType()

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

Definition at line 456 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 463 of file LifetimeAnnotations.cpp.

References clang::FunctionDecl::getBuiltinID().

◆ isStdUniquePtr()

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

static

Definition at line 331 of file LifetimeAnnotations.cpp.

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

Referenced by isUniquePtrRelease().

◆ isUniquePtrRelease()

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

Definition at line 335 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,
		LifetimeSafetyStats &	Stats,
		bool	CollectStats )

The main entry point for the analysis.

Definition at line 123 of file LifetimeSafety.cpp.

References clang::AnalysisDeclContext::getASTContext(), clang::lifetimes::internal::LifetimeSafetyAnalysis::getFactManager(), clang::ASTContext::getLangOpts(), clang::lifetimes::internal::FactManager::getOriginMgr(), clang::lifetimes::LifetimeSafetyOpts::MaxCFGBlocks, and clang::lifetimes::internal::LifetimeSafetyAnalysis::run().

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

◆ shouldTrackFirstArgument()

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

Definition at line 213 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 clang::sema::visitFunctionCallArguments().

◆ shouldTrackImplicitObjectArg()

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

Definition at line 131 of file LifetimeAnnotations.cpp.

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

Referenced by clang::sema::visitFunctionCallArguments().

◆ shouldTrackSecondArgument()

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

Definition at line 265 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().

Namespaces

Classes

Enumerations

Functions

Enumeration Type Documentation

◆ WarningScope

Function Documentation

◆ destructsFirstArg()

◆ getDeclWithMergedLifetimeBoundAttrs() [1/2]

◆ getDeclWithMergedLifetimeBoundAttrs() [2/2]

◆ getDirectImplicitObjectLifetimeBoundAttr()

◆ getImplicitObjectParamLifetimeBoundAttr()

◆ getLifetimeBoundAttrFromFunctionType()

◆ getName() [1/2]

◆ getName() [2/2]

◆ implicitObjectParamIsLifetimeBound()

◆ isAssignmentOperatorLifetimeBound()

◆ isGslOwnerType() [1/2]

◆ isGslOwnerType() [2/2]

◆ isGslPointerType()

◆ isInStlNamespace()

◆ isInvalidationMethod()

◆ IsLifetimeSafetyEnabled()

◆ isNormalAssignmentOperator()

◆ isPointerLikeType()

◆ isRecordWithAttr() [1/2]

◆ isRecordWithAttr() [2/2]

◆ isReferenceOrPointerLikeType()

◆ isStdCallableWrapperType()

◆ isStdReferenceCast()

◆ isStdUniquePtr()

◆ isUniquePtrRelease()

◆ printStats()

◆ runLifetimeSafetyAnalysis()

◆ shouldTrackFirstArgument()

◆ shouldTrackImplicitObjectArg()

◆ shouldTrackSecondArgument()