gcc/testsuite/gnat.dg/addr2_p.ads


1
2
3
4
5
6
7
8
9
10

package addr2_p is
   
   type Block is array (1 .. 9) of Integer;
   
   procedure Process (Blk : Block);
   
   B1 : constant Block := Block'((1,2,3,4,5, others => 0));
   B2 : constant Block := (1,2,3,4,5, others => 0);
end;