Re: Austin group ruling on ungetc vs. fflush

[Bruno Haible]

Hi Eric,

> >             "The value of the file-position indicator for the stream after
> >              reading or discarding all pushed-back bytes shall be the same
> >              as it was before the bytes were pushed back."
> > !      3) Here we are discarding all pushed-back bytes.
> > !
> > !      Unfortunately it is impossible to implement this on platforms with
> > !      _IOERR, because an ungetc() on this platform prepends the pushed-back
> > !      bytes to the buffer without an indication of the limit between the
> > !      pushed-back bytes and the read-ahead bytes.  */
> > !   clear_ungetc_buffer (stream);

That comment was in the "old" hunk; it is gone now. Incidentally, the
Austin Group's resolution for 1a and 2a matches the behaviour of the platforms
with _IOERR (except mingw). So, there is no problem on these platforms any
more.

Bruno