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: Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>, 1237@pari.math.u-bordeaux.fr
Resent-From: Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>
Resent-To: bug-submit-list@pari.math.u-bordeaux.fr
Resent-CC: Karim.Belabas@math.u-bordeaux.fr
Resent-Date: Thu, 26 Jan 2012 16:33:02 UTC
Resent-Message-ID: <handler.1237.B1237.13275951088929@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.13275951088929
          (code B ref 1237); Thu, 26 Jan 2012 16:33:02 UTC
Received: (at 1237) by pari.math.u-bordeaux.fr; 26 Jan 2012 16:25:08 +0000
Received: from localhost ([::1] helo=yellowpig)
	by pari.math.u-bordeaux1.fr with esmtp (Exim 4.72)
	(envelope-from <Bill.Allombert@math.u-bordeaux1.fr>)
	id 1RqS8K-0002Jy-OI; Thu, 26 Jan 2012 17:25:08 +0100
Received: from bill by yellowpig with local (Exim 4.72)
	(envelope-from <Bill.Allombert@math.u-bordeaux1.fr>)
	id 1RqS8K-0005Lg-MX; Thu, 26 Jan 2012 17:25:08 +0100
Date: Thu, 26 Jan 2012 17:25:08 +0100
From: Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>
To: Julian Taylor <jtaylor.debian@googlemail.com>
Cc: 1237@pari.math.u-bordeaux.fr
Message-ID: <20120126162508.GA18262@yellowpig>
References: <4E5E52C5.4050702@googlemail.com>
 <20110901202245.GH17070@yellowpig>
 <4E5FF27B.5080600@googlemail.com>
 <20110902165738.GM17070@yellowpig>
 <20110913144151.GE6199@yellowpig>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20110913144151.GE6199@yellowpig>
User-Agent: Mutt/1.5.20 (2009-06-14)

On Tue, Sep 13, 2011 at 04:41:51PM +0200, 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.

Hello Julian,

Sorry for the long delay,

I just fixed stack_base to be standard compliant. It seems actually improve things
with the version of gcc I tried (Debian 4.6.2-12). It did not with older versions.

This is is revision c3f6b58983. This is backported in PARI 2.5.1 in rev ee8e36931.
PARI 2.5.1 will be released soon.
Please check if that also fix things for you.

Thanks for your report,
Bill.

Send a report that this bug log contains spam.

Bill Allombert <allomber@math.u-bordeaux.fr>. Last modified: Sat Aug 26 17:15:07 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.