Module move_paths 

MovePaths track the initialization state of places and their sub-paths.

Modules

builder 🔒

Structs

Init

Init represents a point in a program that initializes some L-value. The dual of MoveOut.

InitIndex

Index identifying an Init.

LocationMap

MoveData

MoveOut

MoveOut represents a point in a program that moves out of some L-value; i.e., “creates” uninitialized memory. The dual of Init.

MoveOutIndex

Index identifying a MoveOut.

MovePath

MovePath is a canonicalized representation of a place that is of interest to dataflow analysis, as identified by gather_moves. This is primarily places that are moved or inited (assigned). Each MovePath is assigned a MovePathIndex by which it can be referred to.

MovePathIndex

Index identifying a MovePath.

MovePathLinearIter 🔒

MovePathLookup

Tables mapping from a place to its MovePathIndex.

Enums

InitKind

Additional information about the initialization.

InitLocation

Initializations can be from an argument or from a statement. Arguments do not have locations, in those cases the Local is kept.

LookupResult

MoveSubPath 🔒

A projection into a move path producing a child path

MoveSubPathResult 🔒

Traits

HasMoveData