gcc Ada does not always check whether the value of a static expression of a
decimal fixed point type is a multiple of the small.  Aonix ObjectAda rejects
the following program with the error message, "test.adb: Error: line 5 col 22
LRM:4.9(36), The value of a static expression of a decimal fixed point type
must be a multiple of the small, Continuing"

procedure Test
is
   type T is delta 0.1 digits 2;
   X : constant := 0.01;
   Y : constant T := X;
begin
   null;
end Test;


-- 
           Summary: Value of a static expression of a decimal fixed point
                    type must be a multiple of the smal
           Product: gcc
           Version: 3.4.5
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dewi dot daniels at silver-software dot com


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

Reply via email to