pool allocator changes and delete[] void*

[Paolo Carlini]

Gerald Pfeifer wrote:

>I'm afraid the recent pool allocator changes are causing troubles (or
>at least tons of warnings):
>
>   /gcc-current/bin/../lib/gcc/$platform/3.4.0/../../../../
>   include/c++/3.4.0/ext/pool_allocator.h:320:
>   warning: deleting `void*' is undefined
>
Right Gerald. Please consider that this is work in progress: at least the
signature of __pool_alloc::deallocate should be changed, consistently with
that prescribed for class allocator by the Standard (20.4.1).

For now, I think you can safely suppress annoying warnings with
the attached.

Paolo.

//////////

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_gerald
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20031226/12066f78/attachment.ksh>