--- runtime/Clib/capply.c.orig 2018-02-04 23:59:28.000000000 -0700
+++ runtime/Clib/capply.c 2018-02-06 21:33:57.993891387 -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 2018-02-04 23:59:28.000000000 -0700
+++ runtime/Clib/cmain.c 2018-02-06 21:34:17.066831885 -0700
@@ -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/Include/bigloo.h.orig 2018-02-04 23:59:28.000000000 -0700
+++ runtime/Include/bigloo.h 2018-02-06 21:32:06.924237894 -0700
@@ -2385,7 +2385,7 @@ struct befored {
/*---------------------------------------------------------------------*/
/* 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, ... );