Skip to main content Module initialized Copy item path Source EverInitializedPlaces EverInitializedPlaces tracks all initializations that may have occurred
upon reaching a particular point in the control flow for a function,
without an intervening StorageDead.MaybeInitializedPlaces MaybeInitializedPlaces tracks all places that might be
initialized upon reaching a particular point in the control flow
for a function.MaybePlacesSwitchIntData MaybeUninitializedPlaces MaybeUninitializedPlaces tracks all places that might be
uninitialized upon reaching a particular point in the control flow
for a function.EverInitializedPlacesDomain There can be many more InitIndex than there are locals in a MIR body.
We use a mixed bitset to avoid paying too high a memory footprint. MaybeUninitializedPlacesDomain There can be many more MovePathIndex than there are locals in a MIR body.
We use a mixed bitset to avoid paying too high a memory footprint.