Pool no longer crashes when freeing a null pointer. This is somewhat like the free() function and the delete operator and fixes #6561.