[mc] Fix Snapshot::read_bytes

Was calling itself instead of delegating to the process.

diff --git a/src/mc/AddressSpace.hpp b/src/mc/AddressSpace.hpp
index e23e9ac..6aed5ea 100644 (file)
--- 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 324c6ea..5892e0d 100644 (file)
--- 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);
 }
 
 }