On Sat, Jan 24, 2009 at 12:42 AM, Vincent Povirk
wrote:
> In several cases we call delete_element(x) after x has been set to
> NULL or after an unsuccessful clone_element(y, &x) call. clone_element
> always gives a NULL element pointer when it fails.
> delete_element(NULL) will dereference the NUL
On Sat, Jan 24, 2009 at 12:42 AM, Vincent Povirk
wrote:
> In several cases we call delete_element(x) after x has been set to
> NULL or after an unsuccessful clone_element(y, &x) call. clone_element
> always gives a NULL element pointer when it fails.
> delete_element(NULL) will dereference the NUL