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

[Robert Anderson]

--- Original Message ---
From: "Robert Anderson" <address@hidden>
To: <address@hidden>, <address@hidden>
Subject: Re: [Gnu-arch-users] [BUG]  New bug report for 1k
barrier PANIC

>--- 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 

Good lord, what a POS email program.  Let's try it this way:

'
% echo "// arch-tag: blah" > file
% /home/rwa/linux-packages/tla-1.2.1/bin/tla inventory
S  file
% echo -n "// arch-tag: blah" > file
% /home/rwa/linux-packages/tla-1.2.1/bin/tla inventory
PANIC: Top-of-file arch tag crosses 1k boundary
'

Bob