mpz_get_si: possible undefined behaviour? [Was: Micro-GMP]
gmpdevel at formauri.es
Tue Dec 4 12:28:15 UTC 2018
Torbjörn Granlund wrote, On 2018-12-04 07:39:
> Marco Bodrato <bodrato at mail.dm.unipi.it> writes:
> But, what about the LONG_MIN == -LONG_MAX case?
> The result is undefined, isn't it?
> Does anybody (apart from Vincent) have access to such a machine?
An assertion of LONG_MIN < -LONG_MAX should make the code safe in that case.
More information about the gmp-devel