gcc/testsuite/gnat.dg/slice2.adb

   1 -- { dg-do compile }\r
   2 -- { dg-options "-O" }\r
   3 \r
   4 package body Slice2 is\r
   5 \r
   6   function F (I : R1) return R2 is\r
   7     Val : R2;\r
   8   begin\r
   9     Val.Text (1 .. 8) := I.Text (1 .. 8);\r
  10     return Val;\r
  11   end F;\r
  12 \r
  13 end Slice2;\r