gcc/testsuite/gnat.dg/slice9.adb

   1 -- { dg-do compile }
   2
   3 procedure Slice9 is
   4
   5   function Ident (I : Integer) return Integer is
   6   begin
   7     return I;
   8   end;
   9
  10   subtype S is String (Ident(5)..Ident(9));
  11
  12   Dest : S;
  13
  14   Src : String (Ident(1)..Ident(5)) := "ABCDE";
  15
  16 begin
  17   Dest (Ident(5)..Ident(7)) := Src (Ident(1)..Ident(3));
  18 end;