Expand description
Dataflow analysis results.
Structs§
- Results
- The results of a dataflow analysis that has converged to fixpoint. It holds the domain values
(states) 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, orResultsVisitorimpls). The analysis is also present because it’s often needed alongside the entry states.