Re: [patch] add -Wdelete-non-virtual-dtor

[Jason Merrill]

On 06/04/2011 08:45 AM, Jonathan Wakely wrote:
+                 if (CLASSTYPE_PURE_VIRTUALS (type))
+                   warning(OPT_Wdelete_non_virtual_dtor,
+                           "deleting object of abstract class type %qT"
+                           " which has non-virtual destructor"
+                           " will cause undefined behaviour", type);
+                 else
+                   warning(OPT_Wdelete_non_virtual_dtor,
+                           "deleting object of polymorphic class type %qT"
+                           " which has non-virtual destructor"
+                           " may cause undefined behaviour", type);

Space before the (.  And let's use "might" instead of "may".  OK with 
those changes.

Jason