--- runtime/Clib/capply.c.orig	2019-07-04 00:09:45.000000000 -0600
+++ runtime/Clib/capply.c	2019-07-04 11:57:18.458139218 -0600
@@ -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	2019-07-04 00:09:45.000000000 -0600
+++ runtime/Clib/cmain.c	2019-07-04 11:57:18.459139217 -0600
@@ -40,7 +40,7 @@ extern void cref();
 extern void memshow();
 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	2019-07-04 00:09:45.000000000 -0600
+++ runtime/Clib/csocket.c	2019-07-04 11:57:18.460139217 -0600
@@ -254,7 +254,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 );
 }
@@ -263,7 +263,7 @@ socket_error( const char *who, const cha
 /*    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	2019-07-04 00:09:45.000000000 -0600
+++ runtime/Include/bigloo.h	2019-07-04 11:57:18.460139217 -0600
@@ -2282,7 +2282,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 opt_generic_entry( obj_t, ... );