size_t n = snapshot->snapshot_regions_count;
for (size_t i = 0; i != n; ++i) {
mc_mem_region_t region = snapshot->snapshot_regions[i];
size_t n = snapshot->snapshot_regions_count;
for (size_t i = 0; i != n; ++i) {
mc_mem_region_t region = snapshot->snapshot_regions[i];
xbt_die("Invalid process index");
}
simgrid::mc::RegionSnapshot& priv_region = region->privatized_data()[process_index];
xbt_die("Invalid process index");
}
simgrid::mc::RegionSnapshot& priv_region = region->privatized_data()[process_index];
heap_bytes_used(0),
snapshot_regions(nullptr),
snapshot_regions_count(0),
heap_bytes_used(0),
snapshot_regions(nullptr),
snapshot_regions_count(0),
xbt_dynar_free(&(this->stacks));
xbt_dynar_free(&(this->to_ignore));
xbt_dynar_free(&this->ignored_data);
xbt_dynar_free(&(this->stacks));
xbt_dynar_free(&(this->to_ignore));
xbt_dynar_free(&this->ignored_data);