gcc/testsuite/gnat.dg/array37.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O" }
   3
   4 procedure Array37 is
   5
   6   type Arr is array (Integer range -1 .. 1) of Integer;
   7
   8   A : Arr := (-100, 0, 100);
   9
  10   function Ident (I : Integer) return Integer IS
  11   begin
  12     return I;
  13   end;
  14
  15 begin
  16   if Ident (A (1)) <= Ident (A (0)) then
  17     raise Program_Error;
  18   end if;
  19 end;