gcc/testsuite/gnat.dg/sso10.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

--  { dg-do run }

with SSO10_Pkg; use SSO10_Pkg;

procedure SSO10 is

  procedure Inner (R : Root'Class) is
  begin
    Run (R);
  end;

  R : Root;

begin
  Inner (R);
end;