gcc-4.9/gcc/testsuite/gnat.dg/discr37.adb


1
2
3
4
5
6
7
8
9
10
11
12

-- { dg-do compile }

package body Discr37 is

  procedure Proc (A : access Child) is
    B : Derived renames Derived (A.F(1).all);
    C : Derived renames Derived (B.S(1).all);
  begin
    null;
  end;

end Discr37;