From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Miles Bader Newsgroups: gmane.emacs.devel Subject: Re: Problem report #90 Date: Wed, 19 Jul 2006 13:09:07 +0900 Message-ID: References: <200607171801.k6HI1seC025758@oogie-boogie.ics.uci.edu> Reply-To: Miles Bader NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1153282189 18407 80.91.229.2 (19 Jul 2006 04:09:49 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Wed, 19 Jul 2006 04:09:49 +0000 (UTC) Cc: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Jul 19 06:09:46 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 1G33NT-0003w6-2M for ged-emacs-devel@m.gmane.org; Wed, 19 Jul 2006 06:09:39 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1G33NS-0004sx-FX for ged-emacs-devel@m.gmane.org; Wed, 19 Jul 2006 00:09:38 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1G33NH-0004pg-Gl for emacs-devel@gnu.org; Wed, 19 Jul 2006 00:09:27 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1G33NG-0004o8-3G for emacs-devel@gnu.org; Wed, 19 Jul 2006 00:09:27 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1G33NF-0004o5-TG for emacs-devel@gnu.org; Wed, 19 Jul 2006 00:09:25 -0400 Original-Received: from [203.180.232.83] (helo=mgate03.necel.com) by monty-python.gnu.org with esmtp (Exim 4.52) id 1G33QH-00029S-3F; Wed, 19 Jul 2006 00:12:33 -0400 Original-Received: from relay31.aps.necel.com (relay31 [10.29.19.54]) by mgate03.necel.com (8.13.6/8.13.1) with ESMTP id k6J44Z6l023320; Wed, 19 Jul 2006 13:09:22 +0900 (JST) Original-Received: from relay21.aps.necel.com ([10.29.19.24] [10.29.19.24]) by relay31.aps.necel.com with ESMTP; Wed, 19 Jul 2006 13:09:22 +0900 Original-Received: from dhapc248.dev.necel.com ([10.114.97.235] [10.114.97.235]) by relay21.aps.necel.com with ESMTP; Wed, 19 Jul 2006 13:09:22 +0900 Original-Received: by dhapc248.dev.necel.com (Postfix, from userid 31295) id 44A74481; Wed, 19 Jul 2006 13:09:07 +0900 (JST) Original-To: Andreas Schwab System-Type: i686-pc-linux-gnu Blat: Foop In-Reply-To: (Andreas Schwab's message of "Mon, 17 Jul 2006 20:56:44 +0200") Original-Lines: 13 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:57314 Archived-At: Andreas Schwab writes: > Since Fsignal does not return the true path here and similar paths below > are uninteresting. With this premise there is always an assignment to > val. I guess this has probably been discussed before, but why aren't functions like Fsignal annotated as never returning? [At least when using gcc.] -Miles -- Run away! Run away!