From: Karel Zak <kzak@redhat.com>
Date: Tue, 23 Nov 2010 18:42:33 +0000 (+0100)
Subject: mount: mark die() as nonreturn
X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cf59b09c1e7c520b96295058c10acea1dbeee671;p=util-linux

mount: mark die() as nonreturn

Signed-off-by: Karel Zak <kzak@redhat.com>
---

diff --git a/mount/sundries.c b/mount/sundries.c
index 98f46949..4cf30899 100644
--- a/mount/sundries.c
+++ b/mount/sundries.c
@@ -115,7 +115,7 @@ error (const char *fmt, ...) {
 }
 
 /* Fatal error.  Print message and exit.  */
-void
+ __attribute__ ((noreturn)) void
 die(int err, const char *fmt, ...) {
 	va_list args;