We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 0fdc38e + 6b8a922 commit 5a38c32Copy full SHA for 5a38c32
src/tools/miri/src/machine.rs
@@ -1637,7 +1637,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
1637
fn before_stack_pop(ecx: &mut InterpCx<'tcx, Self>) -> InterpResult<'tcx> {
1638
let frame = ecx.frame();
1639
// We want this *before* the return value copy, because the return place itself is protected
1640
- // until we do `end_call` here.
+ // until we do `on_stack_pop` here, and we need to un-protect it to copy the return value.
1641
if ecx.machine.borrow_tracker.is_some() {
1642
ecx.on_stack_pop(frame)?;
1643
}
0 commit comments