clang 22.0.0git
|
The dataflow lattice for tracking the set of expired loans. More...
Public Member Functions | |
ExpiredLattice () | |
ExpiredLattice (ExpiredLoanMap M) | |
bool | operator== (const ExpiredLattice &Other) const |
bool | operator!= (const ExpiredLattice &Other) const |
void | dump (llvm::raw_ostream &OS) const |
Public Attributes | |
ExpiredLoanMap | Expired |
Map from an expired LoanID to the ExpireFact that made it expire. | |
The dataflow lattice for tracking the set of expired loans.
Definition at line 906 of file LifetimeSafety.cpp.
|
inline |
Definition at line 910 of file LifetimeSafety.cpp.
|
inlineexplicit |
Definition at line 911 of file LifetimeSafety.cpp.
|
inline |
Definition at line 920 of file LifetimeSafety.cpp.
References Expired.
|
inline |
Definition at line 916 of file LifetimeSafety.cpp.
References clang::Other.
|
inline |
Definition at line 913 of file LifetimeSafety.cpp.
References Expired, and clang::Other.
ExpiredLoanMap clang::lifetimes::internal::ExpiredLattice::Expired |
Map from an expired LoanID
to the ExpireFact
that made it expire.
Definition at line 908 of file LifetimeSafety.cpp.
Referenced by dump(), clang::lifetimes::internal::ExpiredLoansAnalysis::getExpiredLoans(), clang::lifetimes::internal::ExpiredLoansAnalysis::join(), and operator==().