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

[andrew dot stubbs at st dot com]

------- Comment #9 from andrew dot stubbs at st dot com  2007-05-30 08:51 -------
OK, I see what you are getting at now. The delete is defined (by the code), but
the warning concerns the destructor also.

Anyway, as you say, the warning can be silenced by casting to char*.


-- 

andrew dot stubbs at st dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


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