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


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

package Renaming4 is

   type Big_Array is array (Natural range <>) of Integer;

   subtype Index is Natural range 1..4;
   subtype My_Array is Big_Array(Index);

   A : constant My_Array := (1, 2, 3, 4);

   subtype Small is Index range 1..2;
   subtype Small_Array is Big_Array(Small);

   B : Small_Array renames A(Index);

end Renaming4;