[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] pk_fatal: Add the noreturn attribute
|
From: |
Jose E. Marchesi |
|
Subject: |
Re: [PATCH] pk_fatal: Add the noreturn attribute |
|
Date: |
Sat, 30 May 2020 07:37:43 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Hi John.
OK for master.
Thanks!
---
poke/poke.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/poke/poke.h b/poke/poke.h
index 05f686af..99b1006e 100644
--- a/poke/poke.h
+++ b/poke/poke.h
@@ -47,7 +47,7 @@ extern int poke_auto_map_p;
extern int poke_prompt_maps_p;
void pk_print_version (void);
-void pk_fatal (const char *errmsg);
+void pk_fatal (const char *errmsg) __attribute__ ((noreturn));
static inline void
pk_assert_alloc (const void *m)