diff options
| author | Tyler Mandry <tmandry@gmail.com> | 2019-12-09 14:33:10 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-09 14:33:10 -0800 |
| commit | 5ce5464fafc939aa9b1e774e0e586735a1d46eeb (patch) | |
| tree | ac2fedaeb5bc2a500966d45401e7f17f27390ddc | |
| parent | 6b6b6f322047ca28a9bf512880acab6bf3282636 (diff) | |
| parent | 2468b23ad583e4574fef07e4fa113bb8d52446a6 (diff) | |
| download | rust-5ce5464fafc939aa9b1e774e0e586735a1d46eeb.tar.gz rust-5ce5464fafc939aa9b1e774e0e586735a1d46eeb.zip | |
Rollup merge of #67145 - RalfJung:miri-step, r=oli-obk
fix miri step debug printing r? @oli-obk
| -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(()) } |