From unknown Mon Jun 23 13:15:09 2025 X-Loop: help-debbugs@gnu.org Subject: bug#5916: XFLOAT_DATA and signed zeroes 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: To: 5916@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.127085720112638 (code B ref -1); Fri, 09 Apr 2010 23:54:02 +0000 Received: (at submit) by debbugs.gnu.org; 9 Apr 2010 23:53:21 +0000 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 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 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 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 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 X-Spam-Checker-Version: SpamAssassin 3.3.0 (2010-01-18) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable version=3.3.0 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 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 Received: by prunille.vinc17.org (Postfix, from userid 501) id 933164A12E00; Sat, 10 Apr 2010 01:39:23 +0200 (CEST) Date: Sat, 10 Apr 2010 01:39:23 +0200 From: Vincent Lefevre Message-ID: <20100409233923.GT17637@prunille.vinc17.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline X-Mailer-Info: http://www.vinc17.org/mutt/ User-Agent: Mutt/1.5.20-6072-vl-r35499 (2010-04-03) Content-Transfer-Encoding: quoted-printable 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-Spam-Score: -4.0 (----) 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 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -5.3 (-----) 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) From unknown Mon Jun 23 13:15:09 2025 X-Loop: help-debbugs@gnu.org Subject: bug#5916: XFLOAT_DATA and signed zeroes Resent-From: Stefan Monnier Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-To: owner@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 10 Apr 2010 15:21:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 5916 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Vincent Lefevre Cc: 5916@debbugs.gnu.org Received: via spool by 5916-submit@debbugs.gnu.org id=B5916.12709128385160 (code B ref 5916); Sat, 10 Apr 2010 15:21:01 +0000 Received: (at 5916) by debbugs.gnu.org; 10 Apr 2010 15:20:38 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1O0cUA-0001LB-Gq for submit@debbugs.gnu.org; Sat, 10 Apr 2010 11:20:38 -0400 Received: from ironport2-out.teksavvy.com ([206.248.154.183] helo=ironport2-out.pppoe.ca) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1O0cU8-0001L6-Jq for 5916@debbugs.gnu.org; Sat, 10 Apr 2010 11:20:37 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsEAHY0wEtMCqWu/2dsb2JhbACbQ3K5aIUMBItG X-IronPort-AV: E=Sophos;i="4.52,182,1270440000"; d="scan'208";a="60590800" Received: from 76-10-165-174.dsl.teksavvy.com (HELO pastel.home) ([76.10.165.174]) by ironport2-out.pppoe.ca with ESMTP; 10 Apr 2010 11:20:34 -0400 Received: by pastel.home (Postfix, from userid 20848) id BD0C57F1B; Sat, 10 Apr 2010 11:20:33 -0400 (EDT) From: Stefan Monnier Message-ID: References: <20100409233923.GT17637@prunille.vinc17.org> Date: Sat, 10 Apr 2010 11:20:33 -0400 In-Reply-To: <20100409233923.GT17637@prunille.vinc17.org> (Vincent Lefevre's message of "Sat, 10 Apr 2010 01:39:23 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -2.0 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.0 (--) > 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. I guess we could/should make this "+0" conditional on some debugging option, since after all it's only needed to catch coding errors. Stefan From unknown Mon Jun 23 13:15:09 2025 X-Loop: help-debbugs@gnu.org Subject: bug#5916: XFLOAT_DATA and signed zeroes Resent-From: Andreas Schwab Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-To: owner@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 10 Apr 2010 16:06:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 5916 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: 5916@debbugs.gnu.org, Vincent Lefevre Received: via spool by 5916-submit@debbugs.gnu.org id=B5916.12709155318382 (code B ref 5916); Sat, 10 Apr 2010 16:06:02 +0000 Received: (at 5916) by debbugs.gnu.org; 10 Apr 2010 16:05:31 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1O0dBb-0002B9-FF for submit@debbugs.gnu.org; Sat, 10 Apr 2010 12:05:31 -0400 Received: from mail-out.m-online.net ([212.18.0.9]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1O0dBZ-0002B4-MZ for 5916@debbugs.gnu.org; Sat, 10 Apr 2010 12:05:30 -0400 Received: from mail01.m-online.net (mail.m-online.net [192.168.3.149]) by mail-out.m-online.net (Postfix) with ESMTP id 1C81B1C157C7; Sat, 10 Apr 2010 18:05:25 +0200 (CEST) Received: from localhost (dynscan1.mnet-online.de [192.168.8.164]) by mail.m-online.net (Postfix) with ESMTP id E8479902DA; Sat, 10 Apr 2010 18:05:25 +0200 (CEST) X-Virus-Scanned: amavisd-new at mnet-online.de Received: from mail.mnet-online.de ([192.168.3.149]) by localhost (dynscan1.mnet-online.de [192.168.8.164]) (amavisd-new, port 10024) with ESMTP id dHIFodC+mnJ2; Sat, 10 Apr 2010 18:05:24 +0200 (CEST) Received: from igel.home (ppp-88-217-121-179.dynamic.mnet-online.de [88.217.121.179]) by mail.mnet-online.de (Postfix) with ESMTP; Sat, 10 Apr 2010 18:05:24 +0200 (CEST) Received: by igel.home (Postfix, from userid 501) id 86763CA29C; Sat, 10 Apr 2010 18:05:24 +0200 (CEST) From: Andreas Schwab References: <20100409233923.GT17637@prunille.vinc17.org> X-Yow: I like the way ONLY their mouths move.. They look like DYING OYSTERS Date: Sat, 10 Apr 2010 18:05:24 +0200 In-Reply-To: (Stefan Monnier's message of "Sat, 10 Apr 2010 11:20:33 -0400") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1.95 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -2.7 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.7 (--) You can also use the unary + to create an rvalue. Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different." From unknown Mon Jun 23 13:15:09 2025 X-Loop: help-debbugs@gnu.org Subject: bug#5916: XFLOAT_DATA and signed zeroes 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: Sat, 10 Apr 2010 16:44:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 5916 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Andreas Schwab Cc: 5916@debbugs.gnu.org, Stefan Monnier Received: via spool by 5916-submit@debbugs.gnu.org id=B5916.12709178009735 (code B ref 5916); Sat, 10 Apr 2010 16:44:02 +0000 Received: (at 5916) by debbugs.gnu.org; 10 Apr 2010 16:43:20 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1O0dmC-0002Wy-BT for submit@debbugs.gnu.org; Sat, 10 Apr 2010 12:43:20 -0400 Received: from vinc17.pck.nerim.net ([213.41.242.187] helo=prunille.vinc17.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1O0dm8-0002Wt-Qw for 5916@debbugs.gnu.org; Sat, 10 Apr 2010 12:43:19 -0400 Received: by prunille.vinc17.org (Postfix, from userid 501) id E3FF24A2327C; Sat, 10 Apr 2010 18:43:13 +0200 (CEST) Date: Sat, 10 Apr 2010 18:43:13 +0200 From: Vincent Lefevre Message-ID: <20100410164313.GW17637@prunille.vinc17.org> References: <20100409233923.GT17637@prunille.vinc17.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline In-Reply-To: X-Mailer-Info: http://www.vinc17.org/mutt/ User-Agent: Mutt/1.5.20-6072-vl-r35499 (2010-04-03) Content-Transfer-Encoding: quoted-printable X-Spam-Score: -3.9 (---) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.5 (---) On 2010-04-10 18:05:24 +0200, Andreas Schwab wrote: > You can also use the unary + to create an rvalue. MPFR uses: #define MPFR_VALUE_OF(x) (0 ? (x) : (x)) It was suggested by Wojtek Lerch and Tim Rentsch in comp.std.c. --=20 Vincent Lef=E8vre - Web: 100% accessible validated (X)HTML - Blog: Work: CR INRIA - computer arithmetic / Ar=E9naire project (LIP, ENS-Lyon) From unknown Mon Jun 23 13:15:09 2025 X-Loop: help-debbugs@gnu.org Subject: bug#5916: XFLOAT_DATA and signed zeroes Resent-From: Andreas Schwab Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-To: owner@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 10 Apr 2010 17:26:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 5916 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Vincent Lefevre Cc: 5916@debbugs.gnu.org, Stefan Monnier Received: via spool by 5916-submit@debbugs.gnu.org id=B5916.127092036210839 (code B ref 5916); Sat, 10 Apr 2010 17:26:02 +0000 Received: (at 5916) by debbugs.gnu.org; 10 Apr 2010 17:26:02 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1O0eRV-0002om-Lz for submit@debbugs.gnu.org; Sat, 10 Apr 2010 13:26:01 -0400 Received: from mail-out.m-online.net ([212.18.0.10]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1O0eRT-0002oc-EH for 5916@debbugs.gnu.org; Sat, 10 Apr 2010 13:26:00 -0400 Received: from mail01.m-online.net (mail.m-online.net [192.168.3.149]) by mail-out.m-online.net (Postfix) with ESMTP id 3F1A21C0007E; Sat, 10 Apr 2010 19:25:56 +0200 (CEST) Received: from localhost (dynscan1.mnet-online.de [192.168.8.164]) by mail.m-online.net (Postfix) with ESMTP id DEB399009C; Sat, 10 Apr 2010 19:25:55 +0200 (CEST) X-Virus-Scanned: amavisd-new at mnet-online.de Received: from mail.mnet-online.de ([192.168.3.149]) by localhost (dynscan1.mnet-online.de [192.168.8.164]) (amavisd-new, port 10024) with ESMTP id UiiyVw3+LIBV; Sat, 10 Apr 2010 19:25:55 +0200 (CEST) Received: from igel.home (ppp-88-217-121-179.dynamic.mnet-online.de [88.217.121.179]) by mail.mnet-online.de (Postfix) with ESMTP; Sat, 10 Apr 2010 19:25:55 +0200 (CEST) Received: by igel.home (Postfix, from userid 501) id DB484CA29C; Sat, 10 Apr 2010 19:25:54 +0200 (CEST) From: Andreas Schwab References: <20100409233923.GT17637@prunille.vinc17.org> <20100410164313.GW17637@prunille.vinc17.org> X-Yow: Did you move a lot of KOREAN STEAK KNIVES this trip, Dingy? Date: Sat, 10 Apr 2010 19:25:54 +0200 In-Reply-To: <20100410164313.GW17637@prunille.vinc17.org> (Vincent Lefevre's message of "Sat, 10 Apr 2010 18:43:13 +0200") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1.95 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -2.7 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.7 (--) Vincent Lefevre writes: > MPFR uses: > > #define MPFR_VALUE_OF(x) (0 ? (x) : (x)) You need that if you want to handle more than just arithmetic types. Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different." From unknown Mon Jun 23 13:15:09 2025 X-Loop: help-debbugs@gnu.org Subject: bug#5916: XFLOAT_DATA and signed zeroes References: <20100409233923.GT17637@prunille.vinc17.org> In-Reply-To: <20100409233923.GT17637@prunille.vinc17.org> Resent-From: Glenn Morris Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-To: owner@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 16 May 2010 18:59:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 5916 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: raeburn@raeburn.org Cc: 5916@debbugs.gnu.org Received: via spool by 5916-submit@debbugs.gnu.org id=B5916.127403632516383 (code B ref 5916); Sun, 16 May 2010 18:59:02 +0000 Received: (at 5916) by debbugs.gnu.org; 16 May 2010 18:58:45 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1ODj2z-0004GC-5U for submit@debbugs.gnu.org; Sun, 16 May 2010 14:58:45 -0400 Received: from fencepost.gnu.org ([140.186.70.10]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1ODj2x-0004G6-VJ for 5916@debbugs.gnu.org; Sun, 16 May 2010 14:58:44 -0400 Received: from rgm by fencepost.gnu.org with local (Exim 4.69) (envelope-from ) id 1ODj2r-0002ai-QX; Sun, 16 May 2010 14:58:37 -0400 From: Glenn Morris X-Spook: eternity server offensive information warfare virus Forte X-Ran: sL;OKF2[Kv0)7T,_Sk/ayE"~bnIrUJ{b6@i}*qEXhz>r7VGcg"&8D:zq:v[L)'<-nV/$w= X-Hue: white X-Attribution: GM Date: Sun, 16 May 2010 14:58:37 -0400 Message-ID: <4zeihbhdwi.fsf@fencepost.gnu.org> User-Agent: Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -5.1 (-----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -5.1 (-----) > revno: 100306 [merge] > committer: Ken Raeburn > branch nick: trunk > timestamp: Sat 2010-05-15 17:21:30 -0400 [...] > * src/lisp.h (XFLOAT_DATA): Use "0?x:x" to generate an rvalue. (bug#5916) > (LISP_MAKE_RVALUE) [!USE_LISP_UNION_TYPE && !__GNUC__]: Likewise. So can this bug be closed now? From unknown Mon Jun 23 13:15:09 2025 X-Loop: help-debbugs@gnu.org Subject: bug#5916: XFLOAT_DATA and signed zeroes Resent-From: Ken Raeburn Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-To: owner@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 16 May 2010 22:36:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 5916 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Glenn Morris Cc: 5916@debbugs.gnu.org Received: via spool by 5916-submit@debbugs.gnu.org id=B5916.127404931922109 (code B ref 5916); Sun, 16 May 2010 22:36:02 +0000 Received: (at 5916) by debbugs.gnu.org; 16 May 2010 22:35:19 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1ODmQX-0005kX-K3 for submit@debbugs.gnu.org; Sun, 16 May 2010 18:35:17 -0400 Received: from splat.raeburn.org ([69.25.196.39] helo=raeburn.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1ODkBO-0004lk-Jg for 5916@debbugs.gnu.org; Sun, 16 May 2010 16:11:30 -0400 Received: from squish.raeburn.org (squish.raeburn.org [10.0.0.172]) by raeburn.org (8.14.3/8.14.1) with ESMTP id o4GKBPHJ008091; Sun, 16 May 2010 16:11:25 -0400 (EDT) Mime-Version: 1.0 (Apple Message framework v1078) Content-Type: text/plain; charset=us-ascii From: Ken Raeburn In-Reply-To: <4zeihbhdwi.fsf@fencepost.gnu.org> Date: Sun, 16 May 2010 16:11:25 -0400 Content-Transfer-Encoding: 7bit Message-Id: <5B22BA1A-7974-4AC1-93DA-75419DF28685@raeburn.org> References: <4zeihbhdwi.fsf@fencepost.gnu.org> X-Mailer: Apple Mail (2.1078) X-Spam-Score: -2.6 (--) X-Mailman-Approved-At: Sun, 16 May 2010 18:35:15 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.6 (--) On May 16, 2010, at 14:58, Glenn Morris wrote: > So can this bug be closed now? Ah, yes... sorry, I forgot about that. Thanks for the reminder. Looking up how to do that now.... Ken From unknown Mon Jun 23 13:15:09 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.427 (Entity 5.427) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Vincent Lefevre Subject: bug#5916: closed (Re: bug#5916: XFLOAT_DATA and signed zeroes) Message-ID: References: <20100409233923.GT17637@prunille.vinc17.org> X-Gnu-PR-Message: they-closed 5916 X-Gnu-PR-Package: emacs Reply-To: 5916@debbugs.gnu.org Date: Sun, 16 May 2010 22:36:03 +0000 Content-Type: multipart/mixed; boundary="----------=_1274049363-22148-1" This is a multi-part message in MIME format... ------------=_1274049363-22148-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #5916: XFLOAT_DATA and signed zeroes which was filed against the emacs package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 5916@debbugs.gnu.org. --=20 5916: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D5916 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1274049363-22148-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 5916-done) by debbugs.gnu.org; 16 May 2010 22:35:19 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1ODmQX-0005kZ-V5 for submit@debbugs.gnu.org; Sun, 16 May 2010 18:35:18 -0400 Received: from splat.raeburn.org ([69.25.196.39] helo=raeburn.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1ODkCR-0004mU-SJ for 5916-done@debbugs.gnu.org; Sun, 16 May 2010 16:12:36 -0400 Received: from squish.raeburn.org (squish.raeburn.org [10.0.0.172]) by raeburn.org (8.14.3/8.14.1) with ESMTP id o4GKCVLn014664; Sun, 16 May 2010 16:12:31 -0400 (EDT) Subject: Re: bug#5916: XFLOAT_DATA and signed zeroes Mime-Version: 1.0 (Apple Message framework v1078) Content-Type: text/plain; charset=us-ascii From: Ken Raeburn In-Reply-To: <4zeihbhdwi.fsf@fencepost.gnu.org> Date: Sun, 16 May 2010 16:12:31 -0400 Content-Transfer-Encoding: 7bit Message-Id: References: <4zeihbhdwi.fsf@fencepost.gnu.org> To: 5916-done@debbugs.gnu.org X-Mailer: Apple Mail (2.1078) X-Spam-Score: -2.6 (--) X-Debbugs-Envelope-To: 5916-done X-Mailman-Approved-At: Sun, 16 May 2010 18:35:15 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.6 (--) Should be fixed on trunk by yesterday's checkin: >> revno: 100306 [merge] >> committer: Ken Raeburn >> branch nick: trunk >> timestamp: Sat 2010-05-15 17:21:30 -0400 > [...] >> * src/lisp.h (XFLOAT_DATA): Use "0?x:x" to generate an rvalue. (bug#5916) >> (LISP_MAKE_RVALUE) [!USE_LISP_UNION_TYPE && !__GNUC__]: Likewise. ------------=_1274049363-22148-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 9 Apr 2010 23:53:21 +0000 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 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 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 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 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 X-Spam-Checker-Version: SpamAssassin 3.3.0 (2010-01-18) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable version=3.3.0 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 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 Received: by prunille.vinc17.org (Postfix, from userid 501) id 933164A12E00; Sat, 10 Apr 2010 01:39:23 +0200 (CEST) Date: Sat, 10 Apr 2010 01:39:23 +0200 From: Vincent Lefevre To: bug-gnu-emacs@gnu.org Subject: XFLOAT_DATA and signed zeroes Message-ID: <20100409233923.GT17637@prunille.vinc17.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline X-Mailer-Info: http://www.vinc17.org/mutt/ User-Agent: Mutt/1.5.20-6072-vl-r35499 (2010-04-03) Content-Transfer-Encoding: quoted-printable 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-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit 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 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -5.3 (-----) 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) ------------=_1274049363-22148-1--