------- Comment #2 from vincent at vinc17 dot org 2008-06-10 09:09 ------- (In reply to comment #1) > You should try out 4.3.1.
As I said, I could reproduce the problem with this version too (but there's a bug in gmp.h, so I was not sure). -- vincent at vinc17 dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Severity|normal |major http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36484