Branch: Tag:

2014-12-04

2014-12-04 19:22:59 by Peter Bortas <zino@lysator.liu.se>

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

306:    va_end (args);   }    + /* coverity[+kill] */   PMOD_EXPORT DECLSPEC(noreturn) void Pike_error(const char *fmt,...) ATTRIBUTE((noreturn))   {    va_list args;
535:    do_abort();   }    + /* coverity[+kill] */   PMOD_EXPORT DECLSPEC(noreturn) void debug_fatal(const char *fmt, ...) ATTRIBUTE((noreturn))   {    va_list args;