[Patch] Fix libstdc++/9563

[Paolo Carlini]

Hi!

This one too seems pretty straightforward: basically, we failed
to implement the exact requirements of 27.6.2.3, p2-3.
(interestingly we did for the more complex istream::sentry)

Tested x86-linux, ok trunk and 3_3?

Paolo.

//////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_9563
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030212/e09a5c7e/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_9563
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030212/e09a5c7e/attachment-0001.ksh>