gcc/testsuite/gnat.dg/fixce.adb

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