[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.
Stefan
Re: Fkill_emacs NO_RETURN,
Stefan Monnier <=