Struct rustc_mir_transform::coverage::graph::TraversalContext

pub(super) struct TraversalContext {
    pub loop_backedges: Option<(Vec<BasicCoverageBlock>, BasicCoverageBlock)>,
    pub worklist: Vec<BasicCoverageBlock>,
}

Maintains separate worklists for each loop in the BasicCoverageBlock CFG, plus one for the CoverageGraph outside all loops. This supports traversing the BCB CFG in a way that ensures a loop is completely traversed before processing Blocks after the end of the loop.

Fields

loop_backedges: Option<(Vec<BasicCoverageBlock>, BasicCoverageBlock)>

From one or more backedges returning to a loop header.

worklist: Vec<BasicCoverageBlock>

worklist, to be traversed, of CoverageGraph in the loop with the given loop backedges, such that the loop is the inner inner-most loop containing these CoverageGraph

Trait Implementations

impl Debug for TraversalContext

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

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