Branch: Tag:

2012-12-02

2012-12-02 22:30:20 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;