Struct CoverageInfoBuilder

pub(crate) struct CoverageInfoBuilder {
    nots: FxHashMap<ExprId, NotInfo>,
    markers: BlockMarkerGen,
    branch_info: Option<BranchInfo>,
    mcdc_info: Option<MCDCInfoBuilder>,
}

Collects coverage-related information during MIR building, to eventually be turned into a function’s CoverageInfoHi when MIR building is complete.

Fields

nots: FxHashMap<ExprId, NotInfo>

Maps condition expressions to their enclosing !, for better instrumentation.

markers: BlockMarkerGen

branch_info: Option<BranchInfo>

Present if branch coverage is enabled.

mcdc_info: Option<MCDCInfoBuilder>

Present if MC/DC coverage is enabled.

Implementations

impl CoverageInfoBuilder

pub(crate) fn new_if_enabled( tcx: TyCtxt<'_>, def_id: LocalDefId, ) -> Option<Self>

Creates a new coverage info builder, but only if coverage instrumentation is enabled and def_id represents a function that is eligible for coverage.

pub(crate) fn visit_unary_not(&mut self, thir: &Thir<'_>, unary_not: ExprId)

Unary ! expressions inside an if condition are lowered by lowering their argument instead, and then reversing the then/else arms of that if.

That’s awkward for branch coverage instrumentation, so to work around that we pre-emptively visit any affected ! expressions, and record extra information that Builder::visit_coverage_branch_condition can use to synthesize branch instrumentation for the enclosing !.

fn visit_with_not_info( &mut self, thir: &Thir<'_>, expr_id: ExprId, not_info: NotInfo, )

fn register_two_way_branch<'tcx>( &mut self, tcx: TyCtxt<'tcx>, cfg: &mut CFG<'tcx>, source_info: SourceInfo, true_block: BasicBlock, false_block: BasicBlock, )

pub(crate) fn into_done(self) -> Box<CoverageInfoHi>

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: 136 bytes