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