integer overflow in mpz/clear.c of GMP 5.1.3

[Niels Möller]

Vincent Lefevre <vincent at vinc17.net> writes:

> I think that GMP should have assertions in case the user provides
> values that are larger than supported.

There *are* such checks in mpz/realloc.c and mpz/realloc2.c, calling
abort() on too large sizes. But it appears they don't work as intended
in your case.

Regards,
/Niels

-- 
Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26.
Internet email is subject to wholesale government surveillance.