[v3] libstdc++/52241

[Paolo Carlini]

Hi,

thus, this is what I'm going to commit to resolve the issue (see audit 
trail for details).

Tested x86_64-linux.

Thanks,
Paolo.

///////////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_52241
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20120220/dc97df0b/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_52241
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20120220/dc97df0b/attachment-0001.ksh>