gcc/testsuite/gnat.dg/fixce.adb

   1 --  { dg-do run }
   2 --  { dg-options "-gnatws" }
   3
   4 procedure fixce is
   5    type D is delta 128.0 / (2 ** 15) range 0.0 .. 256.0;
   6    type R is range 0 .. 200;
   7    dd : D;
   8    RA : constant array (1 .. 3) of R := (127, 128, 200);
   9 begin
  10    dd := D (RA (2));
  11    for i in RA'range loop
  12       dd := D (RA (i));
  13    end loop;
  14 end fixce;