gcc/testsuite/gnat.dg/object_overflow4.adb

   1 -- { dg-do compile }
   2
   3 procedure Object_Overflow4 is
   4
   5   procedure Proc (x : Integer) is begin null; end;
   6
   7   type Index is new Long_Integer range 0 .. Long_Integer'Last;
   8
   9   type Arr is array(Index range <>) of Integer;
  10
  11   type Rec (Size: Index := 6) is record -- { dg-warning "Storage_Error" }
  12     A: Arr (0..Size);
  13   end record;
  14
  15   Obj : Rec; -- { dg-warning "Storage_Error" }
  16
  17 begin
  18   Obj.A(1) := 0;
  19   Proc (Obj.A(1));
  20 end;