[PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2

[Roberto Bagnara]

Tobias Grosser wrote:
> On Thu, 2009-04-02 at 15:23 +0200, Abramo Bagnara wrote:
>> Tobias Grosser ha scritto:
>>> thanks for working on this.
>> I see something very strange about long double that I find suspect, the
>> binary format is said to be non iec559 conformant and this is definitely
>> unexpected on i386.
>>
>> Can you check if the attached file exits with 1 and why it fails?
>>
>> It is a convert() that give a different result or
>> std::numeric_limits<long double>::is_iec559 is false?
> 
> Yes it exits with one.
> 
> It fails in these two cases.
> 
> if (!convert(0x00000000UL, 0x0000000000000001ULL) == ...
> 
> 	convert returns: 3.6451995318824746025284059336194198e-4951
> 
> if (!convert(0x80000000UL, 0x0000000000000001ULL) == ...
> 
> 	convert returns: 3.6451995318824746025284059336194198e-4951
> 
> I attached a detailed typescript with the gdb sessions.

Dear Tobias,

the output with gdb is not precise enough to see what happens.
Can you please compile and run the attached program and post
the output?
Thanks,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ld2.cc
Type: text/x-c++src
Size: 26190 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20090403/e1d9d8bf/attachment.cc>