Expand description
Ghost statements are statements that are not part of the original mir, but are added from information extracted from the compiler or some additional analysis.
Modules§
- fold_
unfold 🔒 - points_
to 🔒 - This module implements a points-to analysis for mutable references.
Structs§
Enums§
- Ghost
Statement 🔒 - Point 🔒
- A point in the control flow graph where ghost statements can be inserted.
Functions§
Type Aliases§
- EdgeMap 🔒
- Location
Map 🔒