[Gnu-arch-users] [1.1pre9] double free?

[Ollivier Robert]

Using tla 1.1pre9 on MacOS X 10.3.1, I get this when running tla update:
(update-mcp is running tla update on multi-config tree)

330 [16:35] address@hidden:Build/tla-current> update-mcp emf.net/devo.tla
*** malloc[27260]: Deallocation of a pointer not malloced: 0x100667; This
could be a double free(), or free() called with the middle of an allocated
block; Try setting environment variable MallocHelp to see tools to help
debug
* setting aside local changes temporarily
*** malloc[27260]: Deallocation of a pointer not malloced: 0x1391d7; This
could be a double free(), or free() called with the middle of an allocated
block; Try setting environment variable MallocHelp to see tools to help
debug
* linting the source tree
* build pristine tree for address@hidden/dists--devo--1.0--patch-51
* from pristine cache: address@hidden/dists--devo--1.0--patch-49
* patching for revision: address@hidden/dists--devo--1.0--patch-50
* patching for revision: address@hidden/dists--devo--1.0--patch-51
* reverting changes
M   configs/emf.net/devo.tla
* updating for new patches in archive
*** malloc[27260]: Deallocation of a pointer not malloced: 0x139007; This
could be a double free(), or free() called with the middle of an allocated
block; Try setting environment variable MallocHelp to see tools to help debug
* patching for revision address@hidden/dists--devo--1.0--patch-52
...

I'm recompiling with -g to find where.
-- 
Ollivier ROBERT -=- FreeBSD: The Power to Serve! -=- address@hidden
Darwin snuadh.freenix.org Kernel Version 7.0.0: Wed Sep 24 15:48:39 PDT 2003