Allow freeing null pointer. This is allowed by both free() & delete.