amd64 problems/segfault

[carbonated beverage]

Okay, tried to figure out why any/all divisions segfault on the amd64.
Built with gcc-3.3 and gcc-3.4 from Debian/stable, with:
baz(X) :- X is 10 / 3.

baz(X). always segfaults.
It segfaults under gdb.
But the problems "go away" under valgrind.

It seems to segfault in sprintf() -- replacing it with a printf() or any
other *printf() call, with the standard libc or the debug libc, still makes
it blow up.

Increasing the size of the buffer used by Show_Float() to 4096KiB, making it
a malloc()'d area, etc. doesn't seem to make a difference.

Has anyone else seen this?

Attaching cleaned up/annotated gzip'd typescript.

-- DN
Daniel

typescript.gz
Description: Binary data