Module impls 

Re-exports

pub use self::borrowed_locals::MaybeBorrowedLocals;

pub use self::borrowed_locals::borrowed_locals;

pub use self::initialized::EverInitializedPlaces;

pub use self::initialized::EverInitializedPlacesDomain;

pub use self::initialized::MaybeInitializedPlaces;

pub use self::initialized::MaybeUninitializedPlaces;

pub use self::initialized::MaybeUninitializedPlacesDomain;

pub use self::liveness::DefUse;

pub use self::liveness::LivenessTransferFunction;

pub use self::liveness::MaybeLiveLocals;

pub use self::liveness::MaybeTransitiveLiveLocals;

pub use self::precise_liveness::SplitPointEffect;

pub use self::precise_liveness::SplitPointIndex;

pub use self::precise_liveness::VisitAllocatedLocalsWith;

pub use self::precise_liveness::VisitDeallocatedLocalsWith;

pub use self::precise_liveness::dump_liveness_matrix;

pub use self::precise_liveness::liveness_matrix;

pub use self::storage_liveness::MaybeRequiresStorage;

pub use self::storage_liveness::MaybeStorageDead;

pub use self::storage_liveness::MaybeStorageLive;

pub use self::storage_liveness::always_storage_live_locals;

Modules

borrowed_locals 🔒

initialized 🔒

liveness 🔒

precise_liveness 🔒

Computes the points where each local must have a distinct allocation.

storage_liveness 🔒