Re: [PATCH] Style change and some factoring

[Akim Demaille]

Le 12 août 09 à 12:41, Alex Rozenman a écrit :
Hi Akim,

Very short survey:
In "single unix spec ver 2":

The *free()* function causes the space pointed to by *ptr* to be
deallocated; that is, made available for further allocation. If  
*ptr* is a
null pointer, no action occurs.

I am not sure about Mac OS, for example.
I would prefer to check, just to be of safe side.

I'm biased by portability issues.  Don't expect this to work.  See  
free() on this page.

     http://www.gnu.org/software/gnulib/MODULES.html