[Patch/RFC] Another iteration at fixing 9533

[Paolo Carlini]

This version addresses Danny Smith concerns about pool.

Thanks,
Paolo.

////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_9533_3
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030323/8a226502/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_9533_3
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030323/8a226502/attachment-0001.ksh>