X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/00e99fac7a9baae6a698d47e69de37c5f5bd1b21..98c076f6daa9f55f8e0e06a583c07bc05777854c:/src/mc/mc_private.h

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 6de0d59763..cb229e9aa9 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -743,7 +743,7 @@ void* mc_snapshot_read_region(void* addr, mc_mem_region_t region, void* target,
 
   uintptr_t offset = (char*) addr - (char*) region->start_addr;
 
-  xbt_assert(addr >= region->start_addr && (char*) addr+size <= (char*)region->start_addr+region->size,
+  xbt_assert(mc_region_contain(region, addr),
     "Trying to read out of the region boundary.");
 
   // Linear memory region: