Bruno Haible <[email protected]> writes: It was already reported in https://lists.gnu.org/archive/html/bug-gmp/2008-04/msg00000.html but still occurs with gmp 5.0.2. [snip] The gmp manual documents this behaviour: http://gmplib.org/manual/ABI-and-ISA.html#ABI-and-ISA This was reported to the bugs mailing list, but the reporter is clearly aware of that the behaviour is the intensional and documented.
We do not plan to change the current behaviour. -- Torbjörn
