1-- { dg-do compile }
2-- { dg-options "-O2 -gnatp -Wuninitialized" }
3
4procedure Forward_Vla is
5
6   function N return Natural is begin return 1; end;
7
8   type Sequence;
9   type Sequence_Access is access all Sequence;
10
11   Ptr : Sequence_Access := null;  -- freeze access type
12
13   Sequence_Length : Natural := N;
14   type Sequence is array (1 .. Sequence_Length) of Natural;
15
16   Seq : Sequence;
17begin
18   Seq (1) := 0;
19end;
20
21