slang Documentation
  1. User Manual
    1. Command Line Reference
    2. Language Support
    3. Warning Reference
    4. Tools
  2. Developer Guide
    1. Building & Installation
    2. Compilation Overview
    3. Common Components
    4. Source Management
    5. Diagnostic APIs
    6. Parsing and Syntax
  1. API Reference
    1. Namespaces
    2. Classes
    3. Files
  2. Try It
  3. GitHub

Navigation

  • slang
  • analysis
  • AbstractFlowAnalysis (class)
  • AnalysisContext (class)
  • AnalysisFlags (enum)
  • AnalysisManager (class)
  • AnalysisOptions (struct)
  • AnalyzedAssertion (class)
  • AnalyzedProcedure (class)
  • AnalyzedScope (class)
  • CaseDecisionDag (class)
  • ClockInference (class)
  • DataFlowAnalysis (class)
  • DataFlowState (struct)
  • DefaultDFA (class)
  • DFAResults (class)
  • DriverFlags (enum)
  • DriverSource (enum)
  • DriverTracker (class)
  • FlowAnalysisBase (class)
  • InstanceDriverState (struct)
  • ReadRange (struct)
  • SensitivityList (struct)
  • ValueDriver (class)
API Reference:
  • 📁 Namespaces
  • 🏛️ Classes
  • 📄 Files

slang::analysis::DataFlowState struct
#include <slang/analysis/DataFlowAnalysis.h>

Represents the state of a data flow analysis at a single point in a procedure.

Public variables

SmallVector<SymbolBitMap, 2> assigned
Each tracked variable has its assigned intervals stored here.
bool reachable
Whether the control flow that arrived at this point is reachable.

Contents

  • Public variables
Tab / T to search, Esc to close
…

Search for symbols, directories, files, pages or modules. You can omit any prefix from the symbol or file path; adding a : or / suffix lists all members of given symbol or directory.

Use ↓ / ↑ to navigate through the list, Enter to go. Tab autocompletes common prefix, you can copy a link to the result using ⌘ L while ⌘ M produces a Markdown link.

Sorry, nothing was found.
Maybe try a full-text search with external engine?

    slang SystemVerilog language services. Copyright (C) 2015-2026 Michael Popoloski.
    Code is available on GitHub under the MIT license.