rustc_mir_transform::coverage

Module graph

Source

Structs§

  • BasicCoverageBlock 🔒
    A node in the control-flow graph of CoverageGraph.
  • 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.
  • ReadyFirstTraversal 🔒
    Iterator that visits nodes in the coverage graph, in an order that always prefers “ready” nodes whose predecessors have already been visited.

Enums§

  • ReadyState 🔒
    State of a node in the coverage graph during ready-first traversal.

Constants§

Functions§