ContextInsensitiveInterProceduralDataflow

Synopsis

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

class ContextInsensitiveInterProceduralDataflow
    : public virtual InterProceduralDataflow
    , public TraverseCallGraphDataflow

Base Classes

Name	Description
InterProceduralDataflow	* Dataflow Analyses **
TraverseCallGraphDataflow

Member Functions

Name

ContextInsensitiveInterProceduralDataflow [constructor]

runAnalysis [virtual]

transfer [virtual]

visit [virtual]

Private Data Members

Name

remainingDueToCallers

remainingDueToCalls

Non-Member Functions

Name	Description
Dbg::dotGraphGenerator	Generate dot graphs for an analysis: it handles intra‐procedural analysis for now.

Created with MrDocs