gcc/testsuite/gnat.dg/inline13.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O -gnatn" }
   3
   4 package body Inline13 is
   5
   6   function F (L : Arr) return String is
   7     Local : Arr (1 .. L'Length);
   8     Ret : String (1 .. L'Length);
   9     Pos : Natural := 1;
  10   begin
  11     Local (1 .. L'Length) := L;
  12     for I in 1 .. Integer (L'Length) loop
  13        Ret (Pos .. Pos + 8) := " " & Inline13_Pkg.Padded (Local (I));
  14        Pos := Pos + 9;
  15     end loop;
  16     return Ret;
  17   end;
  18
  19 end Inline13;