unavoidable abort in mpz/realloc.c
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.
More information about the gmp-bugs