- if (process == nullptr)
- return -1;
- auto pid = static_cast<size_t>(process->get_pid());
- return pid < simgrid::mc::processes_time.size() ? simgrid::mc::processes_time[pid] : 0.0;
+ 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;