unavoidable abort in mpz/realloc.c

Marc Glisse marc.glisse at inria.fr
Wed Mar 16 09:42:33 CET 2011

On Wed, 16 Mar 2011, Torbjorn Granlund wrote:

> OK, so now you vaguely claim, as a bug report, that GMP's check for mpz
> type overflow is bad, and--if I understand you correctly--that we should
> fall into the allocation function with a size we cannot represent.

I don't think he necessarily wants to fall into the allocation function, 
all he wants is a way to replace the call to abort in mpz_realloc with 
something the user can override (and he wanted the same thing for 
__gmp_invalid_operation). I think he has a point there.

Marc Glisse

More information about the gmp-bugs mailing list