[mc] Fix bug mc_snapshot_read_fragmented

[simgrid.git] / src / mc / mc_mmu.h

diff --git a/src/mc/mc_mmu.h b/src/mc/mc_mmu.h
index dd6f2da..0fe1715 100644 (file)
--- a/src/mc/mc_mmu.h
+++ b/src/mc/mc_mmu.h
@@ -33,6 +33,7 @@ static inline size_t mc_page_count(size_t size)
  */
 static inline size_t mc_page_number(void* base, void* address)
 {
+  xbt_assert(address>=base, "The address is not in the range");
   return ((uintptr_t) address - (uintptr_t) base) >> xbt_pagebits;
 }