Expand description
Metadata from source code coverage analysis and instrumentation.
Structs§
- Basic
Coverage Block - During the
InstrumentCoverageMIR 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. - Block
Marker Id - Used by
CoverageKind::BlockMarkerto mark blocks during THIR-to-MIR lowering, so that those blocks can be identified later. - Branch
Span - Condition
Id - ID of a mcdc condition. Used by llvm to check mcdc coverage.
- Condition
Info - Counter
Id - ID of a coverage counter. Values ascend from 0.
- Coverage
IdsInfo - Contains information needed during codegen, obtained by inspecting the function’s MIR after MIR optimizations.
- Coverage
Info Hi - Coverage information for a function, recorded during MIR building and
attached to the corresponding
mir::Body. Used by theInstrumentCoverageMIR pass. - Decision
Info - Expression
- Expression
Id - ID of a coverage-counter expression. Values ascend from 0.
- Function
Coverage Info - Stores per-function coverage information attached to a
mir::Body, to be used in conjunction with the individual coverage statements injected into the function’s basic blocks. - MCDC
Branch Span - MCDC
Decision Span - Mapping
- Node
Flow Data - Data representing a view of some underlying graph, in which each node’s successors have been merged into a single “supernode”.
Enums§
- CovTerm
- Enum that can hold a constant zero value, the ID of an physical coverage counter, or the ID of a coverage-counter expression.
- Coverage
Kind - Mapping
Kind - Op