struct
#include <slang/analysis/DataFlowAnalysis.h>
DataFlowState 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.