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