gcc/testsuite/gnat.dg/array21.adb

   1 -- { dg-do run }
   2
   3 with System;
   4
   5 procedure Array21 is
   6
   7   type Index_T is mod System.Memory_Size;
   8   type Arr
   9     is array (Index_T range Index_T'Last/2-3 .. Index_T'Last/2+3) of Integer;
  10   C : constant Arr := (1, others => 2);
  11
  12 begin
  13   if C /= (1, 2, 2, 2, 2, 2, 2) then
  14     raise Program_Error;
  15   end if;
  16 end;