[PHP-DEV] efree() and NULL

2001-05-14 Thread Andrei Zmievski
It doesn't seem that efree() is equivalent to free() as far operating on NULL pointers. If ptr == NULL, free(ptr) is a no-op, but efree() will probably barf on it.. Can we make them equivalent? -Andrei Documentation is worth it just to be able to answer all your mail with 'RTFM'. -- Alan Cox --

Re: [PHP-DEV] efree() and NULL

2001-05-14 Thread Zeev Suraski
At 16:00 14/5/2001, Andrei Zmievski wrote: >It doesn't seem that efree() is equivalent to free() as far operating on >NULL pointers. If ptr == NULL, free(ptr) is a no-op, but efree() will >probably barf on it.. Can we make them equivalent? We could, but PHP is currently written in a way that alre

Re: [PHP-DEV] efree() and NULL

2001-05-14 Thread Thies C. Arntzen
On Mon, May 14, 2001 at 04:44:28PM +0300, Zeev Suraski wrote: > At 16:00 14/5/2001, Andrei Zmievski wrote: > >It doesn't seem that efree() is equivalent to free() as far operating on > >NULL pointers. If ptr == NULL, free(ptr) is a no-op, but efree() will > >probably barf on it.. Can we make them