Structsยง
- Allows loading bodies from previosly written artifacts.
- A mir
Body
and all the additional borrow checking facts that our points-to analysis needs. - Dumping
Visitor ๐A visitor to collect all bodies in the crate and write them to disk. - The subset of borrowcheck facts that the points-to analysis (flowistry) needs.
Constantsยง
Functionsยง
- Some data in a Body is not cross-crate compatible. Usually because it involves storing a LocalDefId. This function makes sure to sanitize those out.
- A complete visit over the local crate items, collecting all bodies and calculating the necessary borrowcheck facts to store for later points-to analysis.
- Create the name of the file in which to store intermediate artifacts.
- load_
body_ ๐and_ facts Try to load aCachedBody
for this id. - Get the path where artifacts from this crate would be stored. Unlike
TyCtxt::crate_extern_paths
this function does not crash when supplied withLOCAL_CRATE
.
Type Aliasesยง
- BodyMap ๐