Struct PoloniusContext

pub(crate) struct PoloniusContext {
    liveness_context: PoloniusLivenessContext,
    live_regions: SparseBitMatrix<PointIndex, RegionVid>,
}

This struct holds the data needed to create the Polonius localized constraints. Its data is transferred and converted from the PoloniusLivenessContext at the end of MIR typeck.

Fields

liveness_context: PoloniusLivenessContext

The liveness data we recorded during MIR typeck.

live_regions: SparseBitMatrix<PointIndex, RegionVid>

The set of regions that are live at a given point in the CFG, used to create localized outlives constraints between regions that are live at connected points in the CFG.

Implementations

impl PoloniusContext

pub(crate) fn create_from_liveness( liveness_context: PoloniusLivenessContext, num_regions: usize, points_per_live_region: &SparseIntervalMatrix<RegionVid, PointIndex>, ) -> PoloniusContext

Unlike NLLs, in polonius we traverse the cfg to look for regions live across an edge, so we need to transpose the “points where each region is live” matrix to a “live regions per point” matrix.

pub(crate) fn compute_loan_liveness<'tcx>( self, tcx: TyCtxt<'tcx>, regioncx: &mut RegionInferenceContext<'tcx>, body: &Body<'tcx>, borrow_set: &BorrowSet<'tcx>, ) -> PoloniusDiagnosticsContext

Computes live loans using the set of loans model for -Zpolonius=next.

First, creates a constraint graph combining regions and CFG points, by:

• converting NLL typeck constraints to be localized
• encoding liveness constraints

Then, this graph is traversed, and combined with kills, reachability is recorded as loan liveness, to be used by the loan scope and active loans computations.

The constraint data will be used to compute errors and diagnostics.

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