From f3eb6e0ea59307fad49cb3450aa9806562004d21 Mon Sep 17 00:00:00 2001 From: Joel Rosdahl Date: Sun, 13 Apr 2014 20:12:01 +0200 Subject: [PATCH] Mark fatal() with __attribute__((noreturn)) to please clang-analyzer --- ccache.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/ccache.h b/ccache.h index 282f9811a..ce4d1cf57 100644 --- a/ccache.h +++ b/ccache.h @@ -7,8 +7,10 @@ #ifdef __GNUC__ #define ATTR_FORMAT(x, y, z) __attribute__((format (x, y, z))) +#define ATTR_NORETURN __attribute__((noreturn)); #else #define ATTR_FORMAT(x, y, z) +#define ATTR_NORETURN #endif #ifndef MYNAME @@ -101,7 +103,7 @@ bool hash_file(struct mdfour *md, const char *fname); void cc_log(const char *format, ...) ATTR_FORMAT(printf, 1, 2); void cc_log_argv(const char *prefix, char **argv); -void fatal(const char *format, ...) ATTR_FORMAT(printf, 1, 2); +void fatal(const char *format, ...) ATTR_FORMAT(printf, 1, 2) ATTR_NORETURN; void copy_fd(int fd_in, int fd_out); int copy_file(const char *src, const char *dest, int compress_dest); -- 2.47.2