integer overflow in mpz/clear.c of GMP 5.1.3

[Vincent Lefevre]

On 2014-01-17 16:49:29 +0100, Torbjorn Granlund wrote:
> GMP only supports 2^32-eps *bits* for 32bit machines and 2^37-eps bits
> for 64bit machines.  An allocation counted in bytes will therefore not
> exceed 2^31-1.  The way the bits limits are enforced is via the bytes
> allocation, in most places!

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

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)