diff options
| author | Ralf Jung <post@ralfj.de> | 2024-03-09 18:28:29 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-03-10 09:52:29 +0100 |
| commit | c3342b41b52aa4f8a4497a696ee783952fca36da (patch) | |
| tree | a14e6b18e5cebfe79ea8a2bab7150ceab5c8c110 /src/tools | |
| parent | 4497990dff8ce181fa12757eb4e786b85025ae61 (diff) | |
| download | rust-c3342b41b52aa4f8a4497a696ee783952fca36da.tar.gz rust-c3342b41b52aa4f8a4497a696ee783952fca36da.zip | |
remove unnecessary frame parameter from after_local_allocated
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/src/machine.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/tools/miri/src/machine.rs b/src/tools/miri/src/machine.rs index 19d02c6f746..20deeb22887 100644 --- a/src/tools/miri/src/machine.rs +++ b/src/tools/miri/src/machine.rs @@ -1473,14 +1473,13 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for MiriMachine<'mir, 'tcx> { fn after_local_allocated( ecx: &mut InterpCx<'mir, 'tcx, Self>, - frame: usize, local: mir::Local, mplace: &MPlaceTy<'tcx, Provenance>, ) -> InterpResult<'tcx> { let Some(Provenance::Concrete { alloc_id, .. }) = mplace.ptr().provenance else { panic!("after_local_allocated should only be called on fresh allocations"); }; - let local_decl = &ecx.active_thread_stack()[frame].body.local_decls[local]; + let local_decl = &ecx.frame().body.local_decls[local]; let span = local_decl.source_info.span; ecx.machine.allocation_spans.borrow_mut().insert(alloc_id, (span, None)); Ok(()) |