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

Full log

Message #55 received at 1237@pari.math.u-bordeaux.fr (full text, mbox, reply):

Received: (at 1237) by pari.math.u-bordeaux.fr; 26 Jan 2012 16:25:08 +0000
From Bill.Allombert@math.u-bordeaux1.fr Thu Jan 26 17:25:08 2012
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
Subject: Re: Bug#1237: undefined behaviour in pari_init_parser
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.