gcc/testsuite/gnat.dg/object_overflow4.adb

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