1-- { dg-do run }
2
3procedure 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);
8begin
9 dd := D (RA (2));
10 for i in RA'range loop
11 dd := D (RA (i));
12 end loop;
13end fixce;
14