Struct rustc_mir_build::build::scope::CachedBlock

struct CachedBlock {
    unwind: Option<BasicBlock>,
    generator_drop: Option<BasicBlock>,
}

Fields

unwind: Option<BasicBlock>

The cached block for the cleanups-on-diverge path. This block contains code to run the current drop and all the preceding drops (i.e., those having lower index in Drop’s Scope drop array)

generator_drop: Option<BasicBlock>

The cached block for unwinds during cleanups-on-generator-drop path

This is split from the standard unwind path here to prevent drop elaboration from creating drop flags that would have to be captured by the generator. I'm not sure how important this optimization is, but it is here.

Implementations

impl CachedBlock

fn invalidate(&mut self)

fn get(&self, generator_drop: bool) -> Option<BasicBlock>

fn ref_mut(&mut self, generator_drop: bool) -> &mut Option<BasicBlock>

Trait Implementations

impl Clone for CachedBlock

fn clone(&self) -> CachedBlock

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for CachedBlock

impl Debug for CachedBlock

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

Formats the value using the given formatter.

impl Default for CachedBlock

fn default() -> CachedBlock

Returns the "default value" for a type.