Hi Alejandro, > Could you please remind me of what gnulib has done regarding > realloc(p, 0)? Is there anything else we need to do, or gnulib is done?
Since 2024-11-04, commit "realloc-posix: realloc (..., 0) now returns nonnull" to be precise, gnulib's 'realloc-posix' module arranges for realloc (p, 0) to free p and return a pointer to a new region of size zero. See [1], 4th bullet point. Gnulib is done with this topic, yes. Bruno [1] https://www.gnu.org/software/gnulib/manual/html_node/realloc.html
