gcc/testsuite/gnat.dg/object_overflow2.adb

   1 -- { dg-do compile }
   2
   3 procedure Object_Overflow2 is
   4
   5   procedure Proc (x : Boolean) is begin null; end;
   6
   7   type Arr is array(0 .. Long_Integer'Last) of Boolean;
   8   Obj : Arr; -- { dg-warning "Storage_Error" }
   9
  10 begin
  11   Obj(1) := True;
  12   Proc (Obj(1));
  13 end;