[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Segmentation fault on arithmetic after ppl_initialize()
From: |
Thierry Martinez |
Subject: |
Re: Segmentation fault on arithmetic after ppl_initialize() |
Date: |
Mon, 25 Feb 2013 15:50:36 +0100 |
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.