Skip to main content

extract_raw_spans_from_mir

Function extract_raw_spans_from_mir 

Source
pub(crate) fn extract_raw_spans_from_mir<'tcx>(
    mir_body: &Body<'tcx>,
    hir_info: &ExtractedHirInfo,
    graph: &CoverageGraph,
) -> Vec<RawSpanFromMir>
Expand description

Generates an initial set of coverage spans from marker statements in the function’s MIR body, each associated with its corresponding node in the coverage graph.

FIXME(Zalathar): This extraction is currently in a transitional state, since we’re no longer trying to heuristically recover meaningful spans from MIR soup, but we haven’t yet fully embraced the possibilities of HIR-aware analysis.