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

Classes
class	Impl

Public Member Functions
	LoanPropagationAnalysis (const CFG &C, AnalysisDeclContext &AC, FactManager &F, OriginLoanMap::Factory &OriginLoanMapFactory, LoanSet::Factory &LoanSetFactory)
	~LoanPropagationAnalysis ()
LoanSet	getLoans (OriginID OID, ProgramPoint P) const
llvm::SmallVector< OriginID >	buildOriginFlowChain (ProgramPoint StartPoint, const OriginID StartOID, const LoanID TargetLoan) const
	Builds the chain of origins through which a loan has propagated.
llvm::SmallVector< OriginID >	buildOriginFlowChain (const UseFact *UF, const LoanID TargetLoan) const

Detailed Description

Definition at line 32 of file LoanPropagation.h.

Constructor & Destructor Documentation

◆ LoanPropagationAnalysis()

clang::lifetimes::internal::LoanPropagationAnalysis::LoanPropagationAnalysis	(	const CFG &	C,
		AnalysisDeclContext &	AC,
		FactManager &	F,
		OriginLoanMap::Factory &	OriginLoanMapFactory,
		LoanSet::Factory &	LoanSetFactory )

Definition at line 291 of file LoanPropagation.cpp.

References clang::C.

◆ ~LoanPropagationAnalysis()

clang::lifetimes::internal::LoanPropagationAnalysis::~LoanPropagationAnalysis ( )

default

Member Function Documentation

◆ buildOriginFlowChain() [1/2]

llvm::SmallVector< OriginID > clang::lifetimes::internal::LoanPropagationAnalysis::buildOriginFlowChain	(	const UseFact *	UF,
		const LoanID	TargetLoan ) const

Definition at line 314 of file LoanPropagation.cpp.

◆ buildOriginFlowChain() [2/2]

llvm::SmallVector< OriginID > clang::lifetimes::internal::LoanPropagationAnalysis::buildOriginFlowChain	(	ProgramPoint	StartPoint,
		const OriginID	StartOID,
		const LoanID	TargetLoan ) const

Builds the chain of origins through which a loan has propagated.

Starting from StartPoint where StartOID currently holds TargetLoan, this function traces backwards through OriginFlowFacts to identify the sequence of origins through which the loan flowed, ending at the origin where the loan was originally issued.

Definition at line 307 of file LoanPropagation.cpp.

◆ getLoans()

LoanSet clang::lifetimes::internal::LoanPropagationAnalysis::getLoans	(	OriginID	OID,
		ProgramPoint	P ) const

Definition at line 302 of file LoanPropagation.cpp.

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

include/clang/Analysis/Analyses/LifetimeSafety/LoanPropagation.h
lib/Analysis/LifetimeSafety/LoanPropagation.cpp

Classes

Public Member Functions