1-- { dg-do run }
2-- { dg-options "-flto" { target lto } }
3
4with Lto7_Pkg; use Lto7_Pkg;
5
6procedure Lto7 is
7   view2 : access Iface_2'Class;
8   obj   : aliased DT := (m_name => "Abdu");
9begin
10   view2 := Iface_2'Class(obj)'Access;
11   view2.all.op2;
12end;
13