Expand description
MovePaths track the initialization state of places and their sub-paths.
Modules§
- builder 🔒
Structs§
- Init
Initrepresents a point in a program that initializes some L-value;- Init
Index - Location
Map - Move
Data - MoveOut
MoveOutrepresents a point in a program that moves out of some L-value; i.e., “creates” uninitialized memory.- Move
OutIndex - Move
Path MovePathis a canonicalized representation of a path that is moved or assigned to.- Move
Path Index - Move
Path 🔒Linear Iter - Move
Path Lookup - Tables mapping from a place to its MovePathIndex.
Enums§
- Init
Kind - Additional information about the initialization.
- Init
Location - Initializations can be from an argument or from a statement. Arguments
do not have locations, in those cases the
Localis kept.. - Lookup
Result - Move
SubPath - A projection into a move path producing a child path
- Move
SubPath Result