pike.git/src/error.c:118: Inside #if defined(PIKE_DEBUG)
/* if (recovery_lookup && Pike_sp) { */
/* push_int((ptrdiff_t)r); */
/* push_int((ptrdiff_t)location); */
/* mapping_insert(recovery_lookup, Pike_sp-2, Pike_sp-1); */
/* pop_n_elems(2); */
/* } */
#endif
return r;
}
+ /* coverity[+kill] */
PMOD_EXPORT DECLSPEC(noreturn) void pike_throw(void) ATTRIBUTE((noreturn))
{
#ifdef TRACE_UNFINISHED_TYPE_FIELDS
accept_unfinished_type_fields++;
#endif
while(Pike_interpreter.recoveries && throw_severity > Pike_interpreter.recoveries->severity)
{
while(Pike_interpreter.recoveries->onerror)
{