[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [patch #6758] Add support for Atari FreeMiNT OS
From: |
Alan Hourihane |
Subject: |
Re: [patch #6758] Add support for Atari FreeMiNT OS |
Date: |
Sat, 28 Feb 2009 23:26:48 +0000 |
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.
- Re: [patch #6758] Add support for Atari FreeMiNT OS, (continued)
- Re: [patch #6758] Add support for Atari FreeMiNT OS, Bruno Haible, 2009/02/28
- Re: [patch #6758] Add support for Atari FreeMiNT OS, Alan Hourihane, 2009/02/28
- Re: [patch #6758] Add support for Atari FreeMiNT OS, Alan Hourihane, 2009/02/28
- Re: [patch #6758] Add support for Atari FreeMiNT OS, Eric Blake, 2009/02/28
- Re: [patch #6758] Add support for Atari FreeMiNT OS, Alan Hourihane, 2009/02/28
- Re: [patch #6758] Add support for Atari FreeMiNT OS, Bruno Haible, 2009/02/28
- Re: [patch #6758] Add support for Atari FreeMiNT OS, Alan Hourihane, 2009/02/28
- Re: [patch #6758] Add support for Atari FreeMiNT OS, Alan Hourihane, 2009/02/28
- Re: [patch #6758] Add support for Atari FreeMiNT OS, Alan Hourihane, 2009/02/28
- Re: [patch #6758] Add support for Atari FreeMiNT OS, Bruno Haible, 2009/02/28
- Re: [patch #6758] Add support for Atari FreeMiNT OS,
Alan Hourihane <=
- Re: [patch #6758] Add support for Atari FreeMiNT OS to fpurge, Bruno Haible, 2009/02/28
- Re: [patch #6758] Add support for Atari FreeMiNT OS, Alan Hourihane, 2009/02/28
- Re: [patch #6758] Add support for Atari FreeMiNT OS, Bruno Haible, 2009/02/28
- Re: [patch #6758] Add support for Atari FreeMiNT OS, Alan Hourihane, 2009/02/28
- Re: [patch #6758] Add support for Atari FreeMiNT OS, Bruno Haible, 2009/02/28