Expand description
Dataflow analysis results.
Structs§
- Analysis
AndResults - Utility type used in a few places where it’s convenient to bundle an analysis with its results.
Type Aliases§
- Results
- The results of 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).