Namespaces
namespace	internal

Classes
class	LifetimeSafetySemaHelper
	Abstract interface for operations requiring Sema access. More...
struct	LifetimeSafetyStats
	A structure to hold the statistics related to LifetimeAnalysis. More...

Enumerations
enum class	Confidence : uint8_t { None , Maybe , Definite }
	Enum to track the confidence level of a potential error. More...
enum class	SuggestionScope { 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).
bool	implicitObjectParamIsLifetimeBound (const FunctionDecl *FD)
bool	isInStlNamespace (const Decl *D)
bool	isPointerLikeType (QualType QT)
bool	shouldTrackImplicitObjectArg (const CXXMethodDecl *Callee, bool RunningUnderLifetimeSafety)
bool	shouldTrackFirstArgument (const FunctionDecl *FD)
template<typename T>
static bool	isRecordWithAttr (QualType Type)
bool	isGslPointerType (QualType QT)
bool	isGslOwnerType (QualType QT)

Enumeration Type Documentation

◆ Confidence

enum class clang::lifetimes::Confidence : uint8_t

strong

Enum to track the confidence level of a potential error.

Enumerator
None
Maybe
Definite

Definition at line 33 of file LifetimeSafety.h.

◆ SuggestionScope

enum class clang::lifetimes::SuggestionScope

strong

Enum to track functions visible across or within TU.

Enumerator
CrossTU
IntraTU

Definition at line 40 of file LifetimeSafety.h.

Function Documentation

◆ getDeclWithMergedLifetimeBoundAttrs() [1/2]

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

Definition at line 25 of file LifetimeAnnotations.cpp.

References getDeclWithMergedLifetimeBoundAttrs().

◆ getDeclWithMergedLifetimeBoundAttrs() [2/2]

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

Definition at line 20 of file LifetimeAnnotations.cpp.

References clang::FunctionDecl::getMostRecentDecl().

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

◆ 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 59 of file LifetimeAnnotations.cpp.

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

◆ implicitObjectParamIsLifetimeBound()

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

Definition at line 73 of file LifetimeAnnotations.cpp.

References getDeclWithMergedLifetimeBoundAttrs(), clang::FunctionDecl::getTemplateInstantiationPattern(), and isNormalAssignmentOperator().

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

◆ isAssignmentOperatorLifetimeBound()

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

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

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

Definition at line 215 of file LifetimeAnnotations.cpp.

References isRecordWithAttr().

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

◆ isGslPointerType()

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

Definition at line 214 of file LifetimeAnnotations.cpp.

References isRecordWithAttr().

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

◆ isInStlNamespace()

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

Definition at line 92 of file LifetimeAnnotations.cpp.

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

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

◆ isNormalAssignmentOperator()

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

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

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

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

◆ isRecordWithAttr()

template<typename T>

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

static

Definition at line 187 of file LifetimeAnnotations.cpp.

References clang::Type::getAsCXXRecordDecl(), clang::Result, and clang::T.

Referenced by isGslOwnerType(), and isGslPointerType().

◆ 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 )