Module results

Source
Expand description

Dataflow analysis results.

Structs§

AnalysisAndResults
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, or ResultsVisitor impls).