From c8ea985748a6857ac5db9ef50f9c92e2966c04d5 Mon Sep 17 00:00:00 2001 From: Rich Felker Date: Thu, 6 Sep 2012 23:12:27 -0400 Subject: add _Noreturn function attribute, with fallback for pre-C11 GNUC --- include/setjmp.h | 9 ++++++++- include/stdlib.h | 15 +++++++++++---- src/exit/_Exit.c | 2 +- src/exit/abort.c | 2 +- src/exit/exit.c | 2 +- src/exit/quick_exit.c | 2 +- 6 files changed, 23 insertions(+), 9 deletions(-) diff --git a/include/setjmp.h b/include/setjmp.h index 7dc72767..8ec5c6f1 100644 --- a/include/setjmp.h +++ b/include/setjmp.h @@ -5,6 +5,13 @@ extern "C" { #endif +#if __STDC_VERSION__ >= 201112L +#elif defined(__GNUC__) +#define _Noreturn __attribute__((__noreturn__)) +#else +#define _Noreturn +#endif + #include @@ -29,7 +36,7 @@ void _longjmp (jmp_buf, int); int setjmp (jmp_buf); -void longjmp (jmp_buf, int); +_Noreturn void longjmp (jmp_buf, int); #define setjmp setjmp #define longjmp longjmp diff --git a/include/stdlib.h b/include/stdlib.h index 14cc71bb..86cf0171 100644 --- a/include/stdlib.h +++ b/include/stdlib.h @@ -11,6 +11,13 @@ extern "C" { #define __restrict #endif +#if __STDC_VERSION__ >= 201112L +#elif defined(__GNUC__) +#define _Noreturn __attribute__((__noreturn__)) +#else +#define _Noreturn +#endif + #undef NULL #ifdef __cplusplus #define NULL 0 @@ -46,12 +53,12 @@ void *realloc (void *, size_t); void free (void *); void *aligned_alloc(size_t alignment, size_t size); -void abort (void); +_Noreturn void abort (void); int atexit (void (*) (void)); -void exit (int); -void _Exit (int); +_Noreturn void exit (int); +_Noreturn void _Exit (int); int at_quick_exit (void (*) (void)); -void quick_exit (int); +_Noreturn void quick_exit (int); char *getenv (const char *); diff --git a/src/exit/_Exit.c b/src/exit/_Exit.c index 6ceb1437..c00a2ffb 100644 --- a/src/exit/_Exit.c +++ b/src/exit/_Exit.c @@ -1,7 +1,7 @@ #include #include "syscall.h" -void _Exit(int ec) +_Noreturn void _Exit(int ec) { __syscall(SYS_exit_group, ec); __syscall(SYS_exit, ec); diff --git a/src/exit/abort.c b/src/exit/abort.c index c5b9e526..203dd35c 100644 --- a/src/exit/abort.c +++ b/src/exit/abort.c @@ -2,7 +2,7 @@ #include #include "syscall.h" -void abort(void) +_Noreturn void abort(void) { raise(SIGABRT); raise(SIGKILL); diff --git a/src/exit/exit.c b/src/exit/exit.c index e4aeaf15..e4932b5b 100644 --- a/src/exit/exit.c +++ b/src/exit/exit.c @@ -14,7 +14,7 @@ weak_alias(dummy, __funcs_on_exit); weak_alias(dummy, __flush_on_exit); weak_alias(dummy, __seek_on_exit); -void exit(int code) +_Noreturn void exit(int code) { static int lock; diff --git a/src/exit/quick_exit.c b/src/exit/quick_exit.c index 18d5288a..1175d80c 100644 --- a/src/exit/quick_exit.c +++ b/src/exit/quick_exit.c @@ -6,7 +6,7 @@ static void dummy() { } weak_alias(dummy, __funcs_on_quick_exit); -void quick_exit(int code) +_Noreturn void quick_exit(int code) { static int lock; while (a_swap(&lock, 1)) __syscall(SYS_pause); -- cgit v1.2.1