From eef1aa77efbd51a7539c416a44d0a317906e3a80 Mon Sep 17 00:00:00 2001 From: whitequark Date: Sun, 26 Jul 2015 12:43:22 +0300 Subject: [PATCH] Mark abort() as __attribute__((noreturn)). --- software/include/base/stdlib.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/software/include/base/stdlib.h b/software/include/base/stdlib.h index da67b4e23..4b9bd0492 100644 --- a/software/include/base/stdlib.h +++ b/software/include/base/stdlib.h @@ -63,7 +63,7 @@ char *number(char *buf, char *end, unsigned long num, int base, int size, int pr unsigned int rand(void); void srand(unsigned int seed); -void abort(void); +void abort(void) __attribute__((noreturn)); void qsort(void *base, size_t nmemb, size_t size, int(*compar)(const void *, const void *));