Module points

Structs

DenseLocationMap

Maps between a Location and a PointIndex (and vice versa).

PointIndex

A single integer representing a Location in the MIR control-flow graph. Constructed efficiently from DenseLocationMap.

Visitor 🔒

Functions

save_as_intervals

Add points depending on the result of the given dataflow analysis.