gcc-4.9/gcc/testsuite/gnat.dg/opt1.ads


1
2
3
4
5
6
7
8
9
10
11
12
13

package Opt1 is

   type Dimention_Length is array (1 .. 16) of Natural;

   type Dimension_Indexes is array (Positive range <>) of Positive;

   function De_Linear_Index
     (Index       : Natural;
      D           : Natural;
      Ind_Lengths : Dimention_Length)
      return Dimension_Indexes;

end Opt1;