Module rustc_mir::transform::coverage::spans[−][src]

Structs

A BCB is deconstructed into one or more Spans. Each Span maps to a CoverageSpan that references the originating BCB and one or more MIR Statements and/or Terminators. Initially, the Spans come from the Statements and Terminators, but subsequent transforms can combine adjacent Spans and CoverageSpan from the same BCB, merging the CoverageStatement vectors, and the Spans to cover the extent of the combined Spans.

CoverageSpans

Converts the initial set of CoverageSpans (one per MIR Statement or Terminator) into a minimal set of CoverageSpans, using the BCB CFG to determine where it is safe and useful to:

Enums

CoverageStatement

Functions

filtered_statement_span	See `function_source_span()` for a description of the two returned spans. If the MIR `Statement` is not contributive to computing coverage spans, returns `None`.
filtered_terminator_span	See `function_source_span()` for a description of the two returned spans. If the MIR `Terminator` is not contributive to computing coverage spans, returns `None`.
function_source_span	Returns two spans from the given span (the span associated with a `Statement` or `Terminator`):