Struct rustc_mir_build::build::coverageinfo::BranchInfoBuilder

pub(crate) struct BranchInfoBuilder {
    nots: FxHashMap<ExprId, NotInfo>,
    num_block_markers: usize,
    branch_spans: Vec<BranchSpan>,
}

Fields

nots: FxHashMap<ExprId, NotInfo>

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

num_block_markers: usize

branch_spans: Vec<BranchSpan>

Implementations

impl BranchInfoBuilder

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

Creates a new branch info builder, but only if branch 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 next_block_marker_id(&mut self) -> BlockMarkerId

pub(crate) fn into_done(self) -> Option<Box<BranchInfo>>

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