Module coverage

Expand description

Metadata from source code coverage analysis and instrumentation.

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.
BlockMarkerId: Used by CoverageKind::BlockMarker to mark blocks during THIR-to-MIR lowering, so that those blocks can be identified later.
BranchSpan
CounterId: ID of a coverage counter. Values ascend from 0.
CoverageCodegenInfo: Contains information needed during codegen, obtained by inspecting the function’s MIR after MIR optimizations.
CoverageEarlyInfo: Coverage information for a function, collected in advance at the THIR/MIR boundary during MIR building, and attached to the corresponding mir::Body.
CoverageMirInfo: Coverage information for a function, collected during the InstrumentCoverage MIR pass and stored in the mir::Body for later use by coverage codegen.
Expression
ExpressionId: ID of a coverage-counter expression. Values ascend from 0.
Mapping
NodeFlowData: Data representing a view of some underlying graph, in which each node’s successors have been merged into a single “supernode”.

CovTerm: Enum that can hold a constant zero value, the ID of an physical coverage counter, or the ID of a coverage-counter expression.
CoverageKind
MappingKind
Op