forked from pool/boost
13 lines
545 B
Diff
13 lines
545 B
Diff
|
diff -r -u boost_1_83_0-orig/boost/mpi/environment.hpp boost_1_83_0/boost/mpi/environment.hpp
|
||
|
|
--- boost_1_83_0-orig/boost/mpi/environment.hpp 2023-08-08 23:02:53.000000000 +0200
|
||
|
|
+++ boost_1_83_0/boost/mpi/environment.hpp 2023-09-12 08:36:01.310536799 +0200
|
||
|
|
@@ -176,7 +176,7 @@
|
||
|
|
* @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.
|
||
|
|
*
|