Message-ID: <4207ECD5.2080302@cfconsulting.ca>
Date: Mon, 07 Feb 2005 14:33:57 -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
Subject: Re: [Gnu-arch-users] botched invariant
References: <4207E109.3070001@cfconsulting.ca>
In-Reply-To: <4207E109.3070001@cfconsulting.ca>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
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: 5368
Lines: 133
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Just as a follow up to this message, I found the file with the bizarre
characters (they showed up as \uffff\uffff\uffff\uffff). Unfortunately,
the file wasn't listed in the strace below, which means that even using
strace to find out where tla is dying is not helpful.

I hope that this particular error is being handled in 1.4. Please at
least print the last path it was considering before dying.

Regards,
~  cf


Colin Fox wrote:
| 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

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

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

iD8DBQFCB+zVoaQ1/feGlJoRAlUtAJ4wsAm2usSoYjzpE+LUNq+VwNmmrwCbBvhl
SSeUFMNAU3dp7IMM9rxX6hQ=
=SGUa
-----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/