I assume your message is a "FYI", and that it is not a request for
workarounds in GMP.
We are quite restrictive with adding workarounds for compiler bugs in
the GMP sources, even when the problem compiler is GNU's own (i.e.,
GCC).
Mac OS X has been the problem platform for GMP for all Mac OS X's 10
years of existance. The linker, aseembler, and Apple's hacked GCC all
have substandard quality. There are signs that it will go from bad to
worse with LLVM...
--
Torbjörn