rustc_mir_transform::coverage::graph - Rust (original) (raw)
BasicCoverageBlock đź”’
During the InstrumentCoverage MIR pass, a BCB is a node in the “coverage graph”, which is a refinement of the MIR control-flow graph that merges or omits some blocks that aren’t relevant to coverage.
BasicCoverageBlockData holds the data indexed by a BasicCoverageBlock.
CoverageGraph đź”’
A coverage-specific simplification of the MIR control flow graph (CFG). The CoverageGraphs nodes are BasicCoverageBlocks, which encompass one or more MIR BasicBlocks.
Wrapper around a mir::BasicBlocks graph that restricts each node’s successors to only the ones considered “relevant” when building a coverage graph.
CoverageSuccessors đź”’
Holds the coverage-relevant successors of a basic block’s terminator, and indicates whether that block can potentially be combined into the same BCB as its sole successor.
START_BCB đź”’