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

[Robert Anderson]

Here is a hopefully more clear bug report for the 1k PANIC issue,
since there seems to be a lot of confusion and misconception on
this so far:

This report is for GNU tla 1.2.1 from ftp.gnu.org.

Consider the following:

% ~/linux-packages/tla-1.2pre3/bin/tla inventory --ids
S  file i_df5fee29-4522-4f55-a800-1a6a8d304deb

This is the implicit inventory id using 1.2pre3.  This is
consistent with the tag in the file:

% tail file
                                                                
                                                                
                                                                
                                                                
                                                                
                                                                
                                                                
                                                                
                                                                
                                                                
                                                                
                                                                
                                                                
                                                                
                                                               
// 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

So, there is a problem here which is independent of any id-tag
truncation issue.  I don't see how this can't be considered a bug
of high severity.

It is interesting to note:

% wc --bytes file
   1025 file

I hope this is useful in fixing the bug.

Thanks,
Bob