From: Jan Janssen <medhefgo@web.de>
Date: Tue, 1 Nov 2022 08:43:32 +0000 (+0100)
Subject: coverage: Mark _coverage__exit as noreturn
X-Git-Tag: v253-rc1~623
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=0bab5534b334677652bb69fe15eaa54ce84cbe7d;p=thirdparty%2Fsystemd.git

coverage: Mark _coverage__exit as noreturn

../src/basic/coverage.h:15:48: warning: function '_coverage__exit' could
be declared with attribute 'noreturn' [-Wmissing-noreturn]
---

diff --git a/src/basic/coverage.h b/src/basic/coverage.h
index 3ef02cf70e7..640bddc4851 100644
--- a/src/basic/coverage.h
+++ b/src/basic/coverage.h
@@ -12,7 +12,7 @@
 extern void _exit(int);
 extern void __gcov_dump(void);
 
-static inline void _coverage__exit(int status) {
+static inline _Noreturn void _coverage__exit(int status) {
         __gcov_dump();
         _exit(status);
 }