blob: 53889e45a1f77a7b46c837ffd3406774de51dde6 [file] [log] [blame]
-- { dg-do run }
-- { dg-options "-gnatws" }
procedure fixce is
type D is delta 128.0 / (2 ** 15) range 0.0 .. 256.0;
type R is range 0 .. 200;
dd : D;
RA : constant array (1 .. 3) of R := (127, 128, 200);
begin
dd := D (RA (2));
for i in RA'range loop
dd := D (RA (i));
end loop;
end fixce;