slang/analysis/DataFlowAnalysis.h file

Data flow analysis pass.

Namespaces

namespace slang
Root namespace.
namespace slang::analysis
Post-elaboration analysis framework.

Classes

template<typename TDerived, typename TState>
class slang::analysis::DataFlowAnalysis
The base class for data flow analysis implementations.
struct slang::analysis::DataFlowState
Represents the state of a data flow analysis at a single point in a procedure.
class slang::analysis::DefaultDFA
The default concrete implementation of data flow analysis.