On Mon, Mar 4, 2013 at 9:29 PM, Philippe Waroquiers <[email protected]> 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) [email protected] \__\/\/__/ MPEG specialist, C&&JAVA&&Sun&&Unix programmer /O /==\ O\ TEL +49 641 3992797 (;O/ \/ \O;) ------------------------------------------------------------------------------ Everyone hates slow websites. So do we. Make your web apps faster with AppDynamics Download AppDynamics Lite for free today: http://p.sf.net/sfu/appdyn_d2d_feb _______________________________________________ Valgrind-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/valgrind-users
