gcc/testsuite/gnat.dg/sso10.adb

   1 --  { dg-do run }
   2
   3 with SSO10_Pkg; use SSO10_Pkg;
   4
   5 procedure SSO10 is
   6
   7   procedure Inner (R : Root'Class) is
   8   begin
   9     Run (R);
  10   end;
  11
  12   R : Root;
  13
  14 begin
  15   Inner (R);
  16 end;