From 46781c7a8a592f3d2fd74d79c5ce30ee2237c1a7 Mon Sep 17 00:00:00 2001
From: Peter Bortas <zino@lysator.liu.se>
Date: Sun, 2 Dec 2012 23:30:20 +0100
Subject: [PATCH] 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 | 2 ++
src/pike_error.h | 1 -
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/error.c b/src/error.c
index 928cd89792..237728036a 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 180ea0f937..e9e5cd83d8 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;
--
GitLab