diff options
| author | Ralf Jung <post@ralfj.de> | 2019-12-08 10:48:06 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2019-12-08 10:48:06 +0100 |
| commit | 2468b23ad583e4574fef07e4fa113bb8d52446a6 (patch) | |
| tree | 84943dbbcccc26dd36e8223c91ab88314114aa0a | |
| parent | e862c01aadb2d029864f7bb256cf6c85bbb5d7e4 (diff) | |
fix miri step debug printing
| -rw-r--r-- | src/librustc_mir/interpret/step.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/librustc_mir/interpret/step.rs b/src/librustc_mir/interpret/step.rs index 55b9427a75b..33ed69af6ba 100644 --- a/src/librustc_mir/interpret/step.rs +++ b/src/librustc_mir/interpret/step.rs @@ -304,7 +304,9 @@ impl<'mir, 'tcx, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> { 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(()) } |
