PARI/GP Bug report logs - #1237
undefined behaviour in pari_init_parser

Package: pari; Maintainer for pari is Aurel Page <aurel.page@normalesup.org>; Source for pari is src:pari.

Reported by: Julian Taylor <jtaylor.debian@googlemail.com>

Date: Wed, 31 Aug 2011 15:33:08 UTC

Severity: normal

Done: Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>

Bug is archived. No further changes may be made.

Full log

🔗 View this message in rfc822 format

X-Loop: allomber@math.u-bordeaux.fr
Subject: Bug#1237: undefined behaviour in pari_init_parser
Reply-To: Julian Taylor <jtaylor.debian@googlemail.com>, 1237@pari.math.u-bordeaux.fr
Resent-From: Julian Taylor <jtaylor.debian@googlemail.com>
Resent-To: bug-submit-list@pari.math.u-bordeaux.fr
Resent-CC: Karim.Belabas@math.u-bordeaux.fr
Resent-Date: Sun, 18 Sep 2011 20:18:01 UTC
Resent-Message-ID: <handler.1237.B1237.131637664424854@pari.math.u-bordeaux.fr>
Resent-Sender: allomber@math.u-bordeaux.fr
X-PARI/GP-PR-Message: report 1237
X-PARI/GP-PR-Package: pari
X-PARI/GP-PR-Keywords: 
Received: via spool by 1237-submit@pari.math.u-bordeaux.fr id=B1237.131637664424854
          (code B ref 1237); Sun, 18 Sep 2011 20:18:01 UTC
Received: (at 1237) by pari.math.u-bordeaux.fr; 18 Sep 2011 20:10:44 +0000
Received: from mail-fx0-f45.google.com ([209.85.161.45])
	by pari.math.u-bordeaux1.fr with esmtp (Exim 4.69)
	(envelope-from <jtaylor.debian@googlemail.com>)
	id 1R5NhM-0006Sp-A8
	for 1237@pari.math.u-bordeaux.fr; Sun, 18 Sep 2011 22:10:44 +0200
Received: by fxh13 with SMTP id 13so4460686fxh.32
        for <1237@pari.math.u-bordeaux.fr>; Sun, 18 Sep 2011 13:10:38 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:x-enigmail-version:content-type;
        bh=bUgnT373b33Nc+60FgYfr/UzwcXamdG/PNKN+adWdO8=;
        b=eUBvWfY7NCicG0ARh2u72xinJdCf6olEZ6GLKUFEOMqwBBDpy3gS9pfUaAvdBlwkYs
         YrBI/2kktaqPC+x/ok5xqaocKcGd/2dZijxa/25mn98e+/NpXiLNIGANsm6JEHiuts6v
         MtxP2g01i8y8IiWBi/4rfLZyN9ozVFJeVwwPE=
Received: by 10.223.55.209 with SMTP id v17mr3691845fag.77.1316376638894;
        Sun, 18 Sep 2011 13:10:38 -0700 (PDT)
Received: from [192.168.0.12] (p5498B6C8.dip.t-dialin.net. [84.152.182.200])
        by mx.google.com with ESMTPS id h16sm3450795fab.19.2011.09.18.13.10.35
        (version=SSLv3 cipher=OTHER);
        Sun, 18 Sep 2011 13:10:36 -0700 (PDT)
Message-ID: <4E76503A.9070006@googlemail.com>
Date: Sun, 18 Sep 2011 22:10:34 +0200
From: Julian Taylor <jtaylor.debian@googlemail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:7.0) Gecko/20110914 Thunderbird/7.0
MIME-Version: 1.0
To: Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>
CC: 1237@pari.math.u-bordeaux.fr
References: <4E5E52C5.4050702@googlemail.com> <20110901202245.GH17070@yellowpig> <4E5FF27B.5080600@googlemail.com> <20110902165738.GM17070@yellowpig> <20110913144151.GE6199@yellowpig>
In-Reply-To: <20110913144151.GE6199@yellowpig>
X-Enigmail-Version: 1.4a1pre
Content-Type: multipart/signed; micalg=pgp-sha1;
 protocol="application/pgp-signature";
 boundary="------------enig94DFC5D5C10590A2296CDCDA"

[Message part 1 (text/plain, inline)]
On 09/13/2011 04:41 PM, Bill Allombert wrote:
> On Fri, Sep 02, 2011 at 06:57:38PM +0200, Bill Allombert wrote:
>> On Thu, Sep 01, 2011 at 11:00:43PM +0200, Julian Taylor wrote:
>>
>> Well, you can try the attached patch which work around the compiler issue without
>> breaking the ABI (tested on sparc).
> 
> Hello Julian, 
> I have uploaded a new Debian package that includes this patch and it was built correctly
> on all platform, as you can see 
> <https://buildd.debian.org/status/package.php?p=pari>
> this includes armel and sparc. 
> Do you still have issues on armel ?
> 
> A technical note: it is possible that stack_init is not standard compliant, but it
> should be possible to rewrite it in a standard compliant according to
> <http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49330#c8>
> However gcc-4.6 bug PR49330 is still open so PARI would still be miscompiled.
> 
> Cheers,
> Bill.

unfortunately it still fails with the same issue in my qemu armel chroot
on ubuntu oneiric which has pretty much the same gcc version as debian
(4.6-9ubuntu3).
I don't understand why.


[signature.asc (application/pgp-signature, attachment)]

Send a report that this bug log contains spam.

Bill Allombert <allomber@math.u-bordeaux.fr>. Last modified: Sat Aug 26 17:15:09 2023; Machine Name: pari

PARI/GP Bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.