How to check if memory to which pointer p points has been succesfully deallocated?
Exception handling. I.e. try/catch blocks.