From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Richard Stallman Newsgroups: gmane.emacs.devel Subject: Re: Fkill_emacs NO_RETURN Date: Mon, 10 Apr 2006 14:25:45 -0400 Message-ID: References: <200604100640.k3A6ewE9011199@scanner2.ics.uci.edu> Reply-To: rms@gnu.org NNTP-Posting-Host: main.gmane.org Content-Type: text/plain; charset=ISO-8859-15 X-Trace: sea.gmane.org 1144693724 15549 80.91.229.2 (10 Apr 2006 18:28:44 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Mon, 10 Apr 2006 18:28:44 +0000 (UTC) Cc: eliz@gnu.org, emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Apr 10 20:28:42 2006 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1FT17W-0002E1-Ua for ged-emacs-devel@m.gmane.org; Mon, 10 Apr 2006 20:28:15 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FT17W-000366-E3 for ged-emacs-devel@m.gmane.org; Mon, 10 Apr 2006 14:28:14 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1FT158-0002J6-SM for emacs-devel@gnu.org; Mon, 10 Apr 2006 14:25:46 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1FT158-0002Io-Fk for emacs-devel@gnu.org; Mon, 10 Apr 2006 14:25:46 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FT158-0002Ii-6Z for emacs-devel@gnu.org; Mon, 10 Apr 2006 14:25:46 -0400 Original-Received: from [199.232.76.164] (helo=fencepost.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.52) id 1FT19p-00026n-9T for emacs-devel@gnu.org; Mon, 10 Apr 2006 14:30:37 -0400 Original-Received: from rms by fencepost.gnu.org with local (Exim 4.34) id 1FT157-0006oc-5e; Mon, 10 Apr 2006 14:25:45 -0400 Original-To: Dan Nicolaescu In-reply-to: <200604100640.k3A6ewE9011199@scanner2.ics.uci.edu> (message from Dan Nicolaescu on Sun, 09 Apr 2006 23:40:58 -0700) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:52598 Archived-At: I deleted the NO_RETURN for Fkill_emacs to avoid hassles. Marking functions NO_RETURN is desirable from a few points of view: -it helps gcc do a better job for the -Wuninitialized warning Surely Fkill_emacs makes no difference to this. -it helps lint type tools, it will avoid analyzing the same code over and over when a new tool warns about it only to discover there's no problem. Not terribly important. -it helps code generation: for example by just marking `wrong_type_argument' as NO_RETURN the text size decreases from 1483168 bytes to 1474080 bytes (ie ~9KB) on my x86 system using gcc-4.1 That may be significant for wrong_type_argument, but not for Fkill_emacs. Perhaps it is worth adding the NO_RETURN for wrong_type_argument. It is called a lot more than Fkill_emacs.