Enum rustc_middle::mir::terminator::TerminatorEdges
source · pub enum TerminatorEdges<'mir, 'tcx> {
None,
Single(BasicBlock),
Double(BasicBlock, BasicBlock),
AssignOnReturn {
return_: Option<BasicBlock>,
cleanup: Option<BasicBlock>,
place: CallReturnPlaces<'mir, 'tcx>,
},
SwitchInt {
targets: &'mir SwitchTargets,
discr: &'mir Operand<'tcx>,
},
}
Variants§
None
For terminators that have no successor, like return
.
Single(BasicBlock)
For terminators that a single successor, like goto
, and assert
without cleanup block.
Double(BasicBlock, BasicBlock)
For terminators that two successors, assert
with cleanup block and falseEdge
.
AssignOnReturn
Fields
§
return_: Option<BasicBlock>
§
cleanup: Option<BasicBlock>
The cleanup block, if it exists.
§
place: CallReturnPlaces<'mir, 'tcx>
Special action for Yield
, Call
and InlineAsm
terminators.
SwitchInt
Special edge for SwitchInt
.
Trait Implementations§
source§impl<'mir, 'tcx> Clone for TerminatorEdges<'mir, 'tcx>
impl<'mir, 'tcx> Clone for TerminatorEdges<'mir, 'tcx>
source§fn clone(&self) -> TerminatorEdges<'mir, 'tcx>
fn clone(&self) -> TerminatorEdges<'mir, 'tcx>
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<'mir, 'tcx> Debug for TerminatorEdges<'mir, 'tcx>
impl<'mir, 'tcx> Debug for TerminatorEdges<'mir, 'tcx>
impl<'mir, 'tcx> Copy for TerminatorEdges<'mir, 'tcx>
Auto Trait Implementations§
impl<'mir, 'tcx> !RefUnwindSafe for TerminatorEdges<'mir, 'tcx>
impl<'mir, 'tcx> !Send for TerminatorEdges<'mir, 'tcx>
impl<'mir, 'tcx> !Sync for TerminatorEdges<'mir, 'tcx>
impl<'mir, 'tcx> Unpin for TerminatorEdges<'mir, 'tcx>
impl<'mir, 'tcx> !UnwindSafe for TerminatorEdges<'mir, 'tcx>
Blanket Implementations§
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,
fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]
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
Mutably borrows from an owned value. Read more
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§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<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> 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: &[QueryInfo], _guar: ErrorGuaranteed ) -> 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: 32 bytes
Size for each variant:
None
: 0 bytesSingle
: 12 bytesDouble
: 16 bytesAssignOnReturn
: 32 bytesSwitchInt
: 24 bytes