view gcc/testsuite/gnat.dg/object_overflow1.adb @ 127:4c56639505ff

fix function.c and add CbC-example Makefile
author mir3636
date Wed, 11 Apr 2018 18:46:58 +0900
parents 04ced10e8804
children 84e7813d76e9
line wrap: on
line source

-- { 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;