From debbugs-submit-bounces@debbugs.gnu.org Sat Nov 09 13:29:38 2013 Received: (at submit) by debbugs.gnu.org; 9 Nov 2013 18:29:39 +0000 Received: from localhost ([127.0.0.1]:44475 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VfDHt-0007GZ-U1 for submit@debbugs.gnu.org; Sat, 09 Nov 2013 13:29:38 -0500 Received: from eggs.gnu.org ([208.118.235.92]:34289) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VfBZZ-0004aw-5E for submit@debbugs.gnu.org; Sat, 09 Nov 2013 11:39:45 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VfBZN-00020h-5B for submit@debbugs.gnu.org; Sat, 09 Nov 2013 11:39:39 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:45455) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VfBZN-00020G-1a for submit@debbugs.gnu.org; Sat, 09 Nov 2013 11:39:33 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:35974) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VfBZG-0008S4-VI for bug-guile@gnu.org; Sat, 09 Nov 2013 11:39:32 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VfBZB-0001mR-3b for bug-guile@gnu.org; Sat, 09 Nov 2013 11:39:26 -0500 Received: from georges.telenet-ops.be ([195.130.137.68]:37971) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VfBZA-0001lG-Qn for bug-guile@gnu.org; Sat, 09 Nov 2013 11:39:21 -0500 Received: from smtp.kobaltwit.lan ([81.82.192.49]) by georges.telenet-ops.be with bizsmtp id nUfH1m00e14QHfV06UfHyN; Sat, 09 Nov 2013 17:39:17 +0100 Received: from localhost (unknown [127.0.0.1]) by smtp.kobaltwit.lan (Postfix) with ESMTP id A564120C8F for ; Sat, 9 Nov 2013 16:39:17 +0000 (UTC) X-Virus-Scanned: amavisd-new at kobaltwit.lan Received: from smtp.kobaltwit.lan ([127.0.0.1]) by localhost (hosting.kobaltwit.lan [127.0.0.1]) (amavisd-new, port 10024) with LMTP id kfCQp80y-hr6 for ; Sat, 9 Nov 2013 17:39:16 +0100 (CET) Received: from legolas.kobaltwit.lan (legolas.kobaltwit.lan [192.168.93.4]) by smtp.kobaltwit.lan (Postfix) with ESMTP id C534420C8E for ; Sat, 9 Nov 2013 17:39:16 +0100 (CET) From: Geert Janssens To: bug-guile@gnu.org Subject: Integer overflow on Mac OS X 64-bit Date: Sat, 09 Nov 2013 17:39:10 +0100 Message-ID: <20974648.zh0m7Q2JlI@legolas.kobaltwit.lan> Organization: Kobalt W.I.T. User-Agent: KMail/4.11.2 (Linux/3.11.6-200.fc19.x86_64; KDE/4.11.2; x86_64; ; ) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="nextPart1650399.WAnmtPePMy"; micalg="pgp-sha1"; protocol="application/pgp-signature" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Sat, 09 Nov 2013 13:29:35 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) --nextPart1650399.WAnmtPePMy Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" Hi, I am experimenting with swig bindings for guile on Mac OS X. One of the swig tests (the integer test) is failing. I am aware that swig is not guile, but the bug seems to be reproducible in pure guile as well. When I calculate (2^64) -1 on the Mac OS X platform, it returns -1. On my fedora system, the same calculation returns 18446744073709551615 The scheme command used for this is (display (- (expt 2 64) 1))(newline) Note that I don't have direct access to a 64-bit Mac OS X system. I have run into this bug via that travis CI service. Here's a link to one of the test runs for swig on that platform: https://travis-ci.org/gjanssens/swig/jobs/13730706 The output of the calculation as given above is on line 2161. (The test is missing the (newline) part, so some additional output is appended on the same line. This comes from another display command though). I'm not sure what additional information I can provide. If you need, I can run more tests indirectly on the travis platform, but other than that, my options are fairly limited. Geert --nextPart1650399.WAnmtPePMy Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part. Content-Transfer-Encoding: 7Bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.22 (GNU/Linux) iQEcBAABAgAGBQJSfmU0AAoJEHfzid++mLPj6FEIALYz/o6+1oKbeOH4ko6o3zFW HvK2ix4C/FSxHSco0bRPcqZn/waD1doLrricCaGfE/yHCD1yB9fEZrmjm1T8lxNM cBtyq6yF6aG3nIg5lVzb8OlhfaIuuQeWbCJDJsHiSlI6BIgt7RrlolE21Ra0q4X/ pNMSriTq+QsuVln0IEfn2ZdmzAiRlxcVFTgCTPLV3++EYwEvZxXXiT2C3jgRLRV4 sRVbMCOan4ZSf9rNXULnAbUv6mDf8sLYKsyVSppEHR05ZcidWObLrOh8ntN1+c1H MvBv0jmZsngo635Slt3nJKuQ1sTNhGWdZF1Ct4bEkGEN253NSglw9Fp4OS5qyms= =9Slx -----END PGP SIGNATURE----- --nextPart1650399.WAnmtPePMy-- From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 14 02:35:04 2013 Received: (at 15842) by debbugs.gnu.org; 14 Nov 2013 07:35:04 +0000 Received: from localhost ([127.0.0.1]:51282 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VgrSB-0001FH-5q for submit@debbugs.gnu.org; Thu, 14 Nov 2013 02:35:03 -0500 Received: from mail-we0-f179.google.com ([74.125.82.179]:35226) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VgrGE-0000wH-Ch for 15842@debbugs.gnu.org; Thu, 14 Nov 2013 02:22:43 -0500 Received: by mail-we0-f179.google.com with SMTP id x55so1450921wes.24 for <15842@debbugs.gnu.org>; Wed, 13 Nov 2013 23:22:36 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:sender:message-id:date:from:user-agent :mime-version:to:subject:content-type:content-transfer-encoding; bh=QWZBi3iWIOq9E3qdTCHLQpPp+MUivXA9iWmX+VQZwdo=; b=Wx1ELoLExyGTdV12nD1yGEG/bo8ngNxLWYQhV8FJwFaV5aFTNxic0vMO9n/GkKSiMK QD76zDs9kFSYSDy8v359swRx2mjl3kTtAXKNoWRna7fOozLzDbFZi/pSLueC9OnU5KjV 3OIQcl81ttM4FfPHg/qPZykq8/2RNU0jC0QN8W47A28IEsS71ygsq4fmlsR7V6rBpfy6 9ssHQaQR9cRI04qAZSyE/L/cwtBMRK4Qnn9UvxiAYC8a1qwGK9m88GtnrK2G54ES9Ech kPfzVmOmn9Aw8zCko92Xf+ML9uti7JuoUotGUHc2iDfBlaLLfGtooZc/53dMh45s2IXl LonA== X-Gm-Message-State: ALoCoQkhDGWiCInQ96NbziLbKNQaemx4FxznapdhQ6Bl7phn18ygECOEXcE4+mYXLSQSBDkyXRvn X-Received: by 10.194.119.106 with SMTP id kt10mr843995wjb.72.1384413756372; Wed, 13 Nov 2013 23:22:36 -0800 (PST) Received: from [192.168.42.8] (dab-bas2-h-45-3.dab.02.net. [82.132.217.99]) by mx.google.com with ESMTPSA id nb16sm1960817wic.0.2013.11.13.23.22.33 for <15842@debbugs.gnu.org> (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 13 Nov 2013 23:22:35 -0800 (PST) Message-ID: <52847A38.6080307@fultondesigns.co.uk> Date: Thu, 14 Nov 2013 07:22:32 +0000 From: William S Fulton User-Agent: Mozilla/5.0 (X11; Linux i686; rv:17.0) Gecko/20130330 Thunderbird/17.0.5 MIME-Version: 1.0 To: 15842@debbugs.gnu.org Subject: Integer overflow on Mac OS X 64-bit Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 15842 X-Mailman-Approved-At: Thu, 14 Nov 2013 02:35:00 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) I verified the output of: (display (- (expt 2 64) 1))(newline) gives -1 using 1.8.8 on OSX Mountain Lion. I then installed Guile 2.0.9 and the output is 18446744073709551615, so this looks fixed to me. The SWIG tests mentioned also pass now. William From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 14 19:26:15 2013 Received: (at 15842-done) by debbugs.gnu.org; 15 Nov 2013 00:26:15 +0000 Received: from localhost ([127.0.0.1]:52831 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Vh7Ek-0002nN-Kj for submit@debbugs.gnu.org; Thu, 14 Nov 2013 19:26:15 -0500 Received: from world.peace.net ([96.39.62.75]:44463 ident=hope0) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Vh7Eh-0002nE-Rz for 15842-done@debbugs.gnu.org; Thu, 14 Nov 2013 19:26:12 -0500 Received: from turntable.mit.edu ([18.160.0.29] helo=yeeloong) by world.peace.net with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1Vh7EY-0003MC-Vc; Thu, 14 Nov 2013 19:26:03 -0500 From: Mark H Weaver To: Geert Janssens Subject: Re: bug#15842: Integer overflow on Mac OS X 64-bit References: <20974648.zh0m7Q2JlI@legolas.kobaltwit.lan> Date: Thu, 14 Nov 2013 19:25:25 -0500 In-Reply-To: <20974648.zh0m7Q2JlI@legolas.kobaltwit.lan> (Geert Janssens's message of "Sat, 09 Nov 2013 17:39:10 +0100") Message-ID: <877gcaa4ui.fsf@netris.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 15842-done Cc: 15842-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.0 (/) Geert Janssens writes: > I am experimenting with swig bindings for guile on Mac OS X. One of the > swig tests (the integer test) is failing. I am aware that swig is not > guile, but the bug seems to be reproducible in pure guile as well. > > When I calculate (2^64) -1 on the Mac OS X platform, it returns -1. On > my fedora system, the same calculation returns > 18446744073709551615 When reporting bugs, please tell us what version of Guile you're using. This is fixed in Guile 2.0.9. The bug came into existence when clang started optimizing out overflow checks, on the theory that if a signed integer overflow occurs then the behavior is unspecified and thus the compiler can do whatever it likes. http://git.savannah.gnu.org/gitweb/?p=guile.git;a=commit;h=2355f01709eadfd5350c510cdb095b4e3f71f17c http://stackoverflow.com/questions/14495636/strange-multiplication-behavior-in-guile-scheme-interpreter I'm closing this bug, on the assumption that you're using an old Guile release. Please reopen it if the problem still exists in 2.0.9. Thanks! Mark From debbugs-submit-bounces@debbugs.gnu.org Fri Nov 15 03:25:12 2013 Received: (at 15842-done) by debbugs.gnu.org; 15 Nov 2013 08:25:12 +0000 Received: from localhost ([127.0.0.1]:53922 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VhEiE-0001Fo-KI for submit@debbugs.gnu.org; Fri, 15 Nov 2013 03:25:12 -0500 Received: from gerard.telenet-ops.be ([195.130.132.48]:46610) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VhEiA-0001FX-9e for 15842-done@debbugs.gnu.org; Fri, 15 Nov 2013 03:25:08 -0500 Received: from smtp.kobaltwit.lan ([81.82.192.49]) by gerard.telenet-ops.be with bizsmtp id pkR21m00G14QHfV0HkR2UF; Fri, 15 Nov 2013 09:25:02 +0100 Received: from localhost (unknown [127.0.0.1]) by smtp.kobaltwit.lan (Postfix) with ESMTP id 0B5AE20C8D; Fri, 15 Nov 2013 08:25:02 +0000 (UTC) X-Virus-Scanned: amavisd-new at kobaltwit.lan Received: from smtp.kobaltwit.lan ([127.0.0.1]) by localhost (hosting.kobaltwit.lan [127.0.0.1]) (amavisd-new, port 10024) with LMTP id ROymOVmJitc4; Fri, 15 Nov 2013 09:25:01 +0100 (CET) Received: from legolas.kobaltwit.lan (legolas.kobaltwit.lan [192.168.93.4]) by smtp.kobaltwit.lan (Postfix) with ESMTP id 344F020C8C; Fri, 15 Nov 2013 09:25:01 +0100 (CET) From: Geert Janssens To: Mark H Weaver Subject: Re: bug#15842: Integer overflow on Mac OS X 64-bit Date: Fri, 15 Nov 2013 09:24:55 +0100 Message-ID: <1727202.NLHaCKlyzT@legolas.kobaltwit.lan> Organization: Kobalt W.I.T. User-Agent: KMail/4.11.2 (Linux/3.11.6-200.fc19.x86_64; KDE/4.11.2; x86_64; ; ) In-Reply-To: <877gcaa4ui.fsf@netris.org> References: <20974648.zh0m7Q2JlI@legolas.kobaltwit.lan> <877gcaa4ui.fsf@netris.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="nextPart9900897.XVqjVhdI51"; micalg="pgp-sha1"; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 15842-done Cc: 15842-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.0 (/) --nextPart9900897.XVqjVhdI51 Content-Type: multipart/alternative; boundary="nextPart1791151.i1384A1nTD" Content-Transfer-Encoding: 7Bit This is a multi-part message in MIME format. --nextPart1791151.i1384A1nTD Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" On Thursday 14 November 2013 19:25:25 Mark H Weaver wrote: > When reporting bugs, please tell us what version of Guile you're > using. > Oops, I should have known better. William S. Fulton (from the Swig project), filled in the details in message #8. > This is fixed in Guile 2.0.9. The bug came into existence when clang > started optimizing out overflow checks, on the theory that if a signed > integer overflow occurs then the behavior is unspecified and thus the > compiler can do whatever it likes. > As noted by William, the bug appears in 1.8. Is there any chance to get this fix backported to that branch ? Or has support for 1.8 stopped completely in the meantime ? Thanks, Geert --nextPart1791151.i1384A1nTD Content-Transfer-Encoding: 7Bit Content-Type: text/html; charset="us-ascii"

