--- api/alsa/src/Clib/bglalsa.h.orig 2023-12-22 09:18:46.000000000 -0700
+++ api/alsa/src/Clib/bglalsa.h 2023-12-25 11:13:52.417825236 -0700
@@ -13,7 +13,7 @@
#include <bigloo.h>
-extern int bgl_alsa_error( char *, char *, obj_t );
+extern int bgl_alsa_error( char *, char *, obj_t ) __attribute__((noreturn));
extern int bgl_snd_pcm_close( obj_t );
extern int bgl_snd_pcm_open( obj_t, char *, snd_pcm_stream_t, int );
--- runtime/Clib/capply.c.orig 2023-12-22 09:18:46.000000000 -0700
+++ runtime/Clib/capply.c 2023-12-25 11:44:29.827467488 -0700
@@ -13,7 +13,7 @@
/*---------------------------------------------------------------------*/
/* Les recuperations externes */
/*---------------------------------------------------------------------*/
-extern void c_error();
+extern void c_error( char *, char *, int ) __attribute__((noreturn));
extern long bgl_list_length(obj_t);
/*---------------------------------------------------------------------*/
--- runtime/Clib/cmain.c.orig 2023-12-22 09:18:46.000000000 -0700
+++ runtime/Clib/cmain.c 2023-12-25 11:13:52.418825226 -0700
@@ -40,7 +40,7 @@ extern obj_t cref( obj_t );
extern void memshow( char *, char *, long );
extern void bgl_init_eval_cnst();
extern obj_t c_constant_string_to_string( char * );
-extern void c_error( char *, char *, int );
+extern void c_error( char *, char *, int ) __attribute__((noreturn));
extern void bgl_init_objects();
extern obj_t bigloo_exit_apply( obj_t );
extern void *bgl_callcc_get_top_of_stack( void * );
--- runtime/Clib/csocket.c.orig 2023-12-22 09:18:46.000000000 -0700
+++ runtime/Clib/csocket.c 2023-12-25 11:44:29.828467475 -0700
@@ -273,7 +273,7 @@ bgl_init_socket() {
/* static void */
/* socket_error ... */
/*---------------------------------------------------------------------*/
-static void
+static void __attribute__((noreturn))
socket_error(const char *who, const char *message, obj_t object) {
C_SYSTEM_FAILURE(BGL_IO_ERROR, (char *)who, (char *)message, object);
}
@@ -282,7 +282,7 @@ socket_error(const char *who, const char
/* static void */
/* socket_timeout_error ... */
/*---------------------------------------------------------------------*/
-static void
+static void __attribute__((noreturn))
socket_timeout_error(obj_t hostname, int port) {
char buffer[ 512 ];
--- runtime/Include/bigloo.h.orig 2023-12-22 09:18:46.000000000 -0700
+++ runtime/Include/bigloo.h 2023-12-25 11:13:52.419825214 -0700
@@ -2646,7 +2646,7 @@ BGL_RUNTIME_DECL obj_t (*bgl_multithread
/*---------------------------------------------------------------------*/
/* The external declarations */
/*---------------------------------------------------------------------*/
-BGL_RUNTIME_DECL obj_t bigloo_exit(obj_t);
+BGL_RUNTIME_DECL obj_t bigloo_exit(obj_t) __attribute__((noreturn));
BGL_RUNTIME_DECL obj_t va_generic_entry(obj_t, ...);
BGL_RUNTIME_DECL obj_t bgl_va_stack_entry(obj_t, ...);