bug-prolog
[Top][All Lists]
Advanced

[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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]