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