gcc/testsuite/gnat.dg/loop_optimization8_pkg2.adb


1
2
3
4
5
6
7
8
9
10
11
12
13

package body Loop_Optimization8_Pkg2 is

  function Length (Set : T) return Natural is
  begin
    return Set.Length;
  end Length;

  function Index (Set : T; Position : Natural) return Integer is
  begin
    return Set.Elements (Position);
  end Index;

end Loop_Optimization8_Pkg2;