gcc/testsuite/gnat.dg/test_self.adb

   1 -- { dg-do run }
   2
   3 with Text_IO; use Text_IO;
   4 with Self; use Self;
   5 procedure Test_Self is
   6    It : Lim := G (5);
   7 begin
   8    Change (It, 10);
   9    if Get (It) /= 35 then
  10       Put_Line ("self-referential aggregate incorrectly built");
  11    end if;
  12 end Test_Self;