Re: Fkill_emacs NO_RETURN

[Stefan Monnier]

>       exit (INTEGERP (arg) ? XINT (arg) : EXIT_SUCCESS);
>       /* NOTREACHED */
>       return Qnil;

> The ``NOTREACHED return'' is there because DEFUN declares a function
> that returns a Lisp_Object, and some compilers will complain if
> there's no return statement in such a function.

> So either we find a clean way to condition `return Qnil' on NO_RETURN
> being defined to nothing, or we should revert this change.  (Why was
> it made, anyway?)

I guess we'd need to mark `exit' as NORETRUN.
Or Coverity should improve/implement the automatic inference of
NORETURN annotations.


        Stefan