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