gcc/testsuite/gnat.dg/expr_func2.ads

   1 package Expr_Func2 is
   2
   3    type T_Index is range 1 .. 255;
   4
   5    type T_Table is array (T_Index range <>) of Boolean;
   6
   7    type T_Variable_Table (N : T_Index := T_Index'First) is record
   8       Table : T_Table (1 .. N);
   9    end record;
  10
  11    type T_A_Variable_Table is access T_Variable_Table;
  12
  13    function Element (A_Variable_Table : T_A_Variable_Table) return Boolean;
  14
  15 private
  16
  17    function Element (A_Variable_Table : T_A_Variable_Table) return Boolean is
  18      (A_Variable_Table.all.Table (1));
  19
  20    procedure Foo;
  21
  22 end Expr_Func2;