On Tue, Sep 19, 2023 at 02:36:16PM +0200, Thomas Haller wrote: > Setting global handles for libgmp via mp_set_memory_functions() is very > ugly. When we don't use mini-gmp, then potentially there are other users > of the library in the same process, and every process fighting about the > allocation functions is not gonna work. > > It also means, we must not reset the allocation functions after somebody > already allocated GMP data with them. Which we cannot ensure, as we > don't know what other parts of the process are doing. > > It's also unnecessary. The default allocation functions for gmp and > mini-gmp already abort the process on allocation failure ([1], [2]), > just like our xmalloc(). > > Just don't do this. Applied, thanks