gcc/testsuite/gnat.dg/opt25_pkg2.ads

   1 generic
   2
   3    type Value is private;
   4    Init_Val : Value;
   5
   6 package Opt25_Pkg2 is
   7
   8    type Stack (Size : Natural) is private;
   9
  10    function Default_Stack return Stack;
  11
  12 private
  13    type Value_Array is array (Natural range <>) of Value;
  14
  15    type Stack (Size : Natural) is record
  16       Store : Value_Array (1 .. Size);
  17    end record;
  18
  19    Default_Stack_Var : Stack (10);
  20 end Opt25_Pkg2;