From 1930eedb642fa7f6a471ae24c0fefd1a918d05b4 Mon Sep 17 00:00:00 2001 From: Werner Almesberger Date: Sun, 21 Aug 2016 02:50:46 -0300 Subject: [PATCH] eeshow/util/diag.h (pfatal): mark as "noreturn" --- eeshow/misc/diag.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/eeshow/misc/diag.h b/eeshow/misc/diag.h index 025b791..0184f15 100644 --- a/eeshow/misc/diag.h +++ b/eeshow/misc/diag.h @@ -28,7 +28,7 @@ extern unsigned verbose; /* perror, based on "fatal" or "error" */ -void diag_pfatal(const char *s); +void __attribute__((noreturn)) diag_pfatal(const char *s); void diag_perror(const char *s);