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