(root)/
gcc-13.2.0/
gcc/
testsuite/
gnat.dg/
specs/
noinline3.ads
-- { 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"  } }