Branch: Tag:

2015-04-18

2015-04-18 21:51:42 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Coverity: pike_throw() doesn't return...

Potential fix for [CID 1294625] (and probably others).

125:    return r;   }    + /* coverity[+kill] */   PMOD_EXPORT DECLSPEC(noreturn) void pike_throw(void) ATTRIBUTE((noreturn))   {   #ifdef TRACE_UNFINISHED_TYPE_FIELDS