[mc] Fix bound check in mc_snapshot_read_region

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index cef441e..8783ad8 100644 (file)
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -739,7 +739,7 @@ void* mc_snapshot_read_region(void* addr, mc_mem_region_t region, void* target,
 {
   uintptr_t offset = (uintptr_t) addr - (uintptr_t) region->start_addr;
 
 {
   uintptr_t offset = (uintptr_t) addr - (uintptr_t) region->start_addr;
 

-  xbt_assert(addr >= region->start_addr && (char*) addr+size < (char*)region->start_addr+region->size,
+  xbt_assert(addr >= region->start_addr && (char*) addr+size <= (char*)region->start_addr+region->size,

     "Trying to read out of the region boundary.");
 
   // Linear memory region:
     "Trying to read out of the region boundary.");
 
   // Linear memory region: