Module storage_liveness 

Re-exports

use std::borrow::Cow; 🔒

use rustc_data_structures::fx::FxHashMap; 🔒

use rustc_index::bit_set::DenseBitSet; 🔒

use rustc_middle::mir::visit::NonMutatingUseContext; 🔒

use rustc_middle::mir::visit::PlaceContext; 🔒

use rustc_middle::mir::visit::Visitor; 🔒

use smallvec::SmallVec; 🔒

use super::MaybeBorrowedLocals; 🔒

use crate::Analysis; 🔒

use crate::GenKill; 🔒

use crate::Results; 🔒

use crate::ResultsCursor; 🔒

use rustc_middle::mir::*; 🔒

Structs

MaybeRequiresStorage

Dataflow analysis that determines whether each local requires storage at a given location; i.e. whether its storage can go away without being observed.

MaybeStorageDead

MaybeStorageLive

Functions

always_storage_live_locals

The set of locals in a MIR body that do not have StorageLive/StorageDead annotations.

Type Aliases

KillableLocals 🔒

For each location, records which locals can be killed by MaybeRequiresStorage.