Patch: support callback on allocation overflow instead of calling abort()

[Marc Glisse]

On Tue, 6 Oct 2020, Vincent Lefevre wrote:

> On 2020-10-06 04:41:42 +0100, Colin Caine wrote:
>> This is used by Julia to raise an OutOfMemory exception rather than having
>> the Julia process itself abort.
>>
>> Others on stackoverflow, etc, have experienced similar problems with
>> undesired aborts(), so this patch would probably be useful to a variety of
>> users. (see:
>> https://github.com/JuliaLang/julia/issues/8286#issuecomment-323500953)
>>
>> More information is available here and in the linked issues and PRs:
>> https://github.com/JuliaLang/julia/pull/31215
>
> Since the function could have allocated memory for intermediate
> computations, how do you avoid memory leaks?

You would need something like

https://gmplib.org/list-archives/gmp-devel/2014-December/003868.html

-- 
Marc Glisse