GMP and clang bugginess

Torbjörn Granlund tg at
Fri May 22 06:32:07 UTC 2015

bodrato at writes:

  Do we have any working configuration for the x32 ABI?

It works.  We had testing of it on a Gentoo system until perhaps a year

The reason for the failure
is that clang apparently accepts and ignores -mx32.  Autoconf relies on
that things that don't work fail visibly, an accept-and-ignore policy
clashes with autoconf.

I am not worried about that type of failures, they leave GMP users in no
doubt.  I do worry that about 18 of our 94 clang configs silently create
a miscompiled library.

What fraction of users run "make check".  I have no idea about the
figures, but I expect very very few do that.  Fortunately, most users
today probably use a pre-built GMP, and package maintainers are likely
to both use gcc and to run "make check".

Compiler bugs is not a new problem for GMP.  GCC also used to have
problems before GMP was a requirement for GCC.  But it was never even
close to clang in bugginess.

Please encrypt, key id 0xC8601622

More information about the gmp-devel mailing list