Expand description
Dataflow analysis results.
Structs§
- Results
- A dataflow analysis that has converged to fixpoint. It only holds the domain values at the
entry of each basic block. Domain values in other parts of the block are recomputed on the fly
by visitors (i.e.
ResultsCursor
, orResultsVisitor
impls).