[Bug c++/32085] "warning: deleting void* is undefined" sometimes bogus

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2007-05-25 16:51 -------
First the operator delete you created is overriding the normal operator delete
(which is valid).
Second you don't know the real type when deleting void* so it is hard to figure
out if we should warn or not.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32085