Module rustc_mir_transform::coverage::spans
source · Modules§
- from_mir 🔒
Structs§
- A BCB is deconstructed into one or more
Spans. EachSpanmaps to aCoverageSpanthat references the originating BCB and one or more MIRStatements and/orTerminators. Initially, theSpans come from theStatements andTerminators, but subsequent transforms can combine adjacentSpans andCoverageSpanfrom the same BCB, merging themerged_spansvectors, and theSpans to cover the extent of the combinedSpans. - Converts the initial set of
CoverageSpans (one per MIRStatementorTerminator) into a minimal set ofCoverageSpans, using the BCB CFG to determine where it is safe and useful to:
Enums§
Functions§
- Extracts coverage-relevant spans from MIR, and associates them with their corresponding BCBs.