gcc/testsuite/gnat.dg/loop_optimization8_pkg1.adb

   1 with Loop_Optimization8_Pkg2;
   2
   3 package body Loop_Optimization8_Pkg1 is
   4
   5   Data : Loop_Optimization8_Pkg2.T
   6     := new Loop_Optimization8_Pkg2.Obj_T'(Length =>1, Elements => (1 => 1));
   7
   8   procedure Iter is
   9   begin
  10     for I in 1 .. Loop_Optimization8_Pkg2.Length (Data) loop
  11       Action (Loop_Optimization8_Pkg2.Index (Data, I));
  12     end loop;
  13   end;
  14
  15 end Loop_Optimization8_Pkg1;