Skip to main content

Module liveness

rustc_mir_dataflow::impls

Module liveness 

Source

Re-exports§

use rustc_index::bit_set::DenseBitSet; 🔒
use rustc_middle::mir::visit::MutatingUseContext; 🔒
use rustc_middle::mir::visit::NonMutatingUseContext; 🔒
use rustc_middle::mir::visit::PlaceContext; 🔒
use rustc_middle::mir::visit::Visitor; 🔒
use rustc_middle::mir; 🔒
use rustc_middle::mir::CallReturnPlaces; 🔒
use rustc_middle::mir::Local; 🔒
use rustc_middle::mir::Location; 🔒
use rustc_middle::mir::Place; 🔒
use rustc_middle::mir::StatementKind; 🔒
use crate::Analysis; 🔒
use crate::Backward; 🔒
use crate::GenKill; 🔒

Structs§

LivenessTransferFunction
MaybeLiveLocals
A live-variable dataflow analysis.
MaybeTransitiveLiveLocals
Like MaybeLiveLocals (and layered on top of MaybeLiveLocals), but does not mark locals as live if they are used in a dead assignment.
YieldResumeEffect 🔒

Enums§

DefUse