blob: ba7f657e71027b78c7e04f577982dafd49da873a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
-- { dg-do compile }
procedure Object_Overflow1 is
procedure Proc (x : Boolean) is begin null; end;
type Arr is array(Long_Integer) of Boolean;
Obj : Arr; -- { dg-warning "Storage_Error" }
begin
Obj(1) := True;
Proc (Obj(1));
end;
|