#include <slang/analysis/DataFlowAnalysis.h>

template<typename TDerived, typename TState>

slang::analysis::DataFlowAnalysis class

The base class for data flow analysis implementations.

Augments the AbstractFlowAnalysis class with logic for tracking assigned states of symbols within the procedure.

Base classes

template<typename TDerived, typename TState>

class AbstractFlowAnalysis<TDerived, TState>

An abstract class for flow analysis passes over SystemVerilog code.

class DFAResults

Contains the results of running data flow analysis on a procedure.

Constructors, destructors, conversion operators

DataFlowAnalysis(AnalysisContext& context, const Symbol& symbol, bool reportDiags) protected

Constructs a new DataFlowAnalysis object.

Public functions

void run()

Runs the analysis.

Public variables

AnalysisContext& context

The context used to perform analysis.