mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update src/machine.rs

Browse Source 
Co-authored-by: Ralf Jung <post@ralfj.de>
This commit is contained in:
Ben Kimock 2022-11-22 22:22:47 -05:00 committed by GitHub
parent 1ca3c293b2
commit a312329b0a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/src/machine.rs
View File

@ -1192,6 +1192,8 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for MiriMachine<'mir, 'tcx> {
if frame.extra.is_user_relevant { if frame.extra.is_user_relevant {
// All that we store is whether or not the frame we just removed is local, so now we // All that we store is whether or not the frame we just removed is local, so now we
// have no idea where the next topmost local frame is. So we recompute it. // have no idea where the next topmost local frame is. So we recompute it.
// (If this ever becomes a bottleneck, we could have `push` store the previous
// user-relevant frame and restore that here.)
ecx.active_thread_mut().recompute_top_user_relevant_frame(); ecx.active_thread_mut().recompute_top_user_relevant_frame();
} }
let timing = frame.extra.timing.take(); let timing = frame.extra.timing.take();