IntraProceduralDataflow::genInitState

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/analysis/dataflow.h>

virtual
void
genInitState(
    Function const& func,
    DataflowNode const& n,
    NodeState const& state,
    std::vector<Lattice*>& initLattices,
    std::vector<NodeFact*>& initFacts) = 0;

Created with MrDocs