struct ElaborateDropsCtxt<'a, 'tcx> {
tcx: TyCtxt<'tcx>,
body: &'a Body<'tcx>,
env: &'a MoveDataParamEnv<'tcx>,
init_data: InitializationData<'a, 'tcx>,
drop_flags: FxHashMap<MovePathIndex, Local>,
patch: MirPatch<'tcx>,
un_derefer: UnDerefer<'tcx>,
}
Fields
tcx: TyCtxt<'tcx>
body: &'a Body<'tcx>
env: &'a MoveDataParamEnv<'tcx>
init_data: InitializationData<'a, 'tcx>
drop_flags: FxHashMap<MovePathIndex, Local>
patch: MirPatch<'tcx>
un_derefer: UnDerefer<'tcx>
Implementations
sourceimpl<'b, 'tcx> ElaborateDropsCtxt<'b, 'tcx>
impl<'b, 'tcx> ElaborateDropsCtxt<'b, 'tcx>
fn move_data(&self) -> &'b MoveData<'tcx>
fn param_env(&self) -> ParamEnv<'tcx>
fn create_drop_flag(&mut self, index: MovePathIndex, span: Span)
fn drop_flag(&mut self, index: MovePathIndex) -> Option<Place<'tcx>>
sourcefn elaborate(self) -> MirPatch<'tcx>
fn elaborate(self) -> MirPatch<'tcx>
create a patch that elaborates all drops in the input MIR.
fn collect_drop_flags(&mut self)
fn elaborate_drops(&mut self)
sourcefn elaborate_replace(
&mut self,
loc: Location,
place: Place<'tcx>,
value: &Operand<'tcx>,
target: BasicBlock,
unwind: Option<BasicBlock>
)
fn elaborate_replace(
&mut self,
loc: Location,
place: Place<'tcx>,
value: &Operand<'tcx>,
target: BasicBlock,
unwind: Option<BasicBlock>
)
Elaborate a MIR replace
terminator. This instruction
is not directly handled by codegen, and therefore
must be desugared.
The desugaring drops the location if needed, and then writes the value (including setting the drop flag) over it in both arms.
The replace
terminator can also be called on places that
are not tracked by elaboration (for example,
replace x[i] <- tmp0
). The borrow checker requires that
these locations are initialized before the assignment,
so we just generate an unconditional drop.
fn constant_bool(&self, span: Span, val: bool) -> Rvalue<'tcx>
fn set_drop_flag(&mut self, loc: Location, path: MovePathIndex, val: DropFlagState)
fn drop_flags_on_init(&mut self)
fn drop_flags_for_fn_rets(&mut self)
fn drop_flags_for_args(&mut self)
fn drop_flags_for_locs(&mut self)
Auto Trait Implementations
impl<'a, 'tcx> !RefUnwindSafe for ElaborateDropsCtxt<'a, 'tcx>
impl<'a, 'tcx> !Send for ElaborateDropsCtxt<'a, 'tcx>
impl<'a, 'tcx> !Sync for ElaborateDropsCtxt<'a, 'tcx>
impl<'a, 'tcx> Unpin for ElaborateDropsCtxt<'a, 'tcx>where
'tcx: 'a,
impl<'a, 'tcx> !UnwindSafe for ElaborateDropsCtxt<'a, 'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut 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: 448 bytes