Re-exports§
use std::assert_matches;🔒use rustc_abi::VariantIdx;🔒use rustc_data_structures::fx::FxIndexSet;🔒use rustc_index::bit_set::DenseBitSet;🔒use rustc_index::bit_set::MixedBitSet;🔒use rustc_middle::mir;🔒use rustc_middle::mir::BasicBlock;🔒use rustc_middle::mir::Body;🔒use rustc_middle::mir::CallReturnPlaces;🔒use rustc_middle::mir::Local;🔒use rustc_middle::mir::Location;🔒use rustc_middle::mir::StatementKind;🔒use rustc_middle::mir::TerminatorEdges;🔒use rustc_middle::ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_span::bug;🔒use smallvec::SmallVec;🔒use tracing::instrument;🔒use tracing::instrument;🔒use crate::drop_flag_effects::DropFlagState;🔒use crate::drop_flag_effects::InactiveVariants;🔒use crate::move_paths::HasMoveData;🔒use crate::move_paths::Init;🔒use crate::move_paths::InitKind;🔒use crate::move_paths::InitLocation;🔒use crate::move_paths::LookupResult;🔒use crate::move_paths::MoveData;🔒use crate::move_paths::MovePathIndex;🔒use crate::Analysis;🔒use crate::GenKill;🔒use crate::MaybeReachable;🔒use crate::SwitchTargetIndex;🔒use crate::drop_flag_effects;🔒use crate::drop_flag_effects_for_function_entry;🔒use crate::drop_flag_effects_for_location;🔒use crate::on_all_children_bits;🔒use crate::on_lookup_result_bits;🔒
Structs§
- Ever
Initialized Places EverInitializedPlacestracks all initializations of locals that may have occurred upon reaching a particular point in the control flow for a function, without an interveningStorageDead.- Maybe
Initialized Places MaybeInitializedPlacestracks all places that might be initialized upon reaching a particular point in the control flow for a function.- Maybe
Places Switch IntData - Maybe
Uninitialized Places MaybeUninitializedPlacestracks all places that might be uninitialized upon reaching a particular point in the control flow for a function.
Type Aliases§
- Ever
Initialized Places Domain - Maybe
Uninitialized Places Domain - There can be many more
MovePathIndexthan there are locals in a MIR body. We use a mixed bitset to avoid paying too high a memory footprint.