gcc-4.9/gcc/testsuite/gnat.dg/lto7.adb


1
2
3
4
5
6
7
8
9
10
11
12

-- { dg-do run }
-- { dg-options "-flto" { target lto } }

with Lto7_Pkg; use Lto7_Pkg;

procedure Lto7 is
   view2 : access Iface_2'Class;
   obj   : aliased DT := (m_name => "Abdu");
begin
   view2 := Iface_2'Class(obj)'Access;
   view2.all.op2;
end;