[v3] Library bits of c++/49813

[Paolo Carlini]

Hi,

these are the library bits of the issue, with a workaround in place for 
the weird std::isinf issue described in the audit trail. Tested 
x86_64-linux multilib, committed to mainline.

Paolo.

///////////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_49813_lib
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20110728/1aeffc1d/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_49813_lib
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20110728/1aeffc1d/attachment-0001.ksh>