-static inline mc_mem_region_t mc_get_region_hinted(void* addr, mc_snapshot_t snapshot, mc_mem_region_t region)
+static inline __attribute__ ((always_inline))
+mc_mem_region_t mc_get_region_hinted(void* addr, mc_snapshot_t snapshot, mc_mem_region_t region)
if(snapshot==NULL)
xbt_die("snapshot is NULL");
void** addr = &((xbt_mheap_t)std_heap)->breakval;
return mc_snapshot_read_pointer(addr, snapshot);
}
if(snapshot==NULL)
xbt_die("snapshot is NULL");
void** addr = &((xbt_mheap_t)std_heap)->breakval;
return mc_snapshot_read_pointer(addr, snapshot);
}
{
void* res;
return *(void**) mc_snapshot_read(addr, snapshot, &res, sizeof(void*));
{
void* res;
return *(void**) mc_snapshot_read(addr, snapshot, &res, sizeof(void*));