Segmentation fault on arithmetic after ppl_initialize()

Thierry Martinez <[email protected]> Fri, 22 Feb 2013 17:22:41 +0100 (CET)

Newsgroups	gmane.comp.gnu.prolog.bugs
Message-ID	<[email protected]>

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