Module rustc_mir_dataflow::impls::initialized

source ·

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.