[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gnu-arch-users] botched invariant
From: |
Colin Fox |
Subject: |
[Gnu-arch-users] botched invariant |
Date: |
Mon, 07 Feb 2005 13:43:37 -0800 |
User-agent: |
Mozilla Thunderbird 1.0 (X11/20041229) |
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
I'm getting the botched-invariant error:
address@hidden:/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 <address@hidden>"..., 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 <address@hidden>"..., 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] botched invariant,
Colin Fox <=