Re: [PATCH] Style change and some factoring

[Alex Rozenman]

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.

Alex


On Wed, Aug 12, 2009 at 1:30 PM, Akim Demaille <address@hidden> wrote:

>
> Le 27 juil. 09 à 18:39, Joel E. Denny a écrit :
>
>  The `if' is redundant.  free (NULL) does nothing.
>>
>
> Not so true in C.  This is correct with delete in C++.
>
> Unless we have some replacement free() from gnulib which ensures this?




-- 
Best regards,
Alex Rozenman (address@hidden).