gcc-4.9/gcc/testsuite/gnat.dg/specs/lto3.ads


1
2
3
4
5
6
7
8
9
10
11

-- { dg-do compile }
-- { dg-options "-gnatws" }
-- { dg-options "-gnatws -flto" { target lto } }

with Lto3_Pkg1;

package Lto3 is

  package P is new Lto3_Pkg1 (Id_T => Natural);

end Lto3;