gcc/testsuite/gnat.dg/opt23_pkg.ads

   1 package Opt23_Pkg is
   2
   3    function N return Positive;
   4    pragma Import (Ada, N);
   5
   6    type Path is array(1 .. N) of Long_Float;
   7    type Path_Vector is array (Positive range <>) of Path;
   8    type Path_Vector_P is access all Path_Vector;
   9    type Path_Vector_PV is array(Positive range <>) of Path_Vector_P;
  10    type Path_Vector_P2 is access all Path_Vector_PV;
  11
  12    type Vector is array (Positive range <>) of Natural;
  13    type Vector_Access is access Vector;
  14
  15    type Rec is record
  16       Val  : Path_Vector_P2;
  17       Step : Vector_Access;
  18    end record;
  19
  20    function Get (R : Rec; I : Positive; M : Natural) return Path;
  21    pragma Inline (Get);
  22
  23 end Opt23_Pkg;