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.