From cc320f970d3f91bf9483f44340078c0250a4a44b Mon Sep 17 00:00:00 2001 From: SUTER Frederic Date: Sun, 26 Dec 2021 12:06:42 +0100 Subject: [PATCH] be sure the Exec is assigned before getting its host --- src/kernel/resource/VirtualMachineImpl.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/kernel/resource/VirtualMachineImpl.cpp b/src/kernel/resource/VirtualMachineImpl.cpp index e429c16f96..a04e7abf2a 100644 --- a/src/kernel/resource/VirtualMachineImpl.cpp +++ b/src/kernel/resource/VirtualMachineImpl.cpp @@ -80,6 +80,8 @@ static void remove_active_exec(s4u::Activity& task) const auto* exec = dynamic_cast(&task); if (exec == nullptr) return; + if (not exec->is_assigned()) + return; const s4u::VirtualMachine* vm = dynamic_cast(exec->get_host()); if (vm != nullptr) { VirtualMachineImpl* vm_impl = vm->get_vm_impl(); -- 2.20.1