------- Comment #9 from jerome dot duquennoy at wanadoo dot fr 2008-02-15 11:55 ------- I believe the problem is enlighten by Oracle, but needs to be addressed in the compiler :
The adalib requires a specific FPU configuration to behave normally. Therefore, it should ensure this requirement is fulfilled. Under windows, internix, EMX, lynx, netBSD and freeBSD on an i386 CPU, the Reset procedure (alias to __gnat_init_float) issues a 'finit' to reset the FPU. I believe Linux should be added to the list. This is defined in gcc/ada/init.c, on lines 1910 to 1927 in the sources of gcc 4.2.3. I will try to compile a patched version for testing purpose. > Uros Bizjak : > What if you add -msse2 -mfpmath=sse? Then you use SSE for float and double > calculations Well ... still no difference :-(. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35194
