Re: [patch #6758] Add support for Atari FreeMiNT OS

[Bruno Haible]

Alan,

+  fp->__pushback_bufp = 0;
+  if (fp->__mode.__write)
+    fp->__put_limit = fp->__buffer;
+  fp->__bufp = fp->__get_limit;

Can you explain me something? I thought the following invariants should
always hold:
  fp->__get_limit >= fp->__bufp
  fp->__put_limit >= fp->__bufp
But after these assignments are executed, it is possible that
  fp->__put_limit == fp->__buffer < fp->__bufp == fp->__get_limit
No?

Bruno