Message-ID: <4207E109.3070001@cfconsulting.ca>
Date: Mon, 07 Feb 2005 13:43:37 -0800
From: Colin Fox <cfox@cfconsulting.ca>
User-Agent: Mozilla Thunderbird 1.0 (X11/20041229)
MIME-Version: 1.0
To: gnu-arch-users@gnu.org
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Gnu-arch-users] botched invariant
Precedence: list
Sender: gnu-arch-users-bounces+migo=homemail.com@gnu.org
Errors-To: gnu-arch-users-bounces+migo=homemail.com@gnu.org
Status: RO
Content-Length: 4549
Lines: 111
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

I'm getting the botched-invariant error:

peak@lab:/opt/peak/peak_arch/PeakProduct/site> tla tree-lint
/home/admin/tla-1.3/src/tla/libarch/invent.c:916:botched invariant
~    *a < *b
PANIC: exiting on botched invariant


Here's the last part of 'strace tla tree-lint'

...
- -----------------------------------------------------------

lstat64("./site/www_successtracs_com/workbook.metadata",
{st_mode=S_IFREG|0644, st_size=155, ...}) = 0
open("./site/www_successtracs_com/.arch-ids/workbook.metadata.id",
O_RDONLY) = -1 ENOENT (No such file or directory)
open("./site/www_successtracs_com/workbook",
O_RDONLY|O_NONBLOCK|O_LARGEFILE|O_DIRECTORY) = 4
fstat64(4, {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
fcntl64(4, F_SETFD, FD_CLOEXEC)         = 0
getdents64(4, /* 4 entries */, 4096)    = 120
getdents64(4, /* 0 entries */, 4096)    = 0
close(4)                                = 0
lstat64("./site/www_successtracs_com/workbook/.arch-ids",
{st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("./site/www_successtracs_com/workbook/.arch-ids/{arch}",
0xbfffc440) = -1 ENOENT (No such file or directory)
open("./site/www_successtracs_com/workbook/.arch-ids",
O_RDONLY|O_NONBLOCK|O_LARGEFILE|O_DIRECTORY) = 4
fstat64(4, {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
fcntl64(4, F_SETFD, FD_CLOEXEC)         = 0
getdents64(4, /* 3 entries */, 4096)    = 72
getdents64(4, /* 0 entries */, 4096)    = 0
close(4)                                = 0
lstat64("./site/www_successtracs_com/workbook/.arch-ids/=id",
{st_mode=S_IFREG|0644, st_size=66, ...}) = 0
open("./site/www_successtracs_com/workbook/.arch-ids/=id", O_RDONLY) = 4
read(4, "Colin Fox <cfox@cfconsulting.ca>"..., 1024) = 66
read(4, "", 958)                        = 0
close(4)                                = 0
lstat64("./site/www_successtracs_com/workbook/index.html.html",
{st_mode=S_IFREG|0644, st_size=1774, ...}) = 0
open("./site/www_successtracs_com/workbook/.arch-ids/index.html.html.id",
O_RDONLY) = -1 ENOENT (No such file or directory)
open("./site/www_successtracs_com/workbook/.arch-ids/=all", O_RDONLY) =
- -1 ENOENT (No such file or directory)
lstat64("./site/youok.py", {st_mode=S_IFREG|0644, st_size=262, ...}) = 0
open("./site/.arch-ids/youok.py.id", O_RDONLY) = -1 ENOENT (No such file
or directory)
lstat64("./site/z", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("./site/z/{arch}", 0xbfffd480)  = -1 ENOENT (No such file or
directory)
open("./site/z/.arch-ids/=id", O_RDONLY) = 4
read(4, "Colin Fox <cfox@cfconsulting.ca>"..., 1024) = 66
read(4, "", 958)                        = 0
close(4)                                = 0
lstat64("./site/z.metadata", {st_mode=S_IFREG|0644, st_size=167, ...}) = 0
open("./site/.arch-ids/z.metadata.id", O_RDONLY) = -1 ENOENT (No such
file or directory)
write(2, "/home/admin/tla-1.3/src/tla/liba"...,
44/home/admin/tla-1.3/src/tla/libarch/invent.c) = 44
write(2, ":", 1:)                        = 1
write(2, "916", 3916)                      = 3
write(2, ":", 1:)                        = 1
write(2, "botched invariant\n    ", 22botched invariant
~    ) = 22
write(2, "*a < *b", 7*a < *b)                  = 7
write(2, "\n", 1
)                       = 1
write(2, "PANIC: ", 7PANIC: )                  = 7
write(2, "exiting on botched invariant", 28exiting on botched invariant)
= 28
write(2, "\n", 1
)                       = 1
exit_group(2)                           = ?
- -----------------------------------------------------------
I can't tell from this what is causing tla to abort. According to other
emails, tla doesn't like non-ascii names (of course, it should really
just exit saying "This file <filename> is bad" rather than this kind of
error, but anyway...)

Can anyone suggest what we can do to fix this? It's definitely not a
case of modifying history. We do have non-technical people putting files
into this tree (it's a website), but they're not supposed to touch any
of the programming files. But people make mistakes.

Anyway, any help would be greatly appreciated.

Thanks
~  cf
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org

iD8DBQFCB+EJoaQ1/feGlJoRAm3uAJ9EHan/pTg/0iSj67hFP79mOxDrlwCdHICr
dmZbGPpn2EijBtYx9x4784E=
=CwYF
-----END PGP SIGNATURE-----


_______________________________________________
Gnu-arch-users mailing list
Gnu-arch-users@gnu.org
http://lists.gnu.org/mailman/listinfo/gnu-arch-users

GNU arch home page:
http://savannah.gnu.org/projects/gnu-arch/