about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2019-12-08 10:48:06 +0100
committerRalf Jung <post@ralfj.de>2019-12-08 10:48:06 +0100
commit2468b23ad583e4574fef07e4fa113bb8d52446a6 (patch)
tree84943dbbcccc26dd36e8223c91ab88314114aa0a
parente862c01aadb2d029864f7bb256cf6c85bbb5d7e4 (diff)
fix miri step debug printing
-rw-r--r--src/librustc_mir/interpret/step.rs4
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(())
     }