Struct rustc_mir_build::build::coverageinfo::CoverageInfoBuilder
source · pub(crate) struct CoverageInfoBuilder {
nots: FxHashMap<ExprId, NotInfo>,
markers: BlockMarkerGen,
branch_info: Option<BranchInfo>,
mcdc_info: Option<MCDCInfoBuilder>,
}
Expand description
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§
source§impl CoverageInfoBuilder
impl CoverageInfoBuilder
sourcepub(crate) fn new_if_enabled(
tcx: TyCtxt<'_>,
def_id: LocalDefId,
) -> Option<Self>
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.
sourcepub(crate) fn visit_unary_not(&mut self, thir: &Thir<'_>, unary_not: ExprId)
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>
Auto Trait Implementations§
impl Freeze for CoverageInfoBuilder
impl RefUnwindSafe for CoverageInfoBuilder
impl !Send for CoverageInfoBuilder
impl !Sync for CoverageInfoBuilder
impl Unpin for CoverageInfoBuilder
impl UnwindSafe for CoverageInfoBuilder
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<T> Filterable for T
impl<T> Filterable for T
source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
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