Module rustc_mir::dataflow::at_location [−][src]
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
A nice wrapper to consume dataflow results at several CFG locations.
Re-exports
use rustc::mir::BasicBlock; |
use rustc::mir::Location; |
use rustc_data_structures::indexed_set::IdxSetBuf; |
use rustc_data_structures::indexed_set::Iter; |
use rustc_data_structures::indexed_vec::Idx; |
use dataflow::BitDenotation; |
use dataflow::BlockSets; |
use dataflow::DataflowResults; |
use dataflow::move_paths::HasMoveData; |
use dataflow::move_paths::MovePathIndex; |
use std::iter; |
Structs
FlowAtLocation |
[ Experimental ] Represents the state of dataflow at a particular CFG location, both before and after it is executed. |
Traits
FlowsAtLocation |
[ Experimental ] A trait for "cartesian products" of multiple FlowAtLocation. |