[Bug ada/35194] floating point truncation error on intel platform

[jerome dot duquennoy at wanadoo dot fr]

------- Comment #6 from jerome dot duquennoy at wanadoo dot fr  2008-02-15 11:07 -------
After testing it, the -mpc option do not help.

I agree this seems to be a problem of oracle not re-setting the FPU state.
Nevertheless, this makes ada unusable (or unreliable, which is not really
better) with oracle 10, oracle 11, and potentially many other software under
Linux ... a quite sad situation.

At the beginning of set_image_real procedure, a call to a reset function is
made.
Comments indicate that this function is used to ensure the FPU is properly
configured.

In g-flocon.ads, the comments on this procedure state that :
"For example under Windows NT some system DLL calls change the default FPU
arithmetic to 64 bit precision mode. [...] The call to Reset simply has no
effect if the target environment does not give rise to such concerns"

Well, maybe it should have an effect under Linux too now :-).


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35194