Re: Segmentation fault on arithmetic after ppl_initialize()

[Daniel Diaz]

Hi Thierry,

This seems to come from the PPL library rather than from a gprolog bug. 
At least, gprolog has no problem with:

| ?- V is (0.748233316 / 0.262237289) ** 4.

V = 66.278150522301502

Daniel

Le 22/02/2013 17:22, Thierry Martinez a écrit :
> Hi!
>
> When using the GNU Prolog bindings to the PPL library, the following goal leads 
> to a segmentation violation, both in the ppl_gprolog top-level and in a 
> compiled program.
>
> ppl_initialize, V is (0.748233316 / 0.262237289) ** 4.
>
> This bug disappears when PPL is configured with the --disable-fpmath option.
>
> I have just reported this bug to the PPL library bug tracker too.
> https://www.cs.unipr.it/mantis/view.php?id=475
>
> Thanks.


--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.