gcc/testsuite/gnat.dg/debug13.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2 -g" }
   3
   4 package body Debug13 is
   5
   6    procedure Compile (P : Natural)
   7    is
   8       Max_Pos : constant Natural := P;
   9       type Position_Set is array (1 .. Max_Pos) of Boolean;
  10
  11       Empty  : constant Position_Set := (others => False);
  12
  13       type Position_Set_Array is array (1 .. Max_Pos) of Position_Set;
  14
  15       Follow  : Position_Set_Array := (others => Empty);
  16
  17       function Get_Follows return Position_Set;
  18
  19       procedure Make_DFA;
  20
  21       function Get_Follows return Position_Set is
  22          Result : Position_Set := Empty;
  23       begin
  24          Result := Result or Follow (1);
  25
  26          return Result;
  27       end Get_Follows;
  28
  29       procedure Make_DFA is
  30          Next   : constant Position_Set := Get_Follows;
  31       begin
  32          null;
  33       end Make_DFA;
  34
  35    begin
  36       Make_DFA;
  37    end Compile;
  38
  39 end Debug13;