This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
Re: libstdc++/9423: filebuf::pubsetbuf(0, 0) doesn't turn off buffering if called after open
- From: paolo at gcc dot gnu dot org
- To: gcc-bugs at gcc dot gnu dot org, gcc-prs at gcc dot gnu dot org, nobody at gcc dot gnu dot org, paolo at gcc dot gnu dot org, peturr02 at ru dot is
- Date: 2 Mar 2003 18:39:15 -0000
- Subject: Re: libstdc++/9423: filebuf::pubsetbuf(0, 0) doesn't turn off buffering if called after open
- Reply-to: paolo at gcc dot gnu dot org, gcc-bugs at gcc dot gnu dot org, gcc-prs at gcc dot gnu dot org, nobody at gcc dot gnu dot org, paolo at gcc dot gnu dot org, peturr02 at ru dot is, gcc-gnats at gcc dot gnu dot org
Synopsis: filebuf::pubsetbuf(0, 0) doesn't turn off buffering if called after open
Responsible-Changed-From-To: unassigned->paolo
Responsible-Changed-By: paolo
Responsible-Changed-When: Sun Mar 2 18:39:15 2003
Responsible-Changed-Why:
Patching.
State-Changed-From-To: open->analyzed
State-Changed-By: paolo
State-Changed-When: Sun Mar 2 18:39:15 2003
State-Changed-Why:
Confirmed. Should be rather easy to fix changing
basic_filebuf::setbuf to _M_destroy_internal_buffer() even
if this->is_open().
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9423