gcc/testsuite/gnat.dg/addr2_p.ads

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;