gcc/testsuite/gnat.dg/array15.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O -gnatws" }
   3
   4 package body Array15 is
   5
   6    type Arr is array (Natural range <>) of Integer;
   7
   8    Table : Arr (1 .. 4);
   9
  10    N : Natural := 1;
  11
  12    procedure Zero is
  13    begin
  14       N := 0;
  15    end;
  16
  17    function F (I : Integer) return Integer is
  18       A1 : Arr := (1 => I);
  19       A2 : Arr := Table (1 .. N) & A1;
  20    begin
  21       return A2 (I);
  22    end;
  23
  24 end Array15;