X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/92cbaa683aa7824d7ad1b7f1702dec27e1c6eefb..af4f085dddf9802166aa47d8866efce05d8efc1d:/src/mc/sosp/mc_snapshot.hpp diff --git a/src/mc/sosp/mc_snapshot.hpp b/src/mc/sosp/mc_snapshot.hpp index 9e63033749..147c7fa0b6 100644 --- a/src/mc/sosp/mc_snapshot.hpp +++ b/src/mc/sosp/mc_snapshot.hpp @@ -35,8 +35,8 @@ static XBT_ALWAYS_INLINE void* mc_translate_address_region(uintptr_t addr, simgr case simgrid::mc::StorageType::Privatized: { xbt_assert(process_index >= 0, "Missing process index for privatized region"); xbt_assert((size_t)process_index < region->privatized_data().size(), "Out of range process index"); - simgrid::mc::RegionSnapshot& subregion = region->privatized_data()[process_index]; - return mc_translate_address_region(addr, &subregion, process_index); + simgrid::mc::RegionSnapshot* subregion = region->privatized_data()[process_index].get(); + return mc_translate_address_region(addr, subregion, process_index); } default: // includes StorageType::NoData xbt_die("Storage type not supported");