procedure Test_Deltas is
type T is delta 0.1 range -0.8 .. 0.8;
for T'Small use 0.1;
for T'Size use 4;
type T2 is new T range -0.4 .. 0.4;
for T2'Small use 0.0625;
begin
null;
end Test_Deltas;
gnat 3.15p from AdaCore says:
+===========================GNAT BUG DETECTED==============================+
| 3.15p (20020523) (sparc-sun-solaris2.5.1) Program_Error sinput.adb:397
explicit raise|
| Error detected at test_deltas.adb:4:1 |
gcc 4.0.1 20050503 (prerelease) (Debian 4.0.0-2) says:
+===========================GNAT BUG DETECTED==============================+
| gcc 4.0.1 20050503 (prerelease) (Debian 4.0.0-2) (i486-pc-linux-gnu) |
| Program_Error sinput.adb:404 explicit raise |
| Error detected at test_deltas:1:1 |
--
Ludovic Brenta.
--
Summary: Bug box, Program_Error at sinput.adb:404, derived fixed-
point type
Product: gcc
Version: 4.0.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic dot brenta at insalien dot org
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22559
