size_t n = snapshot->snapshot_regions_count;
for (size_t i=0; i!=n; ++i) {
mc_mem_region_t region = snapshot->snapshot_regions[i];
- if (region->region_type == MC_REGION_TYPE_HEAP)
+ if (region->region_type() == MC_REGION_TYPE_HEAP)
return region;
}
xbt_die("No heap region");
addr_pointed2 = snapshot2->read(
remote((void**)((char *) real_area2 + pointer_align)), process_index);
- if (addr_pointed1 > process->maestro_stack_start
- && addr_pointed1 < process->maestro_stack_end
- && addr_pointed2 > process->maestro_stack_start
- && addr_pointed2 < process->maestro_stack_end) {
+ if (process->in_maestro_stack(remote(addr_pointed1))
+ && process->in_maestro_stack(remote(addr_pointed2))) {
i = pointer_align + sizeof(void *);
continue;
} else if (addr_pointed1 > state->std_heap_copy.heapbase