summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/loop_optimization8_pkg2.adb
blob: 9b9a3dea170d9fea575a570c42f2cf6f0950b3bc (plain)
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;