gcc/testsuite/gnat.dg/fixedpnt3.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatws" }
   3
   4 procedure Fixedpnt3 is
   5   C_Unit : constant := 0.001;
   6
   7   type T_Fixed_Point is
   8      delta C_Unit range (-2 ** 63) * C_Unit .. (2 ** 63 - 1) * C_Unit
   9      with Size  => 64, Small => C_Unit;
  10
  11   type T_Short_Fixed_Point is
  12      new T_Fixed_Point range (-2 ** 31) * C_Unit .. (2 ** 31 - 1) * C_Unit
  13      with Size  => 32;
  14 begin
  15    null;
  16 end Fixedpnt3;