1-- { dg-do compile }
2-- { dg-options "-O -gnatws" }
3
4package 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
24end Array15;
25