Synopsis: Sever io problems on branch rdbuf State-Changed-From-To: analyzed->closed State-Changed-By: paolo State-Changed-When: Wed Nov 20 13:27:10 2002 State-Changed-Why: Finally fixed with: http://gcc.gnu.org/ml/gcc-patches/2002-11/msg01264.html http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=6745