I'm a bit rusty on my C++ minutiae, but... there's also the problem that you don't know whether the corresponding new statement was plain new, new[], etc.

Mismatches between new[] and delete will generally just fail to call dtors or potentially call dtors twice, but the behavior's undefined. Ick.