ConstrGraphAnalysis

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/simpleAnalyses/ConstrGraphAnalysis.h>

class ConstrGraphAnalysis
    : public IntraFWDataflow

Base Classes

Name	Description
IntraFWDataflow

Member Functions

Name

ConstrGraphAnalysis [constructor]

genInitState [virtual]

incorporateConditionalsInfo

removeConstrDivVars

transfer [virtual]

Protected Data Members

Name

divAnalysis

ldva

Protected Static Data Members

Name

constVars

Non-Member Functions

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

Created with MrDocs