[mc] Use mc_region_contain where it could be used

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

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 6de0d59..cb229e9 100644 (file)
--- 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;
 
 
   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:
     "Trying to read out of the region boundary.");
 
   // Linear memory region: