* Jonathan Wakely: > e.g. this is undefined behaviour: > > class Base {}; > class Derived : public Base {}; > > Base* p = new Derived; > delete p; Wouldn't it make more sense to issue the warning at the point of the delete, then?