gcc/testsuite/gnat.dg/loop_optimization8_pkg2.ads

   1 package Loop_Optimization8_Pkg2 is
   2
   3   type Array_T is array (Natural range <>) of Integer;
   4
   5   type Obj_T (Length : Natural) is
   6     record
   7       Elements : Array_T (1 .. Length);
   8     end record;
   9
  10   type T is access Obj_T;
  11
  12   function Length (Set : T) return Natural;
  13   function Index (Set : T; Position : Natural) return Integer;
  14   pragma Inline (Length, Index);
  15
  16 end Loop_Optimization8_Pkg2;