Re-exports§
pub use self::drop_flag_effects::DropFlagState;pub use self::drop_flag_effects::drop_flag_effects_for_function_entry;pub use self::drop_flag_effects::drop_flag_effects_for_location;pub use self::drop_flag_effects::move_path_children_matching;pub use self::drop_flag_effects::on_all_children_bits;pub use self::drop_flag_effects::on_lookup_result_bits;pub use self::framework::Analysis;pub use self::framework::Backward;pub use self::framework::Direction;pub use self::framework::EntryStates;pub use self::framework::Forward;pub use self::framework::GenKill;pub use self::framework::JoinSemiLattice;pub use self::framework::MaybeReachable;pub use self::framework::Results;pub use self::framework::ResultsCursor;pub use self::framework::ResultsVisitor;pub use self::framework::SwitchTargetIndex;pub use self::framework::fmt;pub use self::framework::graphviz;pub use self::framework::lattice;pub use self::framework::visit_results;pub(crate) use self::move_paths::MoveData;🔒pub(crate) use rustc_middle::ty;🔒pub(crate) use rustc_middle::util::Providers;🔒
Modules§
- debuginfo
- diagnostics 🔒
- drop_
flag_ 🔒effects - framework 🔒
- A framework that can express both gen-kill and generic dataflow problems.
- impls
- move_
paths MovePaths track the initialization state of places and their sub-paths.- points
- pretty 🔒
- rustc_
peek - un_
derefer 🔒 - value_
analysis