rustc_mir_dataflow/impls/
mod.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
mod borrowed_locals;
mod initialized;
mod liveness;
mod storage_liveness;

pub use self::borrowed_locals::{MaybeBorrowedLocals, borrowed_locals};
pub use self::initialized::{
    EverInitializedPlaces, EverInitializedPlacesDomain, MaybeInitializedPlaces,
    MaybeUninitializedPlaces, MaybeUninitializedPlacesDomain,
};
pub use self::liveness::{
    MaybeLiveLocals, MaybeTransitiveLiveLocals, TransferFunction as LivenessTransferFunction,
};
pub use self::storage_liveness::{
    MaybeRequiresStorage, MaybeStorageDead, MaybeStorageLive, always_storage_live_locals,
};