1 #include <featureTests.h>
2 #ifdef ROSE_ENABLE_SOURCE_ANALYSIS
4 #ifndef SCALAR_FW_DATAFLOW_H
5 #define SCALAR_FW_DATAFLOW_H
13 #include "genericDataflowCommon.h"
14 #include "VirtualCFGIterator.h"
16 #include "CallGraphTraverse.h"
17 #include "rwAccessLabeler.h"
18 #include "analysisCommon.h"
21 #include "latticeFull.h"
22 #include "liveDeadVarAnalysis.h"
23 #include "divAnalysis.h"
25 #include "affineInequality.h"
27 #include "ConstrGraph.h"
32 static map<varID, Lattice*> constVars;
44 this->divAnalysis = divAnalysis;
54 vector<Lattice*>& initLattices, vector<NodeFact*>& initFacts);
67 NodeState& state,
const vector<Lattice*>& dfInfo);