gcc/testsuite/gnat.dg/addr2_p.ads

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