Add a doc comment for the new hook
Co-authored-by: Ralf Jung <post@ralfj.de>
This commit is contained in:
parent
ec21d584ee
commit
8ecdefb3db
1 changed files with 3 additions and 0 deletions
|
@ -472,6 +472,9 @@ pub trait Machine<'mir, 'tcx: 'mir>: Sized {
|
||||||
Ok(StackPopJump::Normal)
|
Ok(StackPopJump::Normal)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Called immediately after actual memory was allocated for a local
|
||||||
|
/// but before the local's stack frame is updated to point to that memory.
|
||||||
|
#[inline(always)]
|
||||||
fn after_local_allocated(
|
fn after_local_allocated(
|
||||||
_ecx: &mut InterpCx<'mir, 'tcx, Self>,
|
_ecx: &mut InterpCx<'mir, 'tcx, Self>,
|
||||||
_frame: usize,
|
_frame: usize,
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue