[Bug ada/24003] ACATS FAIL 17 regressions on x86-linux, fixed and decimal arithmetic broken

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-09-21 20:11 -------
Here is a reduced Ada testcase. -gnatdg show use of 64 bits, but in original
test case it was not the case, so it might be a slightly different bug.

$ cat > p.adb
procedure P is
   type T is delta 1.0 / (2 ** 32) range -1.0 .. 1.0;
   A : T := 0.25;
   B : T := 0.75;
   C : T := A / B;
begin
   if C = 0.0 then
      raise Program_Error;
   end if;
end P;
$ gnatmake p
gcc -c p.adb
gnatbind -x p.ali
gnatlink p.ali
$ ./p
raised PROGRAM_ERROR : p.adb:8 explicit raise


-- 


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