[Patch] Fix write after read on eof.

[Paolo Carlini]

Hi,

as pointed out by Nathan privately, we fail to deal with this
case: a read 'til eof can be followed by read without the need
for an intervening seek. Fixed thusly.

Tested x86-linux, if nobody objects in the next few hours will
commit together with the accompanying testcase.

Paolo.

//////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_eof
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030625/a0b98cb1/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_eof_3
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030625/a0b98cb1/attachment-0001.ksh>