From 71c6854d008107249fddd5d56f41f73c7aaab16a Mon Sep 17 00:00:00 2001
From: Alain Miniussi <alain.miniussi@oca.eu>
Date: Mon, 18 Sep 2023 16:10:00 +0200
Subject: [PATCH] Tells copiler that abort won't return

---
 include/boost/mpi/environment.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/boost/mpi/environment.hpp b/include/boost/mpi/environment.hpp
index 32bac26..6d0177c 100644
--- a/include/boost/mpi/environment.hpp
+++ b/include/boost/mpi/environment.hpp
@@ -176,7 +176,7 @@ public:
    *  @param errcode The error code to return to the environment.
    *  @returns Will not return.
    */
-  static void abort(int errcode);
+  [[noreturn]] static void abort(int errcode);
 
   /** Determine if the MPI environment has already been initialized.
    *