[v3] Fix libstdc++/9825

[Paolo Carlini]

Hi!

approved by Benjamin, mainline and (soon) 3_3.

Paolo.

//////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_9825
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20030224/96e188ec/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_9825
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20030224/96e188ec/attachment-0001.ksh>