Module move_stackless_bytecode::borrow_analysis
source · [−]Expand description
Data flow analysis computing borrow information for preparation of memory_instrumentation.
Structs
Borrow analysis processor.
Borrow annotation computed by the borrow analysis processor.
Represents a write-back from a source node to a destination node with the associated edge
Functions
Format a borrow annotation.