------- 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
