view gcc/testsuite/gnat.dg/specs/noinline3.ads @ 138:fc828634a951

merge
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 08 Nov 2018 14:17:14 +0900
parents 04ced10e8804
children
line wrap: on
line source

-- { dg-do compile }
-- { dg-options "-O2 -fdump-tree-optimized" }

with Noinline3_Pkg;

package Noinline3 is new Noinline3_Pkg (0);

-- { dg-final { scan-tree-dump-times "noinline3.inner" 4 "optimized"  } }