GMP 6.1.2 t-count_zeros failure on ARM with assertions

Marc Glisse marc.glisse at
Wed Jan 17 17:06:49 UTC 2018

On Wed, 17 Jan 2018, Vincent Lefevre wrote:

> On 2018-01-17 17:23:02 +0100, Marc Glisse wrote:
>> Indeed, it doesn't make sense to have both the assertion and
>> COUNT_LEADING_ZEROS_0. Would it work to remove the assertion instead?
> Yes, this works too (assuming that 0 will always be converted to +0).

You know those details better than me, is that a dangerous assumption to 
make? Even when restricted to the architectures / compilers that may use 
this code? I was expecting it to be rather safe, but if you think it 
isn't, then I'd rather go with your original patch.

Marc Glisse

More information about the gmp-bugs mailing list