Re: free-posix: New module, renamed from 'free'

[Bruno Haible]

Paul Eggert wrote:
> Unfortunately the test fails on Ubuntu 20.10 (and I assume on other 
> GNU/Linux hosts).

And although the test fails, GCC makes optimizations that assume that
free() preserves errno. In particular, when you write

    int saved_errno = errno;
    free (ptr);
    errno = saved_errno;

GCC may transform this to just

    free (ptr);

Reported at <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98396> .

Bruno