c5091e73be
It is not necessary to check whether a pointer is NULL before deleting it, "delete NULL" is explicitly ok. The deleted pointer is a local variable here, so setting it to NULL after deleting isn't necessary in these cases either.