ROSE
0.9.6a
|
#include <intArithLogical.h>
Public Member Functions | |
void | visit (const Function &func, const DataflowNode &n, NodeState &state) |
Public Member Functions inherited from UnstructuredPassIntraAnalysis | |
bool | runAnalysis (const Function &func, NodeState *state) |
Public Member Functions inherited from IntraProceduralAnalysis | |
void | setInterAnalysis (InterProceduralAnalysis *interAnalysis) |
virtual | ~IntraProceduralAnalysis () |
Public Member Functions inherited from Analysis | |
Analysis (bool(*f)(CFGNode)=defaultFilter) | |
Static Protected Member Functions | |
static void | setTrueFalseBranches (SgExpression *expr, IntArithLogicalFact **trueIneqFact, IntArithLogicalFact **falseIneqFact, bool doFalseBranch) |
Additional Inherited Members | |
Public Attributes inherited from Analysis | |
bool(* | filter )(CFGNode cfgn) |
Protected Attributes inherited from IntraProceduralAnalysis | |
InterProceduralAnalysis * | interAnalysis |
Definition at line 463 of file intArithLogical.h.
|
virtual |
Implements UnstructuredPassIntraAnalysis.
|
staticprotected |