Module value_analysis

Structs

• Children 🔒
• Map
  Partial mapping from Place to PlaceIndex, where some places also have a ValueIndex.
• PlaceCollector 🔒
• PlaceIndex
  This index uniquely identifies a place.
• PlaceInfo 🔒
  This is the information tracked for every PlaceIndex and is stored by Map.
• StateData
  See State.
• ValueIndex 🔒
  This index uniquely identifies a tracked place and therefore a slot in State.

Enums

• State
  Dataflow state.
• TrackElem
  The set of projection elements that can be used by a tracked place.
• ValueOrPlace
  Used as the result of an operand or r-value.

Functions

• debug_with_context
• debug_with_context_rec 🔒
• excluded_locals
  Returns all locals with projections that have their reference or address taken.
• iter_fields
  Invokes f on all direct fields of ty.