- 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);
-
-#if defined _IO_ftrylockfile || __GNU_LIBRARY__ == 1 /* GNU libc, BeOS, Haiku, Linux libc5 */
-
- return fflush (stream);
-
-#else
+ Here we are discarding all pushed-back bytes. But more specifically,
+ 3) <http://www.opengroup.org/austin/aardvark/latest/xshbug3.txt> says:
+ "[After fflush(),] the file offset of the underlying open file
+ description shall be set to the file position of the stream, and
+ any characters pushed back onto the stream by ungetc() ... shall
+ be discarded." */