Mirrors/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-05-29 20:46:07 +03:00
Code Issues Packages Projects Releases Wiki Activity

assigning a (MIR) box into an lvalue allocates heap storage that will

Browse Source 
need to be initialized. create a MoveOut to represent that deref'ed
`*lval` path.
This commit is contained in:
Felix S. Klock II
2016-03-15 16:59:48 +01:00
parent 5508c40d04
commit dd99f58fe1
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/librustc_borrowck/borrowck/mir/gather_moves.rs
+5 -1
View File
@@ -554,7 +554,11 @@ fn gather_moves<'tcx>(mir: &Mir<'tcx>, tcx: &ty::TyCtxt<'tcx>) -> MoveData<'tcx>
Rvalue::Box(ref _ty) => {
// this is creating uninitialized
// memory that needs to be initialized.
bb_ctxt.on_move_out_lval(SK::Box, lval, source);
let deref_lval = Lvalue::Projection(Box::new( repr::Projection {
base: lval.clone(),
elem: repr::ProjectionElem::Deref,
}));
bb_ctxt.on_move_out_lval(SK::Box, &deref_lval, source);
}
Rvalue::Aggregate(ref _kind, ref operands) => {
for operand in operands {