Module impls

Dataflow analyses are built upon some interpretation of the bitvectors attached to each basic block, represented via a zero-sized structure.

Modules

• borrowed_locals 🔒
• initialized 🔒
• liveness 🔒
• storage_liveness 🔒

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.
• LivenessTransferFunction
• MaybeBorrowedLocals
  A dataflow analysis that tracks whether a pointer or reference could possibly exist that points to a given local. This analysis ignores fake borrows, so it should not be used by borrowck.
• MaybeInitializedPlaces
  MaybeInitializedPlaces tracks all places that might be initialized upon reaching a particular point in the control flow for a function.
• MaybeLiveLocals
  A live-variable dataflow analysis.
• 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.
• MaybeStorageDead
• MaybeStorageLive
• MaybeTransitiveLiveLocals
  Like MaybeLiveLocals, but does not mark locals as live if they are used in a dead assignment.
• MaybeUninitializedPlaces
  MaybeUninitializedPlaces tracks all places that might be uninitialized upon reaching a particular point in the control flow for a function.

Functions

• borrowed_locals
  The set of locals that are borrowed at some point in the MIR body.