[v3] Fix libstdc++/38000

[Paolo Carlini]

Hi,

tested x86_64-linux, with and without PCHs, committed to mainline.

Paolo.

///////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_38000
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20081113/27cbf9e9/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_38000
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20081113/27cbf9e9/attachment-0001.ksh>