List of all items
Structs
- Backward
- Engine
- Forward
- MoveDataParamEnv
- Results
- ResultsCursor
- elaborate_drops::DropCtxt
- errors::DuplicateValuesFor
- errors::PathMustEndInFilename
- errors::PeekArgumentNotALocal
- errors::PeekArgumentUntracked
- errors::PeekBitNotSet
- errors::PeekMustBeNotTemporary
- errors::PeekMustBePlaceOrRefPlace
- errors::RequiresAnArgument
- errors::StopAfterDataFlowEndedCompilation
- errors::UnknownFormatter
- fmt::DebugDiffWithAdapter
- fmt::DebugWithAdapter
- framework::EffectIndex
- framework::GenKillSet
- framework::SwitchIntTarget
- framework::cursor::CursorPosition
- framework::cursor::ResultsCursor
- framework::direction::Backward
- framework::direction::BackwardSwitchIntEdgeEffectsApplier
- framework::direction::Forward
- framework::direction::ForwardSwitchIntEdgeEffectsApplier
- 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::LivenessTransferFunction
- impls::MaybeBorrowedLocals
- impls::MaybeInitializedPlaces
- impls::MaybeLiveLocals
- impls::MaybeRequiresStorage
- impls::MaybeStorageDead
- impls::MaybeStorageLive
- impls::MaybeTransitiveLiveLocals
- impls::MaybeUninitializedPlaces
- impls::borrowed_locals::MaybeBorrowedLocals
- impls::borrowed_locals::TransferFunction
- impls::initialized::DefinitelyInitializedPlaces
- impls::initialized::EverInitializedPlaces
- impls::initialized::MaybeInitializedPlaces
- impls::initialized::MaybeUninitializedPlaces
- impls::liveness::MaybeLiveLocals
- impls::liveness::MaybeTransitiveLiveLocals
- impls::liveness::TransferFunction
- impls::liveness::YieldResumeEffect
- impls::storage_liveness::MaybeRequiresStorage
- impls::storage_liveness::MaybeStorageDead
- 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
- un_derefer::ProjectionIter
- un_derefer::SlicePlusOne
- un_derefer::UnDerefer
- value_analysis::Children
- value_analysis::Map
- value_analysis::PlaceIndex
- value_analysis::PlaceInfo
- value_analysis::State
- value_analysis::ValueAnalysisWrapper
- value_analysis::ValueIndex
Enums
- MaybeReachable
- elaborate_drops::DropFlagMode
- elaborate_drops::DropFlagState
- elaborate_drops::DropStyle
- elaborate_drops::Unwind
- framework::Effect
- framework::graphviz::Background
- framework::graphviz::OutputStyle
- framework::lattice::FlatSet
- framework::lattice::MaybeReachable
- graphviz::OutputStyle
- impls::liveness::DefUse
- lattice::FlatSet
- lattice::MaybeReachable
- move_paths::IllegalMoveOriginKind
- move_paths::InitKind
- move_paths::InitLocation
- move_paths::LookupResult
- move_paths::MoveError
- rustc_peek::PeekCallKind
- value_analysis::StateData
- value_analysis::TrackElem
- value_analysis::ValueOrPlace
Traits
- Analysis
- AnalysisDomain
- AnalysisResults
- CloneAnalysis
- Direction
- GenKill
- GenKillAnalysis
- JoinSemiLattice
- ResultsVisitable
- ResultsVisitor
- SwitchIntEdgeEffects
- elaborate_drops::DropElaborator
- fmt::DebugWithContext
- framework::Analysis
- framework::AnalysisDomain
- framework::BitSetExt
- framework::CloneAnalysis
- framework::GenKill
- framework::GenKillAnalysis
- framework::SwitchIntEdgeEffects
- framework::cursor::AnalysisResults
- framework::direction::Direction
- framework::fmt::DebugWithContext
- framework::lattice::HasBottom
- framework::lattice::HasTop
- framework::lattice::JoinSemiLattice
- framework::lattice::MeetSemiLattice
- framework::visitor::ResultsVisitable
- framework::visitor::ResultsVisitor
- lattice::HasBottom
- lattice::HasTop
- lattice::JoinSemiLattice
- lattice::MeetSemiLattice
- move_paths::HasMoveData
- move_paths::abs_domain::Lift
- rustc_peek::RustcPeekAt
- value_analysis::ValueAnalysis
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
- elaborate_drops::elaborate_drop
- framework::direction::opt_clone_from_or_clone
- framework::engine::write_graphviz_results
- framework::fmt::fmt_diff
- framework::graphviz::dataflow_successors
- framework::graphviz::diff_pretty
- framework::visitor::visit_results
- has_rustc_mir_with
- impls::borrowed_locals
- impls::borrowed_locals::borrowed_locals
- impls::initialized::switch_on_enum_discriminant
- move_paths::builder::gather_moves
- rustc_peek::sanity_check_via_rustc_peek
- rustc_peek::value_assigned_to_local
- storage::always_storage_live_locals
- value_analysis::debug_with_context
- value_analysis::debug_with_context_rec
- value_analysis::excluded_locals
- value_analysis::iter_fields
- visit_results
Type Aliases
- ResultsCloned
- ResultsClonedCursor
- ResultsRefCursor
- framework::cursor::ResultsClonedCursor
- framework::cursor::ResultsRefCursor
- framework::engine::EntrySets
- framework::engine::ResultsCloned
- impls::storage_liveness::BorrowedLocalsResults
- move_paths::abs_domain::AbstractElem
- move_paths::builder::MoveDat
Statics
Constants
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_DuplicateValuesFor
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_PathMustEndInFilename
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_PeekArgumentNotALocal
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_PeekArgumentUntracked
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_PeekBitNotSet
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_PeekMustBeNotTemporary
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_PeekMustBePlaceOrRefPlace
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_RequiresAnArgument
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_StopAfterDataFlowEndedCompilation
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_UnknownFormatter