Expand description

Dataflow analyses are built upon some interpretation of the bitvectors attached to each basic block, represented via a zero-sized structure.

Modules

Structs

Functions

  • The set of locals that are borrowed at some point in the MIR body.