1
1
mirror of https://github.com/systemd/systemd-stable.git synced 2025-01-18 06:03:42 +03:00

coverage: Mark _coverage__exit as noreturn

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

(cherry picked from commit 0bab5534b334677652bb69fe15eaa54ce84cbe7d)
(cherry picked from commit bb1ae9bcd38d9eb6d47b974f9e269efa9c36d1d8)
This commit is contained in:
Jan Janssen 2022-11-01 09:43:32 +01:00 committed by Luca Boccassi
parent 9952c228a9
commit 2ac138a5b6

View File

@ -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);
}