2015-09-24 Vladimir Makarov <vmakarov@redhat.com>
[official-gcc.git] / gcc / testsuite / gnat.dg / specs / noinline3.ads
blob0828b88cf26fcd803546744086818cb4e13f7f7a
1 -- { dg-do compile }
2 -- { dg-options "-O2 -fdump-tree-optimized" }
4 with Noinline3_Pkg;
6 package Noinline3 is new Noinline3_Pkg (0);
8 -- { dg-final { scan-tree-dump-times "noinline3.inner" 2 "optimized" } }