1-- { dg-do compile }
2
3with Interfaces.C; use Interfaces.C;
4
5procedure 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
18begin
19  Obj.A(1) := True;
20  Proc (Obj.A(1));
21end;
22