gcc/testsuite/gnat.dg/specs/opt3_pkg.ads

-- { dg-excess-errors "no code generated" }

package Opt3_Pkg is

  function Max return Natural;

end Opt3_Pkg;