Struct rustc_mir_dataflow::framework::direction::BackwardSwitchIntEdgeEffectsApplier

struct BackwardSwitchIntEdgeEffectsApplier<'a, 'tcx, D, F> {
    body: &'a Body<'tcx>,
    pred: BasicBlock,
    exit_state: &'a mut D,
    bb: BasicBlock,
    propagate: &'a mut F,
    effects_applied: bool,
}

Fields

body: &'a Body<'tcx>

pred: BasicBlock

exit_state: &'a mut D

bb: BasicBlock

propagate: &'a mut F

effects_applied: bool

Trait Implementations

impl<D, F> SwitchIntEdgeEffects<D> for BackwardSwitchIntEdgeEffectsApplier<'_, '_, D, F>where D: Clone, F: FnMut(BasicBlock, &D),

fn apply(&mut self, apply_edge_effect: impl FnMut(&mut D, SwitchIntTarget))

Calls apply_edge_effect for each outgoing edge from a SwitchInt terminator and records the results.

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