gcc/testsuite/gnat.dg/discr2.adb

   1 --  { dg-do compile }
   2
   3 with discr1; use discr1;
   4
   5 package body discr2 is
   6
   7   procedure Copy (Dataset : in out C_Type) is
   8     Last_Char : Positive := 300;
   9   begin
  10     while (Last_Char > 40) loop
  11       Last_Char := Last_Char - 1;
  12     end loop;
  13
  14     Assign (Dataset.Designator (1 .. Last_Char));
  15   end;
  16
  17   procedure Dummy is
  18   begin
  19     null;
  20   end Dummy;
  21
  22 end discr2;