Re: Segmentation fault on arithmetic after ppl_initialize()

Thierry Martinez <[email protected]> Mon, 25 Feb 2013 15:50:36 +0100

Newsgroups	gmane.comp.gnu.prolog.bugs
Message-ID	<CA+MZgJyQ98bEo5CS8h++gxBcq+=roY+_wHuDNNJ8P+UyOsNpBw@mail.gmail.com>

Hi, Daniel!

Daniel:
> This seems to come from the PPL library rather than from a gprolog bug.

Indeed. I received an answer from PPL developers: PPL is using special
rounding methods when compiled for using native floating-point numbers
and the problem is solved by switching between
restore_pre_PPL_rounding and set_rounding_for_PPL modes.

Yet, I am surprised that the mere fact of changing rounding methods
can make a mere call to libc pow segfault!

-- 
Thierry.