Re: Segmentation fault on arithmetic after ppl_initialize()

Thierry Martinez <[email protected]> Mon, 25 Feb 2013 17:51:18 +0100
Newsgroups gmane.comp.gnu.prolog.bugs
Message-ID <CA+MZgJw7fDZpYaNkyvyyZMAgUkqmTCp+CYN=7c2ZuLM0e52gzQ@mail.gmail.com>
Daniel:
> This seems to come from the PPL library rather than from a gprolog bug.

It was a bug in the GNU libc. I reported the bug here:
http://sourceware.org/bugzilla/show_bug.cgi?id=15194