http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45841
--- Comment #25 from David Krauss <potswa at mac dot com> 2010-10-05 17:26:18 UTC --- > The required sequence is a write up to EOF followed by a read. 9425 is a > putback at the beginning of the file, which is neither. A putback at the beginning will attempt a backwards seek, though, which is exactly what you're looking at fixing.