Re: Likely GMP bug

t...@gmplib.org (Torbjörn Granlund) writes: > For now, I'd suggest to just rip out USE_ZEROTAB. I've pushed a change to do just that. For making the rest of the file clearer, I'd suggest the below (complete file, I think that's more readable than the diff). I've also ripped out the

Re: Likely GMP bug

"Marco Bodrato" writes: The test suite now checks for this bug, for every run with --disable-assembly. So yes, you can remove the failure file, it will be recreated if some asm implementation is affected :-) Ehum? With --disable-assembly asm code tends to be

Re: Likely GMP bug

t...@gmplib.org (Torbjörn Granlund) writes: > It really worries me that our crazy broad testing did not catch this > until now. This makes me much less confident about GMP's correctness, > actually. Here we have a bug where assumptions made by the code are violated, with a pretty low

Re: Likely GMP bug

"Marco Bodrato" writes: It was hard, but we got it: https://gmplib.org/repo/gmp/rev/1f8a8fefb5c2 Thanks! It really worries me that our crazy broad testing did not catch this until now. This makes me much less confident about GMP's correctness, actually. I