gcc/testsuite/gnat.dg/loop_optimization8_pkg2.adb

   1 package body Loop_Optimization8_Pkg2 is
   2
   3   function Length (Set : T) return Natural is
   4   begin
   5     return Set.Length;
   6   end Length;
   7
   8   function Index (Set : T; Position : Natural) return Integer is
   9   begin
  10     return Set.Elements (Position);
  11   end Index;
  12
  13 end Loop_Optimization8_Pkg2;