![]() |
PandA-2024.02
|

Public Member Functions | |
| virtual | ~NodeContainer () |
| const VarNodes & | getVarNodes () const |
| VarNode * | addVarNode (const tree_nodeConstRef &V, unsigned int function_id) |
| const ConditionalValueRanges & | getCVR () const |
| void | addConditionalValueRange (const ConditionalValueRange &&cvr) |
| const OpNodes & | getOpNodes () const |
| OpNode * | pushOperation (OpNode *op) |
| OpNode * | addOperation (const tree_nodeConstRef &stmt, unsigned int function_id, const FunctionBehaviorConstRef &FB, const tree_managerConstRef &TM, const application_managerRef &AppM) |
| const DefMap & | getDefs () const |
| const UseMap & | getUses () const |
Static Public Attributes | |
| static int | debug_level = DEBUG_LEVEL_NONE |
Protected Member Functions | |
| UseMap & | getUses () |
Private Attributes | |
| VarNodes | _varNodes |
| OpNodes | _opNodes |
| DefMap | _defMap |
| UseMap | _useMap |
| ConditionalValueRanges | _cvrMap |
Static Private Attributes | |
| static const std::vector< std::function< std::function< OpNode *(NodeContainer *)> const tree_nodeConstRef &, unsigned int, const FunctionBehaviorConstRef &, const tree_managerConstRef &, const application_managerRef &)> > | _opCtorGenerators |
Definition at line 2162 of file Range_Analysis.cpp.
|
inlinevirtual |
Definition at line 2187 of file Range_Analysis.cpp.
|
inline |
Definition at line 2227 of file Range_Analysis.cpp.
|
inline |
Definition at line 2262 of file Range_Analysis.cpp.
|
inline |
Definition at line 2204 of file Range_Analysis.cpp.
References THROW_ASSERT.
|
inline |
Definition at line 2222 of file Range_Analysis.cpp.
|
inline |
Definition at line 2275 of file Range_Analysis.cpp.
|
inline |
Definition at line 2243 of file Range_Analysis.cpp.
|
inlineprotected |
Definition at line 2181 of file Range_Analysis.cpp.
|
inline |
Definition at line 2280 of file Range_Analysis.cpp.
|
inline |
Definition at line 2199 of file Range_Analysis.cpp.
Definition at line 2248 of file Range_Analysis.cpp.
References OpNode::getSink(), OpNode::getSources(), and VarNode::getValue().

|
private |
Definition at line 2178 of file Range_Analysis.cpp.
|
private |
Definition at line 2174 of file Range_Analysis.cpp.
|
staticprivate |
Definition at line 2168 of file Range_Analysis.cpp.
Referenced by LoadOpNode::printDot().
|
private |
Definition at line 2172 of file Range_Analysis.cpp.
|
private |
Definition at line 2176 of file Range_Analysis.cpp.
|
private |
Definition at line 2170 of file Range_Analysis.cpp.
|
static |
Definition at line 2286 of file Range_Analysis.cpp.
1.8.13