Struct CoverageInfoHi

Source

pub struct CoverageInfoHi {
    pub num_block_markers: usize,
    pub branch_spans: Vec<BranchSpan>,
    pub mcdc_degraded_branch_spans: Vec<MCDCBranchSpan>,
    pub mcdc_spans: Vec<(MCDCDecisionSpan, Vec<MCDCBranchSpan>)>,
}

Expand description

Coverage information for a function, recorded during MIR building and attached to the corresponding mir::Body. Used by the InstrumentCoverage MIR pass.

(“Hi” indicates that this is “high-level” information collected at the THIR/MIR boundary, before the MIR-based coverage instrumentation pass.)

Fields§

§num_block_markers: usize

1 more than the highest-numbered CoverageKind::BlockMarker that was injected into the MIR body. This makes it possible to allocate per-ID data structures without having to scan the entire body first.

§branch_spans: Vec<BranchSpan>§mcdc_degraded_branch_spans: Vec<MCDCBranchSpan>

Branch spans generated by mcdc. Because of some limits mcdc builder give up generating decisions including them so that they are handled as normal branch spans.

§mcdc_spans: Vec<(MCDCDecisionSpan, Vec<MCDCBranchSpan>)>

Auto Trait Implementations§

§

Struct CoverageInfoHiCopy item path

Fields§

Auto Trait Implementations§

impl Freeze for CoverageInfoHi

impl RefUnwindSafe for CoverageInfoHi

impl Send for CoverageInfoHi

impl Sync for CoverageInfoHi

impl Unpin for CoverageInfoHi

impl UnwindSafe for CoverageInfoHi

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dst: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct CoverageInfoHi

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,