From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Vincent Lefevre Newsgroups: gmane.emacs.bugs Subject: bug#5916: XFLOAT_DATA and signed zeroes Date: Sat, 10 Apr 2010 01:39:23 +0200 Message-ID: <20100409233923.GT17637@prunille.vinc17.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1270908929 8709 80.91.229.12 (10 Apr 2010 14:15:29 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 10 Apr 2010 14:15:29 +0000 (UTC) To: 5916@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sat Apr 10 16:15:28 2010 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1O0bT5-0001jU-HM for geb-bug-gnu-emacs@m.gmane.org; Sat, 10 Apr 2010 16:15:27 +0200 Original-Received: from localhost ([127.0.0.1]:45717 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1O0bT4-0003uZ-Qb for geb-bug-gnu-emacs@m.gmane.org; Sat, 10 Apr 2010 10:15:26 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1O0O60-00032o-C6 for bug-gnu-emacs@gnu.org; Fri, 09 Apr 2010 19:58:44 -0400 Original-Received: from [140.186.70.92] (port=40438 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1O0O5y-00031p-Tu for bug-gnu-emacs@gnu.org; Fri, 09 Apr 2010 19:58:44 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1O0O5x-00079L-86 for bug-gnu-emacs@gnu.org; Fri, 09 Apr 2010 19:58:42 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:39840) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1O0O5x-00079H-42 for bug-gnu-emacs@gnu.org; Fri, 09 Apr 2010 19:58:41 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1O0O1S-0003I8-9d; Fri, 09 Apr 2010 19:54:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Vincent Lefevre Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-To: owner@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 09 Apr 2010 23:54:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 5916 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.127085720112638 (code B ref -1); Fri, 09 Apr 2010 23:54:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 9 Apr 2010 23:53:21 +0000 Original-Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1O0O0n-0003Hn-0o for submit@debbugs.gnu.org; Fri, 09 Apr 2010 19:53:21 -0400 Original-Received: from mail.gnu.org ([199.232.76.166] helo=mx10.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1O0NnS-0003Ca-DM for submit@debbugs.gnu.org; Fri, 09 Apr 2010 19:39:35 -0400 Original-Received: from lists.gnu.org ([199.232.76.165]:42110) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1O0NnO-0002qe-Cr for submit@debbugs.gnu.org; Fri, 09 Apr 2010 19:39:30 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1O0NnN-0001o4-LN for bug-gnu-emacs@gnu.org; Fri, 09 Apr 2010 19:39:29 -0400 Original-Received: from [140.186.70.92] (port=38291 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1O0NnM-0001nO-5P for bug-gnu-emacs@gnu.org; Fri, 09 Apr 2010 19:39:28 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1O0NnK-0004vh-GC for bug-gnu-emacs@gnu.org; Fri, 09 Apr 2010 19:39:27 -0400 Original-Received: from vinc17.pck.nerim.net ([213.41.242.187]:60900 helo=prunille.vinc17.org) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1O0NnK-0004vZ-8K for bug-gnu-emacs@gnu.org; Fri, 09 Apr 2010 19:39:26 -0400 Original-Received: by prunille.vinc17.org (Postfix, from userid 501) id 933164A12E00; Sat, 10 Apr 2010 01:39:23 +0200 (CEST) Content-Disposition: inline X-Mailer-Info: http://www.vinc17.org/mutt/ User-Agent: Mutt/1.5.20-6072-vl-r35499 (2010-04-03) X-detected-operating-system: by eggs.gnu.org: FreeBSD 6.x (2) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6, seldom 2.4 (older, 4) X-Mailman-Approved-At: Fri, 09 Apr 2010 19:53:19 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list Resent-Date: Fri, 09 Apr 2010 19:54:02 -0400 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-Mailman-Approved-At: Sat, 10 Apr 2010 10:15:19 -0400 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:36153 Archived-At: Hi, I don't know whether there's really a bug (I haven't tested the trunk), but someone pointed a suspicious macro[*]. The change (on 2009-08-17) is here: http://git.savannah.gnu.org/cgit/emacs.git/commit/?id=3D6f0c16bc45815337d= 520a9393f8de5f9c14a06d4 It is said: lisp.h (XFLOAT_DATA): Produce an rvalue by adding 0 to the value. However, adding 0 has another side effect on floats: the 0 is converted into +0.0 (due to the addition with a double), so that a -0.0 is transformed into a +0.0. Could someone try the following? (/ 1.0 (- 0.0)) The correct result should be -1.0e+INF (negative infinity). [*] http://groupes.codes-sources.com/article-emacs-lisp-sera-iee754-fut-0= x-p0-toujours-470516.aspx --=20 Vincent Lef=E8vre - Web: 100% accessible validated (X)HTML - Blog: Work: CR INRIA - computer arithmetic / Ar=E9naire project (LIP, ENS-Lyon)