https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105580
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Assignee|unassigned at gcc dot gnu.org |redi at gcc dot gnu.org
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2023-03-31
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Jason Merrill from comment #1)
> Why does _M_get clear _M_sbuf?
Because that's what the standard implies should happen:
If the end of stream is reached (streambuf_type::sgetc() returns
traits::eof()),
the iterator becomes equal to the end-of-stream iterator value."
charT operator*() const;
1 Returns: The character obtained via the streambuf member sbuf_->sgetc().
But this means that a dereferenceable iterator can become non-dereferenceable
as a result of dereferencing it ... which seems very wrong indeed.
It seems better to check for EOF on operator++ and only clear _M_sbuf in that
function, but we need to basically rewrite the entire class (without ABI
changes) to do that.
