Struct CoverageSuccessors

struct CoverageSuccessors<'a> {
    targets: &'a [BasicBlock],
    is_yield: bool,
}

Holds the coverage-relevant successors of a basic block’s terminator, and indicates whether that block can potentially be combined into the same BCB as its sole successor.

Fields

targets: &'a [BasicBlock]

Coverage-relevant successors of the corresponding terminator. There might be 0, 1, or multiple targets.

is_yield: bool

Yield terminators are not chainable, because their sole out-edge is only followed if/when the generator is resumed after the yield.

Implementations

impl CoverageSuccessors<'_>

fn is_out_chainable(&self) -> bool

If false, this terminator cannot be chained into another block when building the coverage graph.

fn is_out_summable(&self) -> bool

Returns true if the terminator itself is assumed to have the same execution count as the sum of its out-edges (assuming no panics).

Trait Implementations

impl<'a> Clone for CoverageSuccessors<'a>

fn clone(&self) -> CoverageSuccessors<'a>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for CoverageSuccessors<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl IntoIterator for CoverageSuccessors<'_>

type Item = BasicBlock

The type of the elements being iterated over.

type IntoIter = impl DoubleEndedIterator

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'a> Copy for CoverageSuccessors<'a>

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