gcc-4.8/gcc/testsuite/gnat.dg/object_overflow1.adb


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;