be sure the Exec is assigned before getting its host

diff --git a/src/kernel/resource/VirtualMachineImpl.cpp b/src/kernel/resource/VirtualMachineImpl.cpp
index e429c16..a04e7ab 100644 (file)
--- 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<s4u::Exec*>(&task);
   if (exec == nullptr)
     return;
+  if (not exec->is_assigned())
+    return;
   const s4u::VirtualMachine* vm = dynamic_cast<s4u::VirtualMachine*>(exec->get_host());
   if (vm != nullptr) {
     VirtualMachineImpl* vm_impl = vm->get_vm_impl();