rustc_mir_dataflow::framework

Module results

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

Type Aliases§