snapshot->snapshot_regions[index]
= std::unique_ptr<simgrid::mc::RegionSnapshot>(
new simgrid::mc::RegionSnapshot(std::move(region)));
- return;
}
static void get_memory_regions(simgrid::mc::RemoteClient* process, simgrid::mc::Snapshot* snapshot)
if (not variable)
return;
// Those arrays are sorted later:
- else if (variable->global)
+ if (variable->global)
info->global_variables.push_back(std::move(*variable));
else if (frame != nullptr)
frame->variables.push_back(std::move(*variable));
int Channel::send(const void* message, size_t size) const
{
XBT_DEBUG("Send %s", MC_message_type_name(*(e_mc_message_type*)message));
- while (::send(this->socket_, message, size, 0) == -1)
- if (errno == EINTR)
- continue;
- else
+ while (::send(this->socket_, message, size, 0) == -1) {
+ if (errno != EINTR)
return errno;
+ }
return 0;
}
_UPT_destroy(context);
unw_destroy_addr_space(as);
- return;
}
bool RemoteClient::actor_is_enabled(aid_t pid)