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

[gdr at cs dot tamu dot edu]

------- Comment #5 from gdr at cs dot tamu dot edu  2007-05-29 11:11 -------
Subject: Re:  "warning: deleting void* is undefined" sometimes bogus

"andrew dot stubbs at st dot com" <gcc-bugzilla@gcc.gnu.org> writes:

| 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.

The code does not make sense in the first place, why would anybody
would want to ignore the diagnostic?

-- Gaby


-- 


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