| -- { 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; |