gcc/testsuite/gnat.dg/object_overflow.adb

   1 -- { dg-do compile }
   2
   3 procedure Object_Overflow is
   4
   5   type Rec is null record;
   6
   7   procedure Proc (x : Rec) is begin null; end;
   8
   9   type Arr is array(Long_Integer) of Rec;
  10   Obj : Arr; -- { dg-warning "Storage_Error will be raised" }
  11
  12 begin
  13   Proc (Obj(1));
  14 end;