message: Dump all allocs when dumping locals
diff: @@ -1621,7 +1621,8 @@ impl<'a, 'tcx, M: Machine<'tcx>> EvalContext<'a, 'tcx, M> {
  pub fn dump_local(&self, lvalue: Lvalue) {
  // Debug output
  - if let Lvalue::Local { frame, local } = lvalue {
  + match lvalue {
  + Lvalue::Local { frame, local } => {
  let mut allocs = Vec::new();
  let mut msg = format!("{:?}", local);
  if frame != self.cur_frame() {
  @@ -1657,6 +1658,16 @@ impl<'a, 'tcx, M: Machine<'tcx>> EvalContext<'a, 'tcx, M> {
  trace!("{}", msg);
  self.memory.dump_allocs(allocs);
  }
  + Lvalue::Ptr { ptr: PtrAndAlign { ptr, aligned }, .. } => {
  + match ptr.into_inner_primval() {
  + PrimVal::Ptr(ptr) => {
  + trace!("by {}ref:", if aligned { "" } else { "unaligned " });
  + self.memory.dump_alloc(ptr.alloc_id);
  + },
  + ptr => trace!(" integral by ref: {:?}", ptr),
  + }
  + }
  + }
  }
  /// Convenience function to ensure correct usage of locals
  