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