16 lines
290 B
Ada
16 lines
290 B
Ada
|
-- { dg-do compile }
|
||
|
|
|
||
|
|
with Interfaces.C; use Interfaces.C;
|
||
|
|
|
||
|
|
procedure Object_Overflow2 is
|
||
|
|
|
||
|
|
procedure Proc (x : Boolean) is begin null; end;
|
||
|
|
|
||
|
|
type Arr is array(0 .. ptrdiff_t'Last) of Boolean;
|
||
|
|
Obj : Arr; -- { dg-warning "Storage_Error" }
|
||
|
|
|
||
|
|
begin
|
||
|
|
Obj(1) := True;
|
||
|
|
Proc (Obj(1));
|
||
|
|
end;
|