Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Please Sonar and scan-build.
[simgrid.git] / src / plugins / host_energy.cpp
index 47bfda4..d2f5dc8 100644 (file)
@@ -514,6 +514,7 @@ void sg_host_energy_plugin_init()
       simgrid::s4u::Host* host = activity.get_host();
       if (const auto* vm = dynamic_cast<simgrid::s4u::VirtualMachine*>(host))
         host = vm->get_pm();
+      xbt_assert(host != nullptr);
       host->extension<HostEnergy>()->update();
     }
   });