Structs§
- Maps between a
Location
and aPointIndex
(and vice versa). - A single integer representing a
Location
in the MIR control-flow graph. Constructed efficiently fromDenseLocationMap
. - Visitor 🔒
Functions§
- Add points depending on the result of the given dataflow analysis.