[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Fkill_emacs NO_RETURN

From: Stefan Monnier
Subject: Re: Fkill_emacs NO_RETURN
Date: Sun, 09 Apr 2006 20:35:05 -0400
User-agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux)

>       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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]