Structs§
- A node in the control-flow graph of CoverageGraph.
BasicCoverageBlockDataholds the data indexed by aBasicCoverageBlock.- A coverage-specific simplification of the MIR control flow graph (CFG). The
CoverageGraphs nodes areBasicCoverageBlocks, which encompass one or more MIRBasicBlocks. - Wrapper around a
mir::BasicBlocksgraph that restricts each node’s successors to only the ones considered “relevant” when building a coverage graph. - 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.
- 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.