Tell Coverity that Pike_fatal/Pike_error are killpaths. Should fix a large...

Tell Coverity that Pike_fatal/Pike_error are killpaths. Should fix a large number if "Missing break in switch" similar to [SCAN 742616]

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;

src/pike_error.h

@@ -11,7 +11,6 @@
 
 #include <stdio.h>
 
-/* coverity[+kill] */
 static inline void Pike_fatal (const char *fmt, ...)
 {
   va_list args;