gcc/testsuite/gnat.dg/vect10.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

with Vect9_Pkg; use Vect9_Pkg;

package Vect10 is

   type Rec is record
      Val : Unit;
   end record;

   type Rec_Vector is array (Positive range <>) of Rec;

   procedure Proc
     (F            : in Rec_Vector;
      First_Index : in Natural;
      Last_Index  : in Natural;
      Result      : out Unit);

end Vect10;