From 748fabf6540d3b6e2d58a36d0363985f0ddb85d9 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 24 May 2023 14:38:50 +0200
Subject: [PATCH] Please Sonar and scan-build.

---
 src/plugins/host_energy.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plugins/host_energy.cpp b/src/plugins/host_energy.cpp
index 47bfda4f36..d2f5dc8c93 100644
--- a/src/plugins/host_energy.cpp
+++ b/src/plugins/host_energy.cpp
@@ -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();
     }
   });
-- 
2.20.1