Struct rustc_mir_transform::coverage::Instrumentor

struct Instrumentor<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    mir_body: &'a mut Body<'tcx>,
    source_file: Lrc<SourceFile>,
    fn_sig_span: Span,
    body_span: Span,
    function_source_hash: u64,
    basic_coverage_blocks: CoverageGraph,
    coverage_counters: CoverageCounters,
}

Fields

tcx: TyCtxt<'tcx>

mir_body: &'a mut Body<'tcx>

source_file: Lrc<SourceFile>

fn_sig_span: Span

body_span: Span

function_source_hash: u64

basic_coverage_blocks: CoverageGraph

coverage_counters: CoverageCounters

Implementations

impl<'a, 'tcx> Instrumentor<'a, 'tcx>

fn new(tcx: TyCtxt<'tcx>, mir_body: &'a mut Body<'tcx>) -> Self

fn inject_counters(&'a mut self)

fn inject_coverage_span_counters(&mut self, coverage_spans: &CoverageSpans)

Injects a single StatementKind::Coverage for each BCB that has one or more coverage spans.

fn inject_indirect_counters(&mut self)

At this point, any BCB with coverage counters has already had its counter injected into MIR, and had its counter removed from coverage_counters (via take_counter()).

Any other counter associated with a BasicCoverageBlock, or its incoming edge, but not associated with a coverage span, should only exist if the counter is an Expression dependency (one of the expression operands). Collect them, and inject the additional counters into the MIR, without a reportable coverage span.

fn bcb_leader_bb(&self, bcb: BasicCoverageBlock) -> BasicBlock

fn bcb_last_bb(&self, bcb: BasicCoverageBlock) -> BasicBlock

fn bcb_data(&self, bcb: BasicCoverageBlock) -> &BasicCoverageBlockData

fn make_mir_coverage_kind(&self, counter_kind: &BcbCounter) -> CoverageKind

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 344 bytes