------- 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" <[EMAIL PROTECTED]> 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