testsuite/gnat.dg/opt15_pkg.ads

package Opt15_Pkg is

  procedure Trace_Inlined;
  pragma Inline (Trace_Inlined);

end Opt15_Pkg;