gcc/testsuite/gnat.dg/generic_inst7_pkg.adb

   1 package body Generic_Inst7_Pkg is
   2
   3    use type Generic_Inst7_Types.Index;
   4
   5    procedure Process (List : in out Generic_Inst7_Types.List) is
   6    begin
   7       for I in Generic_Inst7_Types.Index range 1 .. List.Arr'length loop
   8          null;
   9       end loop;
  10    end Process;
  11
  12 end Generic_Inst7_Pkg;