summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/loop_optimization8_pkg1.ads
blob: e6f3c7021022c94b7a23b32393ab985445fe0c41 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
with Ada.Finalization;

package Loop_Optimization8_Pkg1 is

  type Array_T is array (Positive range <>) of Natural;

  type Array_Access_T is access Array_T;

  type T is new Ada.Finalization.Controlled with record
    Last : Natural := 0;
    Elements : Array_Access_T;
  end record;

  Empty : T := (Ada.Finalization.Controlled with Last => 0, Elements => null);

  generic
    with procedure Action (Info : Natural);
  procedure Iter;

end Loop_Optimization8_Pkg1;