Re: [Gnu-arch-users] [BUG] New bug report for 1k barrier PANIC

[Robert Anderson]

--- Original Message ---
From: address@hidden (James Blackwell)
To: address@hidden
Subject: Re: [Gnu-arch-users] [BUG]  New bug report for 1k
barrier PANIC

>Robert Anderson wrote:
>> // arch-tag: df5fee29-4522-4f55-a800-1a6a8d304deb 
>>
>> Therefore it seems that there is NO TRUNCATION of the tag.  This
>> seems to be the main point of confusion.
>>
>> Now, using GNU tla 1.2.1:
>>
>> % ~/linux-packages/tla-1.2.1/bin/tla changes
>>
>> [snip output]
>> PANIC: Top-of-file arch tag crosses 1k boundary
>
>Among the many bugs _already existing_ bugs that this seems to be
>exercising, one of them looks like there's an off by one on the
>begin tag code. It tla detects and end-of-file tag, it reads all
but 
>the very last byte (credit to jivera for finding this).

There's all kinds of misbehavior going on here.  How about this one:

% echo