Skip to main content

Module results

rustc_mir_dataflow::framework

Module results 

Source
Expand description

Dataflow analysis results.

Re-exports§

use rustc_index::IndexVec; 🔒
use rustc_middle::mir::BasicBlock; 🔒
use rustc_middle::mir::Body; 🔒
use super::Analysis; 🔒
use super::ResultsCursor; 🔒

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, or ResultsVisitor impls). The analysis is also present because it’s often needed alongside the entry states.

Type Aliases§

EntryStates