gcc-4.9/gcc/testsuite/gnat.dg/lto7_pkg.ads


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

package Lto7_Pkg is
   type Iface_1 is interface;
   procedure op1(this : Iface_1) is abstract;

   type Iface_2 is interface;
   procedure op2 (this : Iface_2) is abstract;

   type Root is new Iface_1 with record
      m_name : String(1..4);
   end record;

   procedure op1 (this : Root);

   type DT is new Root and Iface_2 with null record;
   procedure op2 (this : DT);
end Lto7_Pkg;