gcc/testsuite/gnat.dg/object_overflow3.adb

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