[v3, 3.4] Fix libstdc++/12077

[Paolo Carlini]

Hi,

sorry: it occurred to me only today that fixing this bug requires adding
a member to class stdio_sync_filebuf.

Therefore, if nobody among the libstdc++ maintainers and contributors
disagree, I have to ask Mark permission for 3.4.0 too.

Actually, the patch is quite straighforward, IMO, since is a simplified
version of what is already in basic_filebuf.

Tested x86-linux.

Paolo.

////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_12077
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20040318/8689f35e/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_12077
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20040318/8689f35e/attachment-0001.ksh>