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.