This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/32085] "warning: deleting void* is undefined" sometimes bogus
- From: "andrew dot stubbs at st dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 29 May 2007 10:57:18 -0000
- Subject: [Bug c++/32085] "warning: deleting void* is undefined" sometimes bogus
- References: <bug-32085-10252@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #4 from andrew dot stubbs at st dot com 2007-05-29 10:57 -------
Well, obviously I'll let people who really understand the details of this
decide whether it can be solved.
However, on the principle that warnings which one can safely ignore, but cannot
silence, are at best unhelpful, and at worst cry wolf, I would ask that
somebody looks into how this can be improved.
Thanks.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32085