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.