gcc/testsuite/gnat.dg/renaming4.ads

   1 package Renaming4 is
   2
   3    type Big_Array is array (Natural range <>) of Integer;
   4
   5    subtype Index is Natural range 1..4;
   6    subtype My_Array is Big_Array(Index);
   7
   8    A : constant My_Array := (1, 2, 3, 4);
   9
  10    subtype Small is Index range 1..2;
  11    subtype Small_Array is Big_Array(Small);
  12
  13    B : Small_Array renames A(Index);
  14
  15 end Renaming4;