gcc/testsuite/gnat.dg/parameterlessfunc.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

--  { dg-do compile }

procedure parameterlessfunc is
  type Byte is mod 256;
  type Byte_Array is array(Byte range <>) of Byte;
  subtype Index is Byte range 0..7;
  subtype Small_Array is Byte_Array(Index);
  
  function F return Byte_Array is
  begin
    return (0..255=>0);
  end F;
  
  B5: Small_Array := F(Index);
begin
  null;
end parameterlessfunc;