[v3] Fix libstdc++/40712

[Paolo Carlini]

Hi,

as discussed on the audit-trail, tested x86_64-linux, committed to mainline.

May also go in 4_4-branch.

Paolo.

/////////////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_40712
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20090718/cf5b050f/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_40712
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20090718/cf5b050f/attachment-0001.ksh>