Struct rustc_borrowck::region_infer::values::LivenessValues

pub(crate) struct LivenessValues<N: Idx> {
    elements: Rc<RegionValueElements>,
    points: SparseBitMatrix<N, PointIndex>,
}

When we initially compute liveness, we use a bit matrix storing points for each region-vid.

Fields

elements: Rc<RegionValueElements>

points: SparseBitMatrix<N, PointIndex>

Implementations

impl<N: Idx> LivenessValues<N>

pub(crate) fn new(elements: Rc<RegionValueElements>) -> Self

Creates a new set of “region values” that tracks causal information. Each of the regions in num_region_variables will be initialized with an empty set of points and no causal information.

pub(crate) fn rows(&self) -> impl Iterator<Item = N>

Iterate through each region that has a value in this set.

pub(crate) fn add_element(&mut self, row: N, location: Location) -> bool

Adds the given element to the value for the given region. Returns whether the element is newly added (i.e., was not already present).

pub(crate) fn add_elements(
    &mut self,
    row: N,
    locations: &HybridBitSet<PointIndex>
) -> bool

Adds all the elements in the given bit array into the given region. Returns whether any of them are newly added.

pub(crate) fn add_all_points(&mut self, row: N)

Adds all the control-flow points to the values for r.

pub(crate) fn contains(&self, row: N, location: Location) -> bool

Returns true if the region r contains the given element.

pub(crate) fn get_elements(&self, row: N) -> impl Iterator<Item = Location> + '_

Returns an iterator of all the elements contained by the region r

pub(crate) fn region_value_str(&self, r: N) -> String

Returns a “pretty” string value of the region. Meant for debugging.

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: 40 bytes