[][src]Module rustc_mir::dataflow::impls

🔬 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?

Dataflow analyses are built upon some interpretation of the bitvectors attached to each basic block, represented via a zero-sized structure.

Re-exports

pub use self::storage_liveness::*;
pub use self::borrowed_locals::*;

Modules

borrowed_locals [
Experimental
]
borrows [
Experimental
]
storage_liveness [
Experimental
]

Structs

DefinitelyInitializedPlaces [
Experimental
]

DefinitelyInitializedPlaces tracks all places that are definitely initialized upon reaching a particular point in the control flow for a function.

EverInitializedPlaces [
Experimental
]

EverInitializedPlaces tracks all places that might have ever been initialized upon reaching a particular point in the control flow for a function, without an intervening Storage Dead.

MaybeInitializedPlaces [
Experimental
]

MaybeInitializedPlaces tracks all places that might be initialized upon reaching a particular point in the control flow for a function.

MaybeUninitializedPlaces [
Experimental
]

MaybeUninitializedPlaces tracks all places that might be uninitialized upon reaching a particular point in the control flow for a function.