struct
DataFlowStateRepresents 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.