Mark the smpi_exit call as noreturn, and really kill the process when exit is called

[simgrid.git] / include / smpi / smpi_helpers_internal.h

diff --git a/include/smpi/smpi_helpers_internal.h b/include/smpi/smpi_helpers_internal.h
index 404d1cb..a55d128 100644 (file)
--- a/include/smpi/smpi_helpers_internal.h
+++ b/include/smpi/smpi_helpers_internal.h
@@ -36,7 +36,9 @@ int smpi_getopt(int argc, char* const* argv, const char* options);
 
 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 __attribute__((noreturn)) smpi_exit(int status);
 #ifdef __cplusplus
 } // extern "C"
 #endif