gcc/testsuite/gnat.dg/parameterlessfunc.adb

   1 --  { dg-do compile }
   2
   3 procedure 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);
  15 begin
  16   null;
  17 end parameterlessfunc;