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