Declare functions with attribute 'noreturn' (sonar).

diff --git a/src/mc/api/RemoteApp.cpp b/src/mc/api/RemoteApp.cpp
index cc7be72..d9f5782 100644 (file)
--- a/src/mc/api/RemoteApp.cpp
+++ b/src/mc/api/RemoteApp.cpp
@@ -42,7 +42,7 @@ static simgrid::config::Flag<std::string> _sg_mc_setenv{
 
 namespace simgrid::mc {
 
-static void run_child_process(int socket, const std::vector<char*>& args)
+XBT_ATTRIB_NORETURN static void run_child_process(int socket, const std::vector<char*>& args)
 {
   /* On startup, simix_global_init() calls simgrid::mc::Client::initialize(), which checks whether the MC_ENV_SOCKET_FD
    * env variable is set. If so, MC mode is assumed, and the client is setup from its side

diff --git a/src/surf/network_constant.hpp b/src/surf/network_constant.hpp
index 72d5727..ec9f384 100644 (file)
--- a/src/surf/network_constant.hpp
+++ b/src/surf/network_constant.hpp
@@ -24,7 +24,7 @@ public:
 class NetworkConstantAction final : public NetworkAction {
 public:
   NetworkConstantAction(NetworkConstantModel* model_, s4u::Host& src, s4u::Host& dst, double size);
-  void update_remains_lazy(double now) override;
+  XBT_ATTRIB_NORETURN void update_remains_lazy(double now) override;
 };
 
 } // namespace simgrid::kernel::resource