From 7bf1f1090f9cdc18f775e0d65d713c1ecfcf6726 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Thomas=20Wei=C3=9Fschuh?= Date: Fri, 1 Dec 2023 08:59:22 +0100 Subject: [PATCH] coverage.h: mark _exit as noreturn MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Otherwise the compiler may complain: ././include/coverage.h: In function ‘_coverage__exit’: ././include/coverage.h:22:1: error: ‘noreturn’ function does return [-Werror] 22 | } Signed-off-by: Thomas Weißschuh --- include/coverage.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/coverage.h b/include/coverage.h index f0148e5791..8ca5b68bdf 100644 --- a/include/coverage.h +++ b/include/coverage.h @@ -14,7 +14,7 @@ * when built with --coverage/-Db_coverage=true) */ void __gcov_dump(void); -void _exit(int); +__attribute__((noreturn)) void _exit(int); __attribute__((noreturn)) static inline void _coverage__exit(int status) { __gcov_dump(); -- 2.47.3