gcc/testsuite/gnat.dg/array6.adb

   1 -- { dg-do run }
   2
   3 with Interfaces; use Interfaces;
   4
   5 procedure Array6 is
   6
   7    type buf_t is array (unsigned_32 range <>) of character;
   8    type v_str_t (first, last : unsigned_32) is
   9       record
  10          buf : buf_t (first .. last) := (others => ' ');
  11       end record;
  12    type v_str_ptr_t is access all v_str_t;
  13
  14    v_str : v_str_ptr_t;
  15
  16    function build_v_str (f, l : unsigned_32) return v_str_ptr_t is
  17       vp : v_str_ptr_t := new v_str_t (f, l);
  18    begin
  19       return vp;
  20    end;
  21
  22 begin
  23    v_str := build_v_str (unsigned_32'last/2 - 256,
  24                          unsigned_32'last/2 + 1024*1024);
  25 end;