realloc_func      325 maint/gnulib/lib/mini-gmp.c 			 void *(**realloc_func) (void *, size_t, size_t),
realloc_func      331 maint/gnulib/lib/mini-gmp.c   if (realloc_func)
realloc_func      332 maint/gnulib/lib/mini-gmp.c     *realloc_func = gmp_reallocate_func;
realloc_func      340 maint/gnulib/lib/mini-gmp.c 			 void *(*realloc_func) (void *, size_t, size_t),
realloc_func      345 maint/gnulib/lib/mini-gmp.c   if (!realloc_func)
realloc_func      346 maint/gnulib/lib/mini-gmp.c     realloc_func = gmp_default_realloc;
realloc_func      351 maint/gnulib/lib/mini-gmp.c   gmp_reallocate_func = realloc_func;