Struct PoloniusLocationTable 

pub struct PoloniusLocationTable {
    num_points: usize,
    statements_before_block: IndexVec<BasicBlock, usize>,
}

Maps between a MIR Location, which identifies a particular statement within a basic block, to a “rich location”, which identifies at a finer granularity. In particular, we distinguish the start of a statement and the mid-point. The mid-point is the point just before the statement takes effect; in particular, for an assignment A = B, it is the point where B is about to be written into A. This mid-point is a kind of hack to work around our inability to track the position information at sufficient granularity through outlives relations; however, the rich location table serves another purpose: it compresses locations from multiple words into a single u32.

Fields

num_points: usize

statements_before_block: IndexVec<BasicBlock, usize>

Implementations

impl PoloniusLocationTable

pub(crate) fn new(body: &Body<'_>) -> Self

pub fn all_points(&self) -> impl Iterator<Item = LocationIndex>

pub fn start_index(&self, location: Location) -> LocationIndex

pub fn mid_index(&self, location: Location) -> LocationIndex

pub fn to_rich_location(&self, index: LocationIndex) -> RichLocation

pub fn to_location(&self, index: LocationIndex) -> Location

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 32 bytes