Module initialized

Structs

• DefinitelyInitializedPlaces
  DefinitelyInitializedPlaces tracks all places that are definitely initialized upon reaching a particular point in the control flow for a function.
• EverInitializedPlaces
  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.
• MaybeInitializedPlaces
  MaybeInitializedPlaces tracks all places that might be initialized upon reaching a particular point in the control flow for a function.
• MaybeUninitializedPlaces
  MaybeUninitializedPlaces tracks all places that might be uninitialized upon reaching a particular point in the control flow for a function.

Functions

• switch_on_enum_discriminant 🔒
  Inspect a SwitchInt-terminated basic block to see if the condition of that SwitchInt is an enum discriminant.