Use code annotations instead of model for Coverity

acreloaded · Dec 31, 2015 · 28ab7c0 · 28ab7c0
1 parent a0cc587
commit 28ab7c0
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 3 deletions.
diff --git a/source/src/_coverity_model.cpp b/source/src/_coverity_model.cpp
diff --git a/source/src/main.cpp b/source/src/main.cpp
@@ -42,6 +42,7 @@ void quit()                     // normal exit
     exit(EXIT_SUCCESS);
 }
 
+// coverity[+kill]
 void fatal(const char *s, ...)    // failure exit
 {
     static int errors = 0;

diff --git a/source/src/master.cpp b/source/src/master.cpp
@@ -173,6 +173,7 @@ ENetSocket serversocket = ENET_SOCKET_NULL;
 time_t starttime;
 enet_uint32 servtime = 0;
 
+// coverity[+kill]
 void fatal(const char *fmt, ...)
 {
     va_list args;

diff --git a/source/src/protos.h b/source/src/protos.h
@@ -868,6 +868,7 @@ extern const char *modestr(int gamemode, int mutators, bool acronyms = false);
 extern const char *voteerrorstr(int n);
 extern const char *mmfullname(int n);
 extern void modecheck(int &mode, int &muts, int trying = 0);
+// coverity[+kill]
 extern void fatal(const char *s, ...);
 extern void initserver(bool dedicated, int argc = 0, char **argv = NULL);
 extern void cleanupserver();

diff --git a/source/src/server.cpp b/source/src/server.cpp
@@ -5434,6 +5434,7 @@ void initserver(bool dedicated, int argc, char **argv)
 #ifdef STANDALONE
 
 void localservertoclient(int chan, uchar *buf, int len, bool demo) {}
+// coverity[+kill]
 void fatal(const char *s, ...)
 {
     defvformatstring(msg,s,s);