[sr-dev] shm_free - not setting pointer to zero?

Hi Is there any reason why shm_free does not set the pointer it is freeing to zero once it is free-ed? Code like: *if (pointer) { shm_free(pointer);* Is not really useful seen as how shm_free does not set the pointer to zero - any double free will still cause a crash. I suppose it forces the developer to be careful with memory management - is this the only reason? Regards Richard. This email is subject to the disclaimer of Smile Communications (PTY) Ltd. at http://www.smilecoms.com/disclaimer