Module rustc_mir::dataflow::impls [−][src]
Dataflow analyses are built upon some interpretation of the bitvectors attached to each basic block, represented via a zero-sized structure.
Modules
borrowed_locals | |
borrows | |
init_locals | A less precise version of |
liveness | |
storage_liveness |
Structs
Borrows |
|
DefinitelyInitializedPlaces |
|
EverInitializedPlaces |
|
MaybeBorrowedLocals | A dataflow analysis that tracks whether a pointer or reference could possibly exist that points to a given local. |
MaybeInitializedLocals | |
MaybeInitializedPlaces |
|
MaybeLiveLocals | |
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. |
MaybeStorageLive | |
MaybeUninitializedPlaces |
|
Functions
switch_on_enum_discriminant | Inspect a |
Type Definitions
MaybeMutBorrowedLocals |