diff --git a/src/interpreter/terminator/mod.rs b/src/interpreter/terminator/mod.rs
index 7696b0e0fc15..8f58105de4bb 100644
--- a/src/interpreter/terminator/mod.rs
+++ b/src/interpreter/terminator/mod.rs
@@ -29,7 +29,10 @@ impl<'a, 'tcx> EvalContext<'a, 'tcx> {
     ) -> EvalResult<'tcx, ()> {
         use rustc::mir::TerminatorKind::*;
         match terminator.kind {
-            Return => self.pop_stack_frame()?,
+            Return => {
+                self.dump_local(self.frame().return_lvalue);
+                self.pop_stack_frame()?
+            }
 
             Goto { target } => self.goto_block(target),