c++/4255: gcc: Output pipe has been closed

[rodrigc@gcc.gnu.org]

Synopsis: gcc: Output pipe has been closed

State-Changed-From-To: open->feedback
State-Changed-By: rodrigc
State-Changed-When: Fri Sep  7 20:22:32 2001
State-Changed-Why:
    You did not provide enough information in your bug report.
    Please follow the instructions at:
    http://gcc.gnu.org/bugs.html
    
    and provide preprocessed source.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4255&database=gcc