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
_______________________________________________ Users-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/users-prolog
