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

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

package Pack3_Pkg is

  function F return Integer;

end Pack3_Pkg;