clang 22.0.0git
|
A generic, policy-based driver for dataflow analyses. More...
Public Types | |
using | Lattice = LatticeType |
using | Base = DataflowAnalysis<Derived, Lattice, Dir> |
Public Member Functions | |
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 &) |
Protected Member Functions | |
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 | |
FactManager & | AllFacts |
A generic, policy-based driver for dataflow analyses.
It combines the dataflow runner and the transferer logic into a single class hierarchy.
The derived class is expected to provide:
Derived | The CRTP derived class that implements the specific analysis. |
LatticeType | The dataflow lattice used by the analysis. |
Dir | The direction of the analysis (Forward or Backward). TODO: Maybe use the dataflow framework! The framework might need changes to support the current comparison done at block-entry. |
Definition at line 777 of file LifetimeSafety.cpp.
using clang::lifetimes::internal::DataflowAnalysis< Derived, LatticeType, Dir >::Base = DataflowAnalysis<Derived, Lattice, Dir> |
Definition at line 780 of file LifetimeSafety.cpp.
using clang::lifetimes::internal::DataflowAnalysis< Derived, LatticeType, Dir >::Lattice = LatticeType |
Definition at line 779 of file LifetimeSafety.cpp.
|
inlineexplicitprotected |
Definition at line 800 of file LifetimeSafety.cpp.
|
inlineprotected |
Definition at line 848 of file LifetimeSafety.cpp.
|
inlineprotected |
Definition at line 844 of file LifetimeSafety.cpp.
Referenced by clang::lifetimes::internal::DataflowAnalysis< Derived, Lattice, Dir >::run().
|
inlineprotected |
Definition at line 846 of file LifetimeSafety.cpp.
Referenced by clang::lifetimes::internal::DataflowAnalysis< Derived, Lattice, Dir >::dump().
|
inlineprotected |
Definition at line 842 of file LifetimeSafety.cpp.
|
inline |
Definition at line 805 of file LifetimeSafety.cpp.
|
inline |
Definition at line 900 of file LifetimeSafety.cpp.
|
inline |
Definition at line 899 of file LifetimeSafety.cpp.
|
inline |
Definition at line 898 of file LifetimeSafety.cpp.
|
inline |
Definition at line 901 of file LifetimeSafety.cpp.
|
inline |
Definition at line 903 of file LifetimeSafety.cpp.
|
inline |
Definition at line 902 of file LifetimeSafety.cpp.
|
protected |
Definition at line 798 of file LifetimeSafety.cpp.