declare ddsrt_abort and ddsrt_exit as noreturn

src/ddsrt/include/dds/ddsrt/process.h

@@ -15,6 +15,7 @@
 #include "dds/ddsrt/time.h"
 #include "dds/ddsrt/types.h"
 #include "dds/ddsrt/retcode.h"
+#include "dds/ddsrt/attributes.h"
 
 #if DDSRT_WITH_FREERTOS
 #include <FreeRTOS.h>
@@ -76,7 +77,7 @@ ddsrt_getprocessname(void);
  * Does not return. Immediately terminates the process.
  */
 DDS_EXPORT void
-ddsrt_abort(void);
+ddsrt_abort (void) ddsrt_attribute_noreturn;
 
 /**
  * @brief Performs a normal process termination.
@@ -85,7 +86,7 @@ ddsrt_abort(void);
  * @returns The least significant byte of `status` is returned to the parent.
  */
 DDS_EXPORT void
-ddsrt_exit(int status);
+ddsrt_exit(int status) ddsrt_attribute_noreturn;
 
 #if defined (__cplusplus)
 }