1--  { dg-do compile }
2
3procedure parameterlessfunc is
4  type Byte is mod 256;
5  type Byte_Array is array(Byte range <>) of Byte;
6  subtype Index is Byte range 0..7;
7  subtype Small_Array is Byte_Array(Index);
8
9  function F return Byte_Array is
10  begin
11    return (0..255=>0);
12  end F;
13
14  B5: Small_Array := F(Index);
15begin
16  null;
17end parameterlessfunc;
18