- if (simgrid::mc::processes_time.empty())
- return 0;
- if (process == nullptr)
- return -1;
- return simgrid::mc::processes_time.at(process->get_pid());
+ if (process) {
+ auto pid = static_cast<size_t>(process->get_pid());
+ if (pid < simgrid::mc::processes_time.size())
+ return simgrid::mc::processes_time[pid];
+ }
+ return 0.0;