gcc/testsuite/gnat.dg/loop_optimization8_pkg1.ads

   1 with Ada.Finalization;
   2
   3 package Loop_Optimization8_Pkg1 is
   4
   5   type Array_T is array (Positive range <>) of Natural;
   6
   7   type Array_Access_T is access Array_T;
   8
   9   type T is new Ada.Finalization.Controlled with record
  10     Last : Natural := 0;
  11     Elements : Array_Access_T;
  12   end record;
  13
  14   Empty : T := (Ada.Finalization.Controlled with Last => 0, Elements => null);
  15
  16   generic
  17     with procedure Action (Info : Natural);
  18   procedure Iter;
  19
  20 end Loop_Optimization8_Pkg1;