f85d36f
--- api/alsa/src/Clib/bglalsa.h.orig	2020-11-14 10:40:25.000000000 -0700
f85d36f
+++ api/alsa/src/Clib/bglalsa.h	2020-11-17 08:12:37.850529435 -0700
e2cff70
@@ -13,7 +13,7 @@
e2cff70
 
e2cff70
 #include <bigloo.h>
e2cff70
 
e2cff70
-extern int bgl_alsa_error( char *, char *, obj_t );
e2cff70
+extern int bgl_alsa_error( char *, char *, obj_t ) __attribute__((noreturn));
e2cff70
 
e2cff70
 extern int bgl_snd_pcm_close( obj_t );
e2cff70
 extern int bgl_snd_pcm_open( obj_t, char *, snd_pcm_stream_t, int );
f85d36f
--- runtime/Clib/capply.c.orig	2020-11-14 10:40:25.000000000 -0700
f85d36f
+++ runtime/Clib/capply.c	2020-11-17 08:12:37.851529434 -0700
0678968
@@ -13,7 +13,7 @@
0678968
 /*---------------------------------------------------------------------*/
0678968
 /*    Les recuperations externes                                       */
0678968
 /*---------------------------------------------------------------------*/
0678968
-extern void c_error();
0678968
+extern void c_error( char *, char *, int ) __attribute__((noreturn));
0678968
 extern long bgl_list_length( obj_t );
0678968
 
0678968
 /*---------------------------------------------------------------------*/
f85d36f
--- runtime/Clib/cmain.c.orig	2020-11-14 10:40:25.000000000 -0700
f85d36f
+++ runtime/Clib/cmain.c	2020-11-17 08:12:37.852529432 -0700
f85d36f
@@ -40,7 +40,7 @@ extern obj_t cref( obj_t );
f85d36f
 extern void memshow( char *, char *, long );
0678968
 extern void bgl_init_eval_cnst();
0678968
 extern obj_t c_constant_string_to_string( char * );
0678968
-extern void c_error( char *, char *, int );
0678968
+extern void c_error( char *, char *, int ) __attribute__((noreturn));
0678968
 extern void bgl_init_objects();
0678968
 extern obj_t bigloo_exit_apply( obj_t );
0678968
 extern void *bgl_callcc_get_top_of_stack( void * );
f85d36f
--- runtime/Clib/csocket.c.orig	2020-11-14 10:40:25.000000000 -0700
f85d36f
+++ runtime/Clib/csocket.c	2020-11-17 08:12:37.852529432 -0700
f85d36f
@@ -253,7 +253,7 @@ bgl_init_socket() {
3e2c3d9
 /*    static void                                                      */
3e2c3d9
 /*    socket_error ...                                                 */
3e2c3d9
 /*---------------------------------------------------------------------*/
3e2c3d9
-static void
3e2c3d9
+static void __attribute__((noreturn))
3e2c3d9
 socket_error( const char *who, const char *message, obj_t object ) {
3e2c3d9
    C_SYSTEM_FAILURE( BGL_IO_ERROR, (char *)who, (char *)message, object );
3e2c3d9
 }
f85d36f
@@ -262,7 +262,7 @@ socket_error( const char *who, const cha
3e2c3d9
 /*    static void                                                      */
3e2c3d9
 /*    socket_timeout_error ...                                         */
3e2c3d9
 /*---------------------------------------------------------------------*/
3e2c3d9
-static void
3e2c3d9
+static void __attribute__((noreturn))
3e2c3d9
 socket_timeout_error( obj_t hostname, int port ) {
3e2c3d9
    char buffer[ 512 ];
3e2c3d9
    
f85d36f
--- runtime/Include/bigloo.h.orig	2020-11-14 10:40:26.000000000 -0700
f85d36f
+++ runtime/Include/bigloo.h	2020-11-17 08:12:37.853529430 -0700
f85d36f
@@ -2321,7 +2321,7 @@ BGL_RUNTIME_DECL obj_t (*bgl_multithread
0678968
 /*---------------------------------------------------------------------*/
0678968
 /*    The external declarations                                        */
0678968
 /*---------------------------------------------------------------------*/
0678968
-BGL_RUNTIME_DECL obj_t bigloo_exit( obj_t );
0678968
+BGL_RUNTIME_DECL obj_t bigloo_exit( obj_t ) __attribute__((noreturn));
0678968
 
0678968
 BGL_RUNTIME_DECL obj_t va_generic_entry( obj_t, ... );
f85d36f
 BGL_RUNTIME_DECL obj_t bgl_va_stack_entry( obj_t, ... );