Synopsis: input stream with field width() set reads too much to std::string
State-Changed-From-To: feedback->closed
State-Changed-By: bkoz
State-Changed-When: Fri Aug 24 12:19:10 2001
State-Changed-Why:
Per request
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4083&database=gcc