diff --git a/src/error.c b/src/error.c
index 928cd89792653fb709b875acacf112c010c2518e..237728036af71c76ae05cf72025f5dd0fa0d63a1 100644
--- a/src/error.c
+++ b/src/error.c
@@ -306,6 +306,7 @@ PMOD_EXPORT void make_error (const char *fmt, ...)
   va_end (args);
 }
 
+/* coverity[+kill] */
 PMOD_EXPORT DECLSPEC(noreturn) void Pike_error(const char *fmt,...) ATTRIBUTE((noreturn))
 {
   va_list args;
@@ -535,6 +536,7 @@ PMOD_EXPORT DECLSPEC(noreturn) void debug_va_fatal(const char *fmt, va_list args
   do_abort();
 }
 
+/* coverity[+kill] */
 PMOD_EXPORT DECLSPEC(noreturn) void debug_fatal(const char *fmt, ...) ATTRIBUTE((noreturn))
 {
   va_list args;
diff --git a/src/pike_error.h b/src/pike_error.h
index 180ea0f93753058170abeaa94e53c17476800f1d..e9e5cd83d80dd5d4e1e0bcf74604eb1101e4870d 100644
--- a/src/pike_error.h
+++ b/src/pike_error.h
@@ -11,7 +11,6 @@
 
 #include <stdio.h>
 
-/* coverity[+kill] */
 static inline void Pike_fatal (const char *fmt, ...)
 {
   va_list args;