DFAResults.h file
Results of running data flow analysis.
Namespaces
- namespace slang
- Root namespace.
- namespace slang::ast
- The SystemVerilog AST.
- namespace slang::analysis
- Post-elaboration analysis framework.
Classes
- class slang::analysis::DFAResults
- Contains the results of running data flow analysis on a procedure.
- struct slang::analysis::DFAResults::LValueSymbol
- Tracks assigned ranges of symbols used as lvalues in the procedure.