Module rustc_mir::dataflow::impls [−][src]
Expand description
Dataflow analyses are built upon some interpretation of the bitvectors attached to each basic block, represented via a zero-sized structure.
Modules
A less precise version of MaybeInitializedPlaces whose domain is entire locals.
Structs
Borrows stores the data used in the analyses that track the flow
of borrows.
DefinitelyInitializedPlaces tracks all places that are definitely
initialized upon reaching a particular point in the control flow
for a function.
EverInitializedPlaces tracks all places that might have ever been
initialized upon reaching a particular point in the control flow
for a function, without an intervening StorageDead.
A dataflow analysis that tracks whether a pointer or reference could possibly exist that points to a given local.
MaybeInitializedPlaces tracks all places that might be
initialized upon reaching a particular point in the control flow
for a function.
Dataflow analysis that determines whether each local requires storage at a given location; i.e. whether its storage can go away without being observed.
MaybeUninitializedPlaces tracks all places that might be
uninitialized upon reaching a particular point in the control flow
for a function.
Functions
Inspect a SwitchInt-terminated basic block to see if the condition of that SwitchInt is
an enum discriminant.