List of all items[−]
Structs
- Backward
- Engine
- Forward
- MoveDataParamEnv
- Results
- ResultsCursor
- elaborate_drops::DropCtxt
- fmt::DebugDiffWithAdapter
- fmt::DebugWithAdapter
- framework::EffectIndex
- framework::GenKillSet
- framework::SwitchIntTarget
- framework::cursor::CursorPosition
- framework::cursor::ResultsCursor
- framework::direction::Backward
- framework::direction::Forward
- framework::direction::SwitchIntEdgeEffectApplier
- framework::engine::Engine
- framework::engine::Results
- framework::engine::RustcMirAttrs
- framework::fmt::DebugDiffWithAdapter
- framework::fmt::DebugWithAdapter
- framework::graphviz::BlockFormatter
- framework::graphviz::CfgEdge
- framework::graphviz::Formatter
- framework::graphviz::StateDiffCollector
- framework::lattice::Dual
- graphviz::CfgEdge
- graphviz::Formatter
- impls::DefinitelyInitializedPlaces
- impls::EverInitializedPlaces
- impls::MaybeBorrowedLocals
- impls::MaybeInitializedLocals
- impls::MaybeInitializedPlaces
- impls::MaybeLiveLocals
- impls::MaybeRequiresStorage
- impls::MaybeStorageLive
- impls::MaybeUninitializedPlaces
- impls::borrowed_locals::AnyBorrow
- impls::borrowed_locals::MaybeBorrowedLocals
- impls::borrowed_locals::MutBorrow
- impls::borrowed_locals::TransferFunction
- impls::init_locals::MaybeInitializedLocals
- impls::init_locals::TransferFunction
- impls::liveness::MaybeLiveLocals
- impls::liveness::TransferFunction
- impls::storage_liveness::MaybeRequiresStorage
- impls::storage_liveness::MaybeStorageLive
- impls::storage_liveness::MoveVisitor
- lattice::Dual
- move_paths::IllegalMoveOrigin
- move_paths::Init
- move_paths::InitIndex
- move_paths::LocationMap
- move_paths::MoveData
- move_paths::MoveOut
- move_paths::MoveOutIndex
- move_paths::MovePath
- move_paths::MovePathIndex
- move_paths::MovePathLinearIter
- move_paths::MovePathLookup
- move_paths::abs_domain::AbstractOperand
- move_paths::abs_domain::AbstractType
- move_paths::builder::Gatherer
- move_paths::builder::MoveDataBuilder
- rustc_peek::PeekCall
- rustc_peek::SanityCheck
- storage::AlwaysLiveLocals
Enums
- elaborate_drops::DropFlagMode
- elaborate_drops::DropFlagState
- elaborate_drops::DropStyle
- elaborate_drops::Unwind
- framework::Effect
- framework::graphviz::Background
- framework::graphviz::OutputStyle
- framework::lattice::FlatSet
- graphviz::OutputStyle
- impls::liveness::DefUse
- lattice::FlatSet
- move_paths::IllegalMoveOriginKind
- move_paths::InitKind
- move_paths::InitLocation
- move_paths::LookupResult
- move_paths::MoveError
- rustc_peek::PeekCallKind
Traits
- Analysis
- AnalysisDomain
- Direction
- GenKill
- GenKillAnalysis
- JoinSemiLattice
- ResultsVisitable
- ResultsVisitor
- elaborate_drops::DropElaborator
- fmt::DebugWithContext
- framework::Analysis
- framework::AnalysisDomain
- framework::GenKill
- framework::GenKillAnalysis
- framework::SwitchIntEdgeEffects
- framework::direction::Direction
- framework::fmt::DebugWithContext
- framework::lattice::JoinSemiLattice
- framework::lattice::MeetSemiLattice
- framework::visitor::ResultsVisitable
- framework::visitor::ResultsVisitor
- impls::borrowed_locals::BorrowAnalysisKind
- lattice::JoinSemiLattice
- lattice::MeetSemiLattice
- move_paths::HasMoveData
- move_paths::abs_domain::Lift
- rustc_peek::RustcPeekAt
Macros
Functions
- drop_flag_effects::drop_flag_effects_for_function_entry
- drop_flag_effects::drop_flag_effects_for_location
- drop_flag_effects::for_location_inits
- drop_flag_effects::move_path_children_matching
- drop_flag_effects::on_all_children_bits
- drop_flag_effects::on_all_drop_children_bits
- drop_flag_effects::on_all_inactive_variants
- drop_flag_effects::on_lookup_result_bits
- drop_flag_effects::place_contents_drop_state_cannot_differ
- elaborate_drops::elaborate_drop
- framework::direction::opt_clone_from_or_clone
- framework::engine::write_graphviz_results
- framework::graphviz::dataflow_successors
- framework::graphviz::diff_pretty
- framework::visitor::visit_results
- has_rustc_mir_with
- impls::switch_on_enum_discriminant
- move_paths::builder::gather_moves
- rustc_peek::sanity_check_via_rustc_peek
- rustc_peek::value_assigned_to_local
- visit_results