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

Rollup merge of #67145 - RalfJung:miri-step, r=oli-obk

Browse Source 
fix miri step debug printing

r? @oli-obk
This commit is contained in:
Tyler Mandry 2019-12-09 14:33:10 -08:00 committed by GitHub
commit 5ce5464faf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/librustc_mir/interpret/step.rs
View File

@ -304,7 +304,9 @@ fn terminator(&mut self, terminator: &mir::Terminator<'tcx>) -> InterpResult<'tc
if !self.stack.is_empty() {
// This should change *something*
debug_assert!(self.cur_frame() != old_stack || self.frame().block != old_bb);
info!("// {:?}", self.frame().block);
if let Some(block) = self.frame().block {
info!("// executing {:?}", block);
}
}
Ok(())
}