gcc/testsuite/gnat.dg/out_param.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnat83" }
   3
   4 procedure Out_Param
   5   (Source : in String; Dest : out String; Char_Count : out Natural) is
   6 begin
   7     --| Logic_Step:
   8     --|   Copy string Source to string Dest
   9   Dest       := (others => ' ');
  10   Char_Count := 0;
  11   if Source'Length > 0 and then Dest'Length > 0 then
  12     if Source'Length > Dest'Length then
  13       Char_Count := Dest'Length;
  14     else
  15       Dest (Dest'First .. (Dest'First + Source'Length - 1)) := Source;
  16       Char_Count                                            := Source'Length;
  17     end if;
  18   else
  19     null;
  20   end if;
  21 end Out_Param;