gcc/testsuite/gnat.dg/lto7_pkg.ads

   1 package Lto7_Pkg is
   2    type Iface_1 is interface;
   3    procedure op1(this : Iface_1) is abstract;
   4
   5    type Iface_2 is interface;
   6    procedure op2 (this : Iface_2) is abstract;
   7
   8    type Root is new Iface_1 with record
   9       m_name : String(1..4);
  10    end record;
  11
  12    procedure op1 (this : Root);
  13
  14    type DT is new Root and Iface_2 with null record;
  15    procedure op2 (this : DT);
  16 end Lto7_Pkg;