http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56409
--- Comment #3 from Marcin Kasperski <Marcin.Kasperski at mekk dot waw.pl> 2013-02-20 15:19:26 UTC --- I am not the person who installed gcc here and I am not administering the machine, so unfortunately I can't elaborate on the way current gcc was installed. I am going to try compiling some version myself and retry. >From your comment I understand that gcc internally uses GMP and that likely it was compiled against wrong GMP. Will try to take a look, I remember that there were some 32-vs-64-bit problems with respect to GMP on Suns
