clang::lifetimes::internal::ExpiredLoansAnalysis Class Reference

The analysis that tracks which loans have expired. More...

Inheritance diagram for clang::lifetimes::internal::ExpiredLoansAnalysis:

Public Member Functions
	ExpiredLoansAnalysis (const CFG &C, AnalysisDeclContext &AC, FactManager &F, LifetimeFactory &Factory)
StringRef	getAnalysisName () const
Lattice	getInitialState ()
Lattice	join (Lattice L1, Lattice L2)
	Merges two lattices by taking the union of the two expired loans.
Lattice	transfer (Lattice In, const ExpireFact &F)
Lattice	transfer (Lattice In, const IssueFact &F)
ExpiredLoanMap	getExpiredLoans (ProgramPoint P)
Public Member Functions inherited from clang::lifetimes::internal::DataflowAnalysis< ExpiredLoansAnalysis, ExpiredLattice, Direction::Forward >
void	run ()
Lattice	transfer (Lattice In, const IssueFact &)
Lattice	transfer (Lattice In, const ExpireFact &)
Lattice	transfer (Lattice In, const AssignOriginFact &)
Lattice	transfer (Lattice In, const ReturnOfOriginFact &)
Lattice	transfer (Lattice In, const UseFact &)
Lattice	transfer (Lattice In, const TestPointFact &)

Additional Inherited Members
Public Types inherited from clang::lifetimes::internal::DataflowAnalysis< ExpiredLoansAnalysis, ExpiredLattice, Direction::Forward >
using	Lattice = ExpiredLattice
using	Base = DataflowAnalysis< ExpiredLoansAnalysis, Lattice, Dir >
Protected Member Functions inherited from clang::lifetimes::internal::DataflowAnalysis< ExpiredLoansAnalysis, ExpiredLattice, Direction::Forward >
	DataflowAnalysis (const CFG &C, AnalysisDeclContext &AC, FactManager &F)
Lattice	getState (ProgramPoint P) const
Lattice	getInState (const CFGBlock *B) const
Lattice	getOutState (const CFGBlock *B) const
void	dump () const
Protected Attributes inherited from clang::lifetimes::internal::DataflowAnalysis< ExpiredLoansAnalysis, ExpiredLattice, Direction::Forward >
FactManager &	AllFacts

Detailed Description

The analysis that tracks which loans have expired.

Definition at line 930 of file LifetimeSafety.cpp.

Constructor & Destructor Documentation

ExpiredLoansAnalysis()

clang::lifetimes::internal::ExpiredLoansAnalysis::ExpiredLoansAnalysis ( const CFG &  C, AnalysisDeclContext &  AC, FactManager &  F, LifetimeFactory &  Factory  )

inline

Definition at line 937 of file LifetimeSafety.cpp.

Member Function Documentation

getAnalysisName()

StringRef clang::lifetimes::internal::ExpiredLoansAnalysis::getAnalysisName ( ) const

inline

Definition at line 943 of file LifetimeSafety.cpp.

getExpiredLoans()

ExpiredLoanMap clang::lifetimes::internal::ExpiredLoansAnalysis::getExpiredLoans ( ProgramPoint  P )

inline

Definition at line 991 of file LifetimeSafety.cpp.

References clang::lifetimes::internal::ExpiredLattice::Expired, clang::lifetimes::internal::DataflowAnalysis< ExpiredLoansAnalysis, ExpiredLattice, Direction::Forward >::getState(), and P.

Referenced by clang::lifetimes::internal::LifetimeChecker::checkUse().

getInitialState()

Lattice clang::lifetimes::internal::ExpiredLoansAnalysis::getInitialState ( )

inline

Definition at line 945 of file LifetimeSafety.cpp.

join()

Lattice clang::lifetimes::internal::ExpiredLoansAnalysis::join ( Lattice  L1, Lattice  L2  )

inline

Merges two lattices by taking the union of the two expired loans.

Definition at line 948 of file LifetimeSafety.cpp.

References clang::lifetimes::internal::ExpiredLattice::Expired, and clang::lifetimes::internal::utils::join().

transfer() [1/2]

Lattice clang::lifetimes::internal::ExpiredLoansAnalysis::transfer ( Lattice  In, const ExpireFact &  F  )

inline

Definition at line 957 of file LifetimeSafety.cpp.

References clang::lifetimes::internal::ExpireFact::getLoanID().

transfer() [2/2]

Lattice clang::lifetimes::internal::ExpiredLoansAnalysis::transfer ( Lattice  In, const IssueFact &  F  )

inline

Definition at line 987 of file LifetimeSafety.cpp.

References clang::lifetimes::internal::IssueFact::getLoanID().

---

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

• lib/Analysis/LifetimeSafety.cpp