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

[James Blackwell]

>> > % echo "// arch-tag: blah" > file

Silly me. There's no newline there at all. AIUI, thats not even a valid 
tag, as my understanding of a tag is: 

A tag is from immediately following the colon in "arch-tag:" to the end
of the line.


So that's at least three bugs that this panic caught: 

1. Truncated tags
2. last byte in top-tag potentially truncated.
3. tree-lint isn't properly linting the tree for the above conditions.


>> > % 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
>> > '
>> 
>> Ok thats a clear demonstration of the bug. If its not fixed (and I
>> suspect it already has been by someone), I'll dig into it, erm, thursday
>> at my current schedule.

-- 
James Blackwell          Try something fun: For the next 24 hours, give
Smile more!              each person you meet a compliment!

GnuPG (ID 06357400) AAE4 8C76 58DA 5902 761D  247A 8A55 DA73 0635 7400