pool allocator changes and delete[] void*

[Gerald Pfeifer]

On Fri, 26 Dec 2003, Paolo Carlini wrote:
>>   /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:

Sure!  I'm just a bit worried that our testsuite did not discover that.

(I'm aware that Benjamin already spent a lot of time working making the
testsuite -Wall clean, so that we can enable -Wall at some point in the
future; perhaps others could help him with that?)

On Fri, 26 Dec 2003, Gabriel Dos Reis wrote:
> Paolo Carlini <pcarlini@unitus.it> writes:
> | What about the attached?
> Much better than my previous suggestion. :-)

Thanks for the quick responses, to both of you!

Gerald