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

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

Received: (at 1237) by pari.math.u-bordeaux.fr; 13 Sep 2011 14:42:00 +0000
From Bill.Allombert@math.u-bordeaux1.fr Tue Sep 13 16:42:00 2011
Received: from smail.math.u-bordeaux1.fr ([147.210.16.22])
	by pari.math.u-bordeaux1.fr with esmtp (Exim 4.69)
	(envelope-from <Bill.Allombert@math.u-bordeaux1.fr>)
	id 1R3UBU-0007xR-43
	for 1237@pari.math.u-bordeaux.fr; Tue, 13 Sep 2011 16:42:00 +0200
Received: from localhost (localhost.localdomain [127.0.0.1])
	by smail.math.u-bordeaux1.fr (Postfix) with ESMTP id 1BE9271171
	for <1237@pari.math.u-bordeaux.fr>; Tue, 13 Sep 2011 16:41:55 +0200 (CEST)
X-Virus-Scanned: amavisd-new at math.u-bordeaux1.fr
X-Spam-Flag: NO
X-Spam-Score: 0.83
X-Spam-Level: 
X-Spam-Status: No, score=0.83 required=6 tests=[BAYES_00=-1.9,
	FSL_HELO_NON_FQDN_1=0.001, HELO_NO_DOMAIN=0.001, KHOP_DYNAMIC=0.73,
	S25R_6=1.998] autolearn=disabled
Received: from smail.math.u-bordeaux1.fr ([127.0.0.1])
	by localhost (smail.math.u-bordeaux1.fr [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id MAStQwBQ1tOl; Tue, 13 Sep 2011 16:41:51 +0200 (CEST)
Received: from yellowpig (dhcp2.math.u-bordeaux1.fr [147.210.21.222])
	by smail.math.u-bordeaux1.fr (Postfix) with ESMTP id 0C64F70774;
	Tue, 13 Sep 2011 16:41:51 +0200 (CEST)
Received: from bill by yellowpig with local (Exim 4.72)
	(envelope-from <Bill.Allombert@math.u-bordeaux1.fr>)
	id 1R3UBL-00063z-4Y; Tue, 13 Sep 2011 16:41:51 +0200
Date: Tue, 13 Sep 2011 16:41:51 +0200
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: <20110913144151.GE6199@yellowpig>
References: <4E5E52C5.4050702@googlemail.com>
 <20110901202245.GH17070@yellowpig>
 <4E5FF27B.5080600@googlemail.com>
 <20110902165738.GM17070@yellowpig>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20110902165738.GM17070@yellowpig>
User-Agent: Mutt/1.5.20 (2009-06-14)

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.

Send a report that this bug log contains spam.

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