Bug report

Vincent Lefevre vincent at vinc17.org
Tue Jul 21 10:09:41 CEST 2009


On 2009-07-21 09:13:56 +0200, Torbjorn Granlund wrote:
> If you used that C++ compiler, or used he same version of gcc (i,e,
> 4.3.2) then you've run into a compiler problem.  It is unfortunate that
> Debian decided to stay with a compiler that cannot compile a vital gcc
> component, GMP.
> 
> I think Vincent Lefevre created a small test case for this problem and
> reported it to gcc.

Yes, in fact, I reported it first in gmp-discuss, then Gabriel
forwarded my testcase to the gcc mailing-list. A few days later,
I found that it corresponded to PR tree-optimization/36765
(which was fixed).

As the bug was still in Debian/lenny (the latest stable), I reported
it against Debian:

  http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=524472

hoping that it could be fixed in stable (this is not a security bug,
but IMHO such compiler bugs are important enough to justify a patch
in stable[*], in particular when the patch is simple). But it didn't
happen.

[*] They could even introduce security problems in compiled software.

-- 
Vincent Lefèvre <vincent at vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)


More information about the gmp-bugs mailing list