On Thursday 14 November 2013 19:25:25 Mark H Weaver wrote:

> When reporting bugs, please tell us what version of Guile you're

> using.

>

Oops, I should have known better. William S. Fulton (from the Swig project), filled in the details in message #8.

 

> This is fixed in Guile 2.0.9. The bug came into existence when clang

> started optimizing out overflow checks, on the theory that if a signed

> integer overflow occurs then the behavior is unspecified and thus the

> compiler can do whatever it likes.

>

As noted by William, the bug appears in 1.8. Is there any chance to get this fix backported to that branch ? Or has support for 1.8 stopped completely in the meantime ?

 

Thanks,

 

Geert

--nextPart1791151.i1384A1nTD-- --nextPart9900897.XVqjVhdI51 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part. Content-Transfer-Encoding: 7Bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.22 (GNU/Linux) iQEcBAABAgAGBQJShdpcAAoJEHfzid++mLPjtAoH/i+wtAlW5ibjx9L7enFD15B1 bLrOlV/wz/yhnc4LhXXvW+mx3qDhbIdsgc6VLskm5lSotGDcyRX788qP4NB+F8Mv 6bfORTOsp0g8yt3o2k35CyZ6cdtohWgpD5Ui8BVfj8wMw0aXhjAZn/NMZCvwFBmf ZdafeRP8117+FgP2p0uyzU8Ehblcico43emxev04hpo+2ZN8H8Y7i1kQ9hxWbVfX 8OMaQEnQeg2PCCHmKFt2+4aVbtXTY8LM07fga0VOHtaxj3F9Syobytmw27wuWAM4 qBQc2pEAgq95MTxpbfirS7IgsJqhfyeISd/LZf8vVuAOmhPM2MYqTyGZtVQRuHQ= =r600 -----END PGP SIGNATURE----- --nextPart9900897.XVqjVhdI51-- From unknown Fri Aug 08 15:18:48 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 13 Dec 2013 12:24:15 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator