Crate rustc_mir_dataflow

Modules§

debuginfo
diagnostics 🔒
drop_flag_effects 🔒
fmt: Custom formatting traits used when outputting Graphviz diagrams with the results of a dataflow analysis.
framework 🔒: A framework that can express both gen-kill and generic dataflow problems.
graphviz: A helpful diagram for debugging dataflow problems.
impls
lattice: Traits used to represent lattices for use as the domain of a dataflow analysis.
move_paths: MovePaths track the initialization state of places and their sub-paths.
points
rustc_peek
un_derefer 🔒
value_analysis

Backward: Dataflow that runs from the exit of a block (terminator), to its entry (the first statement).
Forward: Dataflow that runs from the entry of a block (the first statement), to its exit (terminator).
MoveDataTypingEnv
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.
ResultsCursor: Allows random access inspection of the results of a dataflow analysis. Use this when you want to inspect domain values only in certain locations; use ResultsVisitor if you want to inspect domain values in many or all locations.

DropFlagState: The value of an inserted drop flag.
MaybeReachable: Extend a lattice with a bottom value to represent an unreachable execution.
SwitchTargetIndex

Analysis: A dataflow problem with an arbitrarily complex transfer function.
Direction
GenKill: The legal operations for a transfer function in a gen/kill problem.
JoinSemiLattice: A partially ordered set that has a least upper bound for any pair of elements in the set.
ResultsVisitor: A visitor over the results of an Analysis. Use this when you want to inspect domain values in many or all locations; use ResultsCursor if you want to inspect domain values only in certain locations.

drop_flag_effects_for_function_entry: Calls callback for each child move path of the function’s arguments. Note the move paths’ DropFlagState argument to the callback will always be DropFlagState::Present.
drop_flag_effects_for_location
move_path_children_matching
on_all_children_bits
on_lookup_result_bits
visit_results: Calls the visitor methods in vis for every location in every block in blocks. Note that every block in blocks must be reachable, and a debug_assert checks this.