From f00ea5f0041a892ce5618dcb3c386416a434f00e Mon Sep 17 00:00:00 2001 From: "Daniel M. Weeks" Date: Thu, 11 Jun 2015 11:26:04 -0400 Subject: [PATCH] Mark Log_fatal noreturn --- src/log.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/log.h b/src/log.h index 8be37b0..eb7f5c8 100644 --- a/src/log.h +++ b/src/log.h @@ -53,7 +53,7 @@ void Log_debug(const char *logstring, ...); void Log_warn(const char *logstring, ...); void Log_info(const char *logstring, ...); void Log_info_client(client_t *client, const char *logstring, ...); -void Log_fatal(const char *logstring, ...); +void Log_fatal(const char *logstring, ...) __attribute__((__noreturn__)); void Log_init(bool_t terminal); void Log_reset(); -- 2.30.2