From 5b7763bc37ccc6e1095f9a3052493eec186fd4b4 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Fri, 14 Oct 2022 11:35:21 +0200 Subject: [PATCH] Fix crash with debug logs. --- src/mc/mc_global.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp index a3b4a170eb..ca09328e13 100644 --- a/src/mc/mc_global.cpp +++ b/src/mc/mc_global.cpp @@ -73,11 +73,10 @@ void dumpStack(FILE* file, unw_cursor_t* cursor) double MC_process_clock_get(const simgrid::kernel::actor::ActorImpl* process) { - if (simgrid::mc::processes_time.empty()) - return 0; if (process == nullptr) return -1; - return simgrid::mc::processes_time.at(process->get_pid()); + auto pid = static_cast(process->get_pid()); + return pid < simgrid::mc::processes_time.size() ? simgrid::mc::processes_time[pid] : 0.0; } void MC_process_clock_add(const simgrid::kernel::actor::ActorImpl* process, double amount) -- 2.20.1