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

[Alan Hourihane]

On Sun, 2009-03-01 at 00:17 +0100, Bruno Haible wrote:
> 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

No. 

> But after these assignments are executed, it is possible that
>   fp->__put_limit == fp->__buffer < fp->__bufp == fp->__get_limit
> No?

Alan.