X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6963302bb58ba0b4530c9503f8b26bb71c691fb5..361da673f9e66e13ce1ef5f21bc395439606c170:/include/smpi/smpi_helpers_internal.h

diff --git a/include/smpi/smpi_helpers_internal.h b/include/smpi/smpi_helpers_internal.h
index 929d22e75e..a55d1281b6 100644
--- a/include/smpi/smpi_helpers_internal.h
+++ b/include/smpi/smpi_helpers_internal.h
@@ -38,7 +38,7 @@ void* smpi_shared_malloc_intercept(size_t size, const char* file, int line);
 void* smpi_shared_calloc_intercept(size_t num_elm, size_t elem_size, const char* file, int line);
 void* smpi_shared_realloc_intercept(void* data, size_t size, const char* file, int line);
 void smpi_shared_free(void* data);
-void smpi_exit(int status);
+void __attribute__((noreturn)) smpi_exit(int status);
 #ifdef __cplusplus
 } // extern "C"
 #endif