view gcc/testsuite/gnat.dg/object_overflow2.adb @ 118:fd00160c1b76

ifdef TARGET_64BIT
author mir3636
date Tue, 27 Feb 2018 15:01:35 +0900
parents 04ced10e8804
children 84e7813d76e9
line wrap: on
line source

-- { dg-do compile }

procedure Object_Overflow2 is

  procedure Proc (x : Boolean) is begin null; end;

  type Arr is array(0 .. Long_Integer'Last) of Boolean;
  Obj : Arr; -- { dg-warning "Storage_Error" }

begin
  Obj(1) := True;
  Proc (Obj(1));
end;