summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/lto7_pkg.ads
blob: 284745fad1249d3af7e721f3a8e3b096088bab66 (plain)
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;