gcc/testsuite/gnat.dg/array4.adb

   1 -- { dg-do run }
   2
   3 procedure Array4 is
   4
   5    type A is array (1..5) of Integer;
   6    f : constant A := (1, 2, 3, 4, 5);
   7
   8    i1 : integer renames f(1);
   9    i2 : integer renames f(2);
  10    i3 : integer renames f(3);
  11    i4 : integer renames f(4);
  12    i5 : integer renames f(5);
  13
  14    procedure Link_Failure;
  15    pragma Import (C, Link_Failure);
  16
  17 begin
  18   if i1 /= 1 then
  19     Link_Failure;
  20   end if;
  21
  22   if i2 /= 2 then
  23     Link_Failure;
  24   end if;
  25
  26   if i3 /= 3 then
  27     Link_Failure;
  28   end if;
  29
  30   if i4 /= 4 then
  31     Link_Failure;
  32   end if;
  33
  34   if i5 /= 5 then
  35     Link_Failure;
  36   end if;
  37 end;