use a more simgrid-y way of telling the compiler that this does never happen.

diff --git a/src/smpi/internals/smpi_global.cpp b/src/smpi/internals/smpi_global.cpp
index 65453e4..f310707 100644 (file)
--- a/src/smpi/internals/smpi_global.cpp
+++ b/src/smpi/internals/smpi_global.cpp
@@ -642,5 +642,5 @@ void smpi_exit(int res){
     smpi_exit_status = res;
   }
   simgrid::s4u::this_actor::exit();
-  while(1);//necessary for the noreturn attribute
+  THROW_IMPOSSIBLE;
 }