[v3] Fix libstdc++/38365

[Paolo Carlini]

Hi again,
> tested x86_64-linux, committed to mainline.
>   
Upon submitter's suggestion, I fixed the issue in a different way.

Paolo.

/////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_38365_c
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20081202/aabf9116/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_38365_c
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20081202/aabf9116/attachment-0001.ksh>