I just built gmp2 using the sources out of potato (2.0.2-6.2) and the default -O2/-O3 optimization and I'm not seeing the failure here. So it seems the finger of suspicion points to the Debian gcc. p.