[mc] Fix remote_ptr

[simgrid.git] / src / mc / AddressSpace.hpp

diff --git a/src/mc/AddressSpace.hpp b/src/mc/AddressSpace.hpp
index 1f4d176..05665fb 100644 (file)
--- a/src/mc/AddressSpace.hpp
+++ b/src/mc/AddressSpace.hpp
@@ -27,7 +27,7 @@ namespace mc {
 template<class T> class remote_ptr {
   std::uint64_t address_;
 public:
-  remote_ptr() : address_(nullptr) {}
+  remote_ptr() : address_(0) {}
   remote_ptr(std::uint64_t address) : address_(address) {}
   remote_ptr(T* address) : address_((std::uint64_t)address) {}
   std::uint64_t address() const { return address_; }
@@ -99,7 +99,7 @@ public:
   virtual ~AddressSpace();
   virtual const void* read_bytes(void* buffer, std::size_t size,
     remote_ptr<void> address, int process_index = ProcessIndexAny,
-    ReadMode mode = Normal) = 0;
+    ReadMode mode = Normal) const = 0;
 
   template<class T> inline
   void read(T *buffer, remote_ptr<T> ptr, int process_index = ProcessIndexAny)