Module graph

Structs

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 🔒

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.

CoverageRelevantSubgraph 🔒

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.

Constants

START_BCB 🔒

Functions

bcb_filtered_successors 🔒