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