From 50d1b7d92ae3aa2679bc86780cf3c0ea12455365 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 12 Oct 2015 23:02:52 +0200
Subject: [PATCH] [mc] Fix Snapshot::read_bytes

Was calling itself instead of delegating to the process.
---
 src/mc/AddressSpace.hpp | 2 +-
 src/mc/mc_snapshot.cpp  | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/mc/AddressSpace.hpp b/src/mc/AddressSpace.hpp
index e23e9ac2e3..6aed5ea8a2 100644
--- a/src/mc/AddressSpace.hpp
+++ b/src/mc/AddressSpace.hpp
@@ -140,7 +140,7 @@ public:
   AddressSpace(Process* process) : process_(process) {}
   virtual ~AddressSpace();
 
-  simgrid::mc::Process* process() { return process_; }
+  simgrid::mc::Process* process() const { return process_; }
   virtual const void* read_bytes(void* buffer, std::size_t size,
     remote_ptr<void> address, int process_index = ProcessIndexAny,
     ReadMode mode = Normal) const = 0;
diff --git a/src/mc/mc_snapshot.cpp b/src/mc/mc_snapshot.cpp
index 324c6eae15..5892e0d240 100644
--- a/src/mc/mc_snapshot.cpp
+++ b/src/mc/mc_snapshot.cpp
@@ -184,7 +184,8 @@ const void* Snapshot::read_bytes(void* buffer, std::size_t size,
     }
   }
   else
-    return this->read_bytes(buffer, size, address, process_index, mode);
+    return this->process()->read_bytes(
+      buffer, size, address, process_index, mode);
 }
 
 }
-- 
2.20.1