slang/analysis/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.