[−][src]Module rustc_mir::dataflow

Modules

drop_flag_effects
framework	A framework that can express both gen-kill and generic dataflow problems.
impls	Dataflow analyses are built upon some interpretation of the bitvectors attached to each basic block, represented via a zero-sized structure.
indexes
move_paths

Backward	Dataflow that runs from the exit of a block (the terminator), to its entry (the first statement).
Engine	A solver for dataflow problems.
Forward	Dataflow that runs from the entry of a block (the first statement), to its exit (terminator).
MoveDataParamEnv
Results	A dataflow analysis that has converged to fixpoint.
ResultsCursor	Allows random access inspection of the results of a dataflow analysis.

Analysis	A dataflow problem with an arbitrarily complex transfer function.
AnalysisDomain	Define the domain of a dataflow problem.
BottomValue	Parameterization for the precise form of data flow that is used.
GenKill	The legal operations for a transfer function in a gen/kill problem.
GenKillAnalysis	A gen/kill dataflow problem.
ResultsVisitor

has_rustc_mir_with
visit_results	Calls the corresponding method in `ResultsVisitor` for every location in a `mir::Body` with the dataflow state at that location.

BorrowckFlowState	The transient state of the dataflow analyses used by the borrow checker.
BorrowckResults	The results of the dataflow analyses used by the borrow checker.
ResultsRefCursor	A `ResultsCursor` that borrows the underlying `Results`.