Re: [Valgrind-users] floating point print error in ada

[Roland M. <rol...@nr...>]

On Mon, Mar 4, 2013 at 9:29 PM, Philippe Waroquiers
<phi...@sk...> wrote:
> On Mon, 2013-03-04 at 09:39 -0500, Bob Rossi wrote:
>> I'm using valgrind on a small Ada program (attached).
>>
>> The Ada program runs fine on the linux host, it prints 8.5.
>>
>> When I run the program through valgrind, it prints 0.0.
>>
>> Any ideas why this might be?
>>
>> I tried this with gnatmake with gnu 4.1.2 and gnu 4.2 on,
>>
>> $ uname -a
>> Linux maple 2.6.32-22-generic-pae #36-Ubuntu SMP Thu Jun 3 23:14:23 UTC
>> 2010 i686 GNU/Linux
> GNAT runtime is implementing various features (e.g. float images)
> by using long_long_float, which are 80 bits floats.
> As these are not properly supported by Valgrind, this can introduce
> numerical differences/errors.

Erm... are there any plans to fix this ? AFAIK ADA ist not the only
user of |long long double| ... some parts of JDK, perl and ksh93 rely
on 80biit IEEE754 math on x86 ...

> See e.g. https://bugs.kde.org/show_bug.cgi?id=130358

Do you have a full list of bugs for this issue ?

----

Bye,
Roland

-- 
  __ .  . __
 (o.\ \/ /.o) rol...@nr...
  \__\/\/__/  MPEG specialist, C&&JAVA&&Sun&&Unix programmer
  /O /==\ O\  TEL +49 641 3992797
 (;O/ \/ \O;)