gcc/testsuite/gnat.dg/forward_vla.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2 -gnatp -Wuninitialized" }
   3
   4 procedure 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;
  17 begin
  18    Seq (1) := 0;
  19 end;
  20