Static analyzers: Add noreturn attribute to die()

diff --git a/include/util.h b/include/util.h
index 5658492e08f0cd38dda99f108df614b6215ad40b..437411b63ee66b9576e37df39d34802e1c673f7b 100644 (file)
--- a/include/util.h
+++ b/include/util.h
@@ -54,7 +54,7 @@ void slog(char *fmt, ...);
  * Prints the message (see printf()) to stderr, then exits the program.
  *
  */
-void die(char *fmt, ...);
+void die(char *fmt, ...) __attribute__((__noreturn__));
 
 /**
  * Safe-wrapper around malloc which exits if malloc returns NULL (meaning that